886 search results - page 28 / 178 » Reasoning with contextual graphs |
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a verified enumeration of tame graphs as defined in Hales' proof of the Kepler Conjecture and confirm the completeness of Hales' list of all tame graphs while ...
ICCBR
2003
Springer
15 years 7 months ago
2003
Springer
133
Voted
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
118
Voted
ECAI
2004
Springer
15 years 7 months 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...
154
Voted
LOGCOM
1998
15 years 1 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...