Sciweavers

4595 search results - page 249 / 919
» Reasoning about Plans
Sort
View
IJCAI
2003
15 years 8 months ago
Layered Mereotopology
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
Maureen Donnelly
LPAR
2010
Springer
15 years 5 months ago
Program Logics for Homogeneous Meta-programming
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
Martin Berger, Laurence Tratt
AH
2004
Springer
15 years 11 months ago
Adaptive Help for Webbased Applications
Abstract. This paper presents an approach that uses the techniques of plan recognition not only to infer short-term plans and goals, but also to infer the long-term procedural know...
Dorothea Iglezakis
SOQUA
2004
15 years 8 months ago
An Optimum, System-Based Component Testing Approach for Evaluating Software Reliability
: In a component testing approach for evaluating system reliability, one tests units of the components or subsystems that make up a larger system in order to draw conclusions about...
Jayant Rajgopal, Mainak Mazumdar
DEXAW
2009
IEEE
86views Database» more  DEXAW 2009»
16 years 2 months ago
Robust Service-Based Semantic Querying to Distributed Heterogeneous Databases
— The amount of semantic data on the Web has increased exponentially in the last years. One of the main reasons for this is the use of RDB2RDF systems, which generate RDF data fr...
Carlos Buil Aranda, Óscar Corcho, Amy Kraus...