7335 search results - page 419 / 1467 » Scene Based Reasoning |
151
click to vote
ESA
2005
Springer
15 years 11 months ago
2005
Springer
In geographic information retrieval users use names of geographic regions that do not have a well-defined boundary, like Southern France. We present two approaches to compute rea...
167
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Based on an inductive definition of triangulations, a theory of undirected planar graphs is developed in Isabelle/HOL. The proof of the 5 colour theorem is discussed in some detai...
172
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
152
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
149
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...