Sciweavers

1664 search results - page 202 / 333
» Towards Partial Reasoning
Sort
View
ECCV
2010
Springer
15 years 9 months ago
Cascaded Confidence Filtering for Improved Tracking-by-Detection
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
AMAST
1998
Springer
15 years 9 months ago
Type Analysis for CHIP
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
Wlodzimierz Drabent, Pawel Pietrzak
DEXA
2006
Springer
118views Database» more  DEXA 2006»
15 years 8 months ago
Using an Oracle Repository to Accelerate XPath Queries
One of the problems associated with XML databases is the poor performance of XPath queries. Although this has attracted much attention by the research community, solutions are eith...
Colm Noonan, Cian Durrigan, Mark Roantree
AIIA
2003
Springer
15 years 8 months ago
The Role of Different Solvers in Planning and Scheduling Integration
This paper attempts to analyze the issue of planning and scheduling integration from the point of view of information sharing. This concept is the basic bridging factor between the...
Federico Pecora, Amedeo Cesta
IJCAI
2007
15 years 6 months ago
Argumentation Based Contract Monitoring in Uncertain Domains
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
Nir Oren, Timothy J. Norman, Alun D. Preece