6020 search results - page 928 / 1204 » A New Approach to Model Counting |
177
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...
156
click to vote
IWANN
2005
Springer
16 years 1 days ago
2005
Springer
A large class of problems requires real-time processing of complex temporal inputs in real-time. These are difficult tasks for state-of-the-art techniques, since they require captu...
174
click to vote
KI
2005
Springer
16 years 1 days ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
152
click to vote
PAKDD
2005
ACM
16 years 1 days ago
2005
ACM
In many modern application ranges high-dimensional feature vectors are used to model complex real-world objects. Often these objects reside on different local sites. In this paper,...
213
click to vote
SPIRE
2005
Springer
16 years 21 hour ago
2005
Springer
Proximity searching consists in retrieving from a database, objects that are close to a query. For this type of searching problem, the most general model is the metric space, where...