Sciweavers

IJCAI
2003
14 years 25 days ago
Concept Linking for Information Integration in Open Book and Sentinel
Opening up large amounts of loosely structured information for easy access and use is a complex problem. This paper describes two systems that address different aspects of the pro...
Stuart Watt
IJCAI
2003
14 years 25 days ago
Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking
This paper proposes a dynamic model supporting multimodal state space probability distributions and presents the application of the model in dealing with visual occlusions when tr...
Yang Wang 0002, Tele Tan, Kia-Fock Loe
IJCAI
2003
14 years 25 days ago
Incremental Utility Elicitation with the Minimax Regret Decision Criterion
Utility elicitation is a critical function of any automated decision aid, allowing decisions to be tailored to the preferences of a specific user. However, the size and complexit...
Tianhan Wang, Craig Boutilier
IJCAI
2003
14 years 25 days ago
Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
Van-Thinh Vu, François Brémond, Moni...
IJCAI
2003
14 years 25 days ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
IJCAI
2003
14 years 25 days ago
Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Aute...
IJCAI
2003
14 years 25 days ago
A lookahead strategy for solving large planning problems
Relaxed plans are used in the heuristic search planner FF for computing a numerical heuristic and extracting helpful actions. We present a novel way for extracting information fro...
Vincent Vidal
IJCAI
2003
14 years 25 days ago
Variable Resolution Particle Filter
Particle filters are used extensively for tracking the state of non-linear dynamic systems. This paper presents a new particle filter that maintains samples in the state space a...
Vandi Verma, Sebastian Thrun, Reid G. Simmons