1603 search results - page 102 / 321 » Multi-Dimensional Heuristic Searching |
130
click to vote
ASE
2006
15 years 4 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
145
click to vote
TOPNOC
2008
15 years 3 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
160
click to vote
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Complex queries are becoming commonplace, with the growing use of decision support systems. These complex queries often have a lot of common sub-expressions, either within a singl...
156
Voted
SAINT
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a Variable Neighborhood Search approach for a network design problem occurring in real world when the bandwidth of an existing network shall be enhanced. Using two diff...
141
click to vote
AAAI
2004
15 years 5 months ago
2004
We consider how to use external memory, such as disk storage, to improve the scalability of heuristic search in statespace graphs. To limit the number of slow disk I/O operations,...