8132 search results - page 1396 / 1627 » Dependability, Abstraction, and Programming |
147
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
167
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper deals with the problem of solving efficiently structured CSPs. It is well known that (hyper)tree-decompositions offer the best approaches from a theoretical v...
176
click to vote
DEXA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
138
click to vote
DNA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
181
click to vote
ECAL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...