1350 search results - page 113 / 270 » Reasoning about Staged Computation |
179
click to vote
ECOOP
1993
Springer
15 years 9 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
187
click to vote
EUROSSC
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
160
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
162
click to vote
AAAI
2000
15 years 6 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
163
click to vote
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Generative model learning is one of the key problems in machine learning and computer vision. Currently the use of generative models is limited due to the difficulty in effective...