Sciweavers

7335 search results - page 170 / 1467
» Scene Based Reasoning
Sort
View
ECAI
2004
Springer
15 years 8 months ago
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
We present a framework for annotating dynamic scenes involving occlusion and other uncertainties. Our system comprises an object tracker, an object classifier and an algorithm for...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...
174
Voted
ICLP
1995
Springer
15 years 7 months ago
Experimenting with Nonmonotonic Reasoning
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk...
210
Voted
CADE
2002
Springer
16 years 3 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
148
Voted
JAR
2007
142views more  JAR 2007»
15 years 3 months ago
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
114
Voted
AAAI
2007
15 years 5 months ago
Reasoning about Attribute Authenticity in a Web Environment
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
Thomas Wölfl