5210 search results - page 311 / 1042 » Exact geometric computation |
151
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
We propose LAZY arc-reversal with variable elimination (LAZY-ARVE) as a new approach to probabilistic inference in Bayesian networks (BNs). LAZY-ARVE is an improvement upon LAZY ar...
176
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we study the exact super-resolvability of a scene from a single observation by designing a partial alias-free interpolation scheme. We generate the unknown high freq...
165
click to vote
EXACT
2007
15 years 9 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
159
click to vote
EXACT
2007
15 years 9 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
199
click to vote
EXACT
2007
15 years 9 months ago
2007
A critical aspect of any explanation module is the set of user questions the system will be able to address. However, there has been relatively little work on listing and organizi...