2343 search results - page 12 / 469 » Structure and Interpretation of Computer Programs |
RAS
2007
14 years 11 months ago
2007
The purpose of this study is to investigate a variational formulation of the problem of three-dimensional (3D) interpretation of temporal image sequences based on the 3D brightnes...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
IJCAI
2001
15 years 1 months ago
2001
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
111
Voted
IUI
2005
ACM
15 years 5 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
FSTTCS
2000
Springer
15 years 3 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...