Sciweavers

1689 search results - page 285 / 338
» Proximate point searching
Sort
View
AIPS
2003
14 years 11 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen
RIAO
2004
14 years 11 months ago
Ontologies as Background Knowledge to Explore Document Collections
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
Nathalie Aussenac-Gilles, Josiane Mothe
IJCAI
2003
14 years 11 months ago
Optimal Time-Space Tradeoff in Probabilistic Inference
Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
David Allen, Adnan Darwiche
SODA
2004
ACM
116views Algorithms» more  SODA 2004»
14 years 11 months ago
Retroactive data structures
We introduce a new data structuring paradigm in which operations can be performed on a data structure not only in the present but also in the past. In this new paradigm, called ret...
Erik D. Demaine, John Iacono, Stefan Langerman
ECIR
1998
Springer
14 years 11 months ago
Social and Cognitive Factors in the Design and Evaluation of Multimedia Systems
Multimedia information retrieval systems design is currently considered a complex task since it requires an understanding of users specific way of searching, processing and using ...
Silvia Gabrielli