Sciweavers

2836 search results - page 96 / 568
» Evaluating a Qualitative Reasoner
Sort
View
FLAIRS
2006
15 years 7 months ago
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
Alan Bundy, Fiona McNeill, Christopher Walton
FLAIRS
2003
15 years 7 months ago
Efficient Retrieval for Case-Based Reasoning
In this work two indexing approaches are presented for case-based reasoning. The first is a hybrid technique which uses a combination of a matrix structure and a tree structure to...
David W. Patterson, Niall Rooney, Mykola Galushka
VSTTE
2010
Springer
15 years 4 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
IAT
2010
IEEE
15 years 3 months ago
Predictive Analytics Using a Blackboard-Based Reasoning Agent
Significant increase in collected data for investigative tasks and the increased complexity of the reasoning process itself have made investigative analytical tasks more challengi...
Jia Yue, Anita Raja, William Ribarsky
ECCV
2006
Springer
16 years 8 months ago
Multivalued Default Logic for Identity Maintenance in Visual Surveillance
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
Vinay D. Shet, David Harwood, Larry S. Davis