IJCAI 2007 | Sciweavers

41

IJCAI
2003

132views Artificial Intelligence» more IJCAI 2003»

14 years 1 months ago

There has been signiﬁcant recent progress in reasoning and constraint processing methods. In areas such as planning and ﬁnite model-checking, current solution techniques can h...

Ryan Williams, Carla P. Gomes, Bart Selman

claim paper

Read More »

42

click to vote

IJCAI
2003

193views Artificial Intelligence» more IJCAI 2003»

When Discriminative Learning of Bayesian Network Parameters Is Easy

14 years 1 months ago

Download dli.iiit.ac.in

Bayesian network models are widely used for discriminative prediction tasks such as classification. Usually their parameters are determined using 'unsupervised' methods ...

Hannes Wettig, Peter Grünwald, Teemu Roos, Pe...

claim paper

Read More »

31

click to vote

IJCAI
2003

125views Artificial Intelligence» more IJCAI 2003»

Concept Linking for Information Integration in Open Book and Sentinel

14 years 1 months ago

Download www.isi.edu

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

claim paper

Read More »

40

click to vote

IJCAI
2003

111views Artificial Intelligence» more IJCAI 2003»

Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking

14 years 1 months ago

Download www.computing.edu.au

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

claim paper

Read More »

35

click to vote

IJCAI
2003

119views Artificial Intelligence» more IJCAI 2003»

Incremental Utility Elicitation with the Minimax Regret Decision Criterion

14 years 1 months ago

Download www.cs.toronto.edu

Utility elicitation is a critical function of any automated decision aid, allowing decisions to be tailored to the preferences of a speciﬁc user. However, the size and complexit...

Tianhan Wang, Craig Boutilier

claim paper

Read More »

20

click to vote

IJCAI
2003

140views Artificial Intelligence» more IJCAI 2003»

Behavior Bounding: Toward Effective Comparisons of Agents & Humans

14 years 1 months ago

Download ai.eecs.umich.edu

Scott A. Wallace, John E. Laird

claim paper

Read More »

40

click to vote

IJCAI
2003

141views Artificial Intelligence» more IJCAI 2003»

Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition

14 years 1 months ago

Download dli.iiit.ac.in

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...

claim paper

Read More »

40

click to vote

IJCAI
2003

184views Artificial Intelligence» more IJCAI 2003»

Automated Reasoning: Past Story and New Trends

14 years 1 months ago

Download dli.iiit.ac.in

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

claim paper

Read More »

20

click to vote

IJCAI
2003

137views Artificial Intelligence» more IJCAI 2003»

Assertion Application in Theorem Proving and Proof Planning

14 years 1 months ago

Download monet.nag.co.uk

Quoc Bao Vo, Christoph Benzmüller, Serge Aute...

claim paper

Read More »

43

click to vote

IJCAI
2003

145views Artificial Intelligence» more IJCAI 2003»

A lookahead strategy for solving large planning problems

14 years 1 months ago

Download v.vidal.free.fr

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers