88 search results - page 18 / 18 » New Inference Rules for Efficient Max-SAT Solving |
DAC
2010
ACM
13 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
RECOMB
2005
Springer
14 years 5 months ago
2005
Springer
Reticulation events occur frequently in many types of species. Therefore, to develop accurate methods for reconstructing phylogenetic networks in order to describe evolutionary his...
CVPR
2008
IEEE
13 years 7 months ago
2008
IEEE
In this paper, we study how to build a vision-based system for global localization with accuracies within 10cm. for robots and humans operating both indoors and outdoors over wide...