4355 search results - page 378 / 871 » From Interpretation to Compilation |
187
Voted
AI
2007
Springer
15 years 7 months ago
2007
Springer
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
179
click to vote
IJCV
2006
15 years 6 months ago
2006
Understanding facial expressions in image sequences is an easy task for humans. Some of us are capable of lipreading by interpreting the motion of the mouth. Automatic lipreading b...
182
click to vote
JAPLL
2008
15 years 6 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...