363 search results - page 29 / 73 » The SAT Phase Transition |
RECOMB
2010
Springer
14 years 3 months ago
2010
Springer
A phase transition is taking place today. The amount of data generated by genome resequencing technologies is so large that in some cases it is now less expensive to repeat the exp...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
MM
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we introduce a probabilistic framework to exploit hierarchy, structure sharing and duration information for topic transition detection in videos. Our probabilistic d...
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
The sustained miniaturization of VLSI feature size presents great challenges to sub-wavelength photolithography and requests usage of many Resolution Enhancement Techniques (RET)....