1155 search results - page 56 / 231 » A Decision-Theoretic Model of Assistance |
154
click to vote
WSC
2004
15 years 7 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...
131
click to vote
ICPR
2008
IEEE
16 years 22 days 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...
125
click to vote
ICALT
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper describes how a knowledge model allows training software to evaluate spatial cognitive maps and provide tailored assistance.
185
click to vote
TPHOL
2008
IEEE
16 years 20 days 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...
166
click to vote
TYPES
2000
Springer
15 years 10 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...