18306 search results - page 344 / 3662 » Algorithmics in Exponential Time |
157
click to vote
IJCAI
2003
15 years 8 months ago
2003
Symmetry breaking in CSPs has attracted consid erable attention in recent years. Various general schemes have been proposed to eliminate sym metries during search. In general,...
188
click to vote
JNS
2008
15 years 6 months ago
2008
We investigate the regularization of Moore's singularities by surface tension in the evolution of vortex sheets and its dependence on Weber number (which is inversely proport...
184
click to vote
CONNECTION
2007
15 years 6 months ago
2007
In physical implementations of associative memory, wiring costs play a significant role in shaping patterns of connectivity. In this study of sparsely-connected associative memory...
183
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
201
click to vote
AIPS
2011
14 years 10 months ago
2011
Most predominant approaches in probabilistic planning utilize techniques from the more thoroughly investigated field of classical planning by determinizing the problem at hand. I...