1040 search results - page 110 / 208 » Tools for modeling and solving search problems |
110
click to vote
HEURISTICS
2008
14 years 11 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
120
Voted
RTCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
76
Voted
AI
2004
Springer
15 years 17 days ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
105
click to vote
ERCIMDL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
118
click to vote
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Ant Colony Optimization (ACO) has been applied successfully in solving the Traveling Salesman Problem. Marco Dorigo et al. used Ant System (AS) to explore the Symmetric Traveling S...