Sciweavers

2178 search results - page 120 / 436
» Inferring complex plans
Sort
View
125
Voted
CVPR
2007
IEEE
16 years 5 months ago
Searching Video for Complex Activities with Finite State Models
We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach...
Nazli Ikizler, David A. Forsyth
166
Voted
DLOG
2006
15 years 5 months ago
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
136
Voted
ECAI
2000
Springer
15 years 8 months ago
Intention Reconsideration in Theory and Practice
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
Simon Parsons, Ola Pettersson, Alessandro Saffiott...
ISPW
2010
IEEE
15 years 8 months ago
Software Factories: Describing the Assembly Process
Software Factories pose a paradigm shift that promises to turn application assembly more cost eective through systematic reuse. These advances in software industrialization have h...
Maider Azanza, Oscar Díaz, Salvador Trujill...
121
Voted
CADE
2009
Springer
15 years 10 months ago
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
Shuvendu K. Lahiri, Shaz Qadeer