3710 search results - page 404 / 742 » A new calculus of contexts |
199
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
170
click to vote
SIAMAM
2008
15 years 5 months ago
2008
We present a new local tomographic algorithm applicable to electron microscope tomography. Our algorithm applies to the standard data acquisition method, single-axis tilting, as we...
174
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
In the context of computer-assisted plant identification we are facing challenging information retrieval problems because of the very high within-class variability and of the lim...
172
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
Sexual selection has been mathematically modeled using quantitative genetics as well as population genetics. Two-locus simulation models have been used to study the evolution of m...
172
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...