3706 search results - page 102 / 742 » OntoComP System Description |
140
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
171
click to vote
UAI
2007
15 years 6 months ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
149
click to vote
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
119
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
Generating vehicle trajectories from video data is an important application of ITS (Intelligent Transportation Systems). We introduce a new tracking approach which uses model-base...
120
Voted
ACSC
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...