1155 search results - page 56 / 231 » A Decision-Theoretic Model of Assistance |
WSC
2004
15 years 1 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes an integrated system for building a multiplanar model of the scene as the camera is localized on the fly. The core of this system is a robust and accurate pr...
ICALT
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes how a knowledge model allows training software to evaluate spatial cognitive maps and provide tailored assistance.
103
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...