1938 search results - page 20 / 388 » On Positive Relational Calculi |
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
AI
2011
Springer
13 years 2 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
A common practice when carrying out self-calibration of a camera from one or more views is to start with a guess at the principal point. The general belief is that inaccuracies in...