2050 search results - page 131 / 410 » constraints 2010 |
SAT
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
How things work visualizations use a variety of visual techniques to depict the operation of complex mechanical assemblies. We present an automated approach for generating such vi...
BMCBI
2010
13 years 10 months ago
2010
Background: High throughput sequencing (HTS) platforms produce gigabases of short read (<100 bp) data per run. While these short reads are adequate for resequencing application...
ASPDAC
2010
ACM
13 years 8 months ago
2010
ACM
In this paper, we present a novel algorithm for 3D floorplanning with fixed outline constraints and a particular emphasis on thermal awareness. A computationally efficient thermal ...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper considers the problem of multi robot localization. The analysis is focused on the problem of determining which are the optimal robot trajectories in order to minimize th...