626 search results - page 78 / 126 » When Can Formal Methods Make a Real Difference |
127
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Genome-wide association studies (GWAS) aim at discovering the association between genetic variations, particularly single-nucleotide polymorphism (SNP), and common diseases, which...
122
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
Imagine some program and a number of changes. If none of these changes is applied (“yesterday”), the program works. If all changes are applied (“today”), the program does n...
113
click to vote
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose an extension of light stripe triangulation for multiple of moving rigid objects. With traditional light stripe triangulation, the acquired shape of movin...
139
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
146
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...