Sciweavers

2869 search results - page 376 / 574
» The Inference Problem: A Survey
Sort
View
IJCAI
1997
15 years 8 months ago
Towards a Complete Classification of Tractability in Allen's Algebra
We characterise the set of subalgebras of Allen's algebra which have a tractable satisfiability problem, and in addition contain certain basic relations. The conclusion is th...
Thomas Drakengren, Peter Jonsson
IJCAI
1997
15 years 8 months ago
Automation of Diagrammatic Reasoning
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
Mateja Jamnik, Alan Bundy, Ian Green
NIPS
1997
15 years 8 months ago
Nonlinear Markov Networks for Continuous Variables
We address the problem of learning structure in nonlinear Markov networks with continuous variables. This can be viewed as non-Gaussian multidimensional density estimation exploit...
Reimar Hofmann, Volker Tresp
UAI
2000
15 years 8 months ago
Adaptive Importance Sampling for Estimation in Structured Domains
Sampling is an important tool for estimating large, complex sums and integrals over highdimensional spaces. For instance, importance sampling has been used as an alternative to ex...
Luis E. Ortiz, Leslie Pack Kaelbling
AAAI
1996
15 years 8 months ago
Learning Models of Intelligent Agents
Agents that operate in a multi-agent system need an efficient strategy to handle their encounters with other agents involved. Searching for an optimal interactive strategy is a ha...
David Carmel, Shaul Markovitch