3238 search results - page 211 / 648 » On the Computational Interpretation of Negation |
176
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
195
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
171
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
173
click to vote
ENTCS
2002
15 years 6 months ago
2002
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
156
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We present an algorithm to generate samples from probability distributions on the space of curves. We view a traditional curve evolution energy functional as a negative l...