Sciweavers

807 search results - page 43 / 162
» Competition Adds Complexity
Sort
View
CP
2004
Springer
15 years 3 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
PRICAI
2004
Springer
15 years 3 months ago
An Anytime Algorithm for Interpreting Arguments
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
Sarah George, Ingrid Zukerman, Michael Niemann
PPOPP
2003
ACM
15 years 3 months ago
A component architecture for LAM/MPI
To better manage the ever increasing complexity of LAM/MPI, we have created a lightweight component architecture for it that is specifically designed for high-performance message p...
Jeffrey M. Squyres
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 3 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
95
Voted
IBPRIA
2009
Springer
15 years 2 months ago
Multi-spectral Texture Characterisation for Remote Sensing Image Segmentation
A multi-spectral texture characterisation model is proposed, the Multi-spectral Local Differences Texem – MLDT, as an affordable approach to be used in multi-spectral images that...
Filiberto Pla, Gema Gracia, Pedro García-Se...