1264 search results - page 38 / 253 » Towards Theory Translation |
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
Given estimates of the motion eld optic ow from an image sequence, it is possible to recover translational direction, ~T, using a variety of techniques. One such technique, known ...
CSL
1997
Springer
14 years 29 days ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
AWIC
2005
Springer
14 years 2 months ago
2005
Springer
This paper explores the feasibility of a multilingual question answering approach based on the Web redundancy. The paper introduces a system prototype that combines a translation m...
AIML
2006
13 years 10 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
APAL
2010
13 years 9 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...