1805 search results - page 140 / 361 » A Theory of Closure Operators |
142
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
140
click to vote
TAGT
1994
Springer
15 years 8 months ago
1994
Springer
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
125
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper addresses the problem of robust optimal multi-view triangulation. We propose an abstract framework, as well as a practical algorithm, which finds the best 3D reconstruc...
121
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
207
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...