Sciweavers

682 search results - page 114 / 137
» Situated Semantic Alignment
Sort
View
KR
2010
Springer
14 years 1 months ago
A Correctness Result for Reasoning about One-Dimensional Planning Problems
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
Yuxiao Hu, Hector J. Levesque
CSCW
2000
ACM
14 years 25 days ago
Copies convergence in a distributed real-time collaborative environment
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...
Nicolas Vidot, Michèle Cart, Jean Ferri&eac...
KBSE
1998
IEEE
14 years 21 days ago
Specification-based Browsing of Software Component Libraries
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
B. Fischer
HICSS
1994
IEEE
126views Biometrics» more  HICSS 1994»
14 years 17 days ago
Automating Compensation in a Multidatabase
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
Marian H. Nodine, Stanley B. Zdonik
ICTAI
1993
IEEE
14 years 17 days ago
MERIT Motifs
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
Ulrich Thiel, Martin Kracker, Adelheit Stein