Sciweavers

266 search results - page 42 / 54
» On asymmetric progress conditions
Sort
View
PODS
1991
ACM
131views Database» more  PODS 1991»
15 years 1 months ago
Termination Detection in Logic Programs using Argument Sizes
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
Kirack Sohn, Allen Van Gelder
SIGGRAPH
1991
ACM
15 years 1 months ago
Design and simulation of opera lighting and projection effects
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
Julie Dorsey, François X. Sillion, Donald P...
AIPS
2008
15 years 2 days ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
EKAW
2008
Springer
14 years 11 months ago
GoodRelations: An Ontology for Describing Products and Services Offers on the Web
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...
Martin Hepp
LREC
2010
166views Education» more  LREC 2010»
14 years 11 months ago
Annotating Event Mentions in Text with Modality, Focus, and Source Information
Many natural language processing tasks, including information extraction, question answering and recognizing textual entailment, require analysis of the polarity, focus of polarit...
Suguru Matsuyoshi, Megumi Eguchi, Chitose Sao, Koj...