1029 search results - page 101 / 206 » Compact representations of ordered sets |
115
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
119
Voted
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
144
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
143
click to vote
CIVR
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The paper describes a fast system for appearance based image recognition . It uses local invariant descriptors and efficient nearest neighbor search. First, local affine ...
103
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...