1971 search results - page 187 / 395 » Tabu search - Uncharted domains |
189
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Current research in indexing and mining time series data has produced many interesting algorithms and representations. However, it has not led to algorithms that can scale to the ...
159
click to vote
ICIP
2008
IEEE
16 years 28 days ago
2008
IEEE
Digital images of natural scenes are usually characterized by strong spatial correlation between adjacent pixels which has been successfully exploited in the coding of still and m...
167
click to vote
HVC
2005
Springer
15 years 12 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
199
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
143
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...