43 citations · 45 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024
A -evaluation function for column permutation problems
Júnior R. Lima, Viníicius Gandra M. Santos, Marco Antonio M. Carvalho
In this study, a new -evaluation method is introduced for solving a column permutation problem defined on a sparse binary matrix with the consecutive ones property. This problem…
cs.AI2021
A Smart and Defensive Human-Machine Approach to Code Analysis
Fitzroy D. Nembhard, Marco M. Carvalho
Static analysis remains one of the most popular approaches for detecting and correcting poor or vulnerable program code. It involves the examination of code listings, test results,…