Sciweavers

1458 search results - page 166 / 292
» The sequentially realizable functionals
Sort
View
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
Inference and Visualization of Spatial Relations
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Frit...
AAAI
2007
15 years 6 months ago
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
Subbarao Kambhampati
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 6 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
ICSOFT
2008
15 years 5 months ago
A Goal-Based Framework for Dynamic Service Discovery and Composition
Service-oriented computing allows new applications to be developed by using and/or combining services offered by different organizations. Service composition can be applied when a ...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
PAKM
2008
15 years 5 months ago
The Right Expert at the Right Time and Place
Abstract. We propose a unified and complete solution for expert finding in organizations, including not only expertise identification, but also expertise selection functionality. T...
Pavel Serdyukov, Ling Feng, Arthur H. van Bunninge...