3954 search results - page 77 / 791 » Image-based Model Completion |
112
Voted
NIPS
2008
15 years 4 months ago
2008
We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...
136
Voted
INEX
2007
Springer
15 years 8 months ago
2007
Springer
The Knowledge Media Institute of the Open University participated in the entity ranking and entity list completion tasks of the Entity Ranking Track in INEX 2007. In both the entit...
93
Voted
ENTCS
2000
15 years 2 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
115
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
153
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
The distance transform (DT) and the medial axis transform (MAT) are two image computation tools used to extract the information about the shape and the position of the foreground ...