50 search results - page 8 / 10 » Bidirectional Contextual Resolution |
CADE
2005
Springer
13 years 8 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Given a community-contributed set of photos of a crowded public event, this paper addresses the problem of finding all images of each person in the scene. This problem is very ch...
ICMCS
2010
IEEE
13 years 7 months ago
2010
IEEE
The ongoing increase of computing performance facilitates a higher algorithmical complexity in video coding systems. The decoder may be able to estimate or derive prediction param...
ECAI
2004
Springer
14 years 3 days ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
GIS
2007
ACM
14 years 7 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...