Sciweavers

5624 search results - page 298 / 1125
» On Conditional Covering Problem
Sort
View
WISE
2000
Springer
15 years 11 months ago
Searching the Web Using a Map
Most Internet search engines are keyword-based. They are not efficient for the queries where geographical location is important, such as finding hotels within an area or close to ...
Joseph D. Yates, Xiaofang Zhou
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
15 years 11 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
AIPS
2008
15 years 9 months 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
15 years 8 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
ECIR
2008
Springer
15 years 8 months ago
A Novel Implementation of the FITE-TRT Translation Method
Cross-language Information Retrieval requires good methods for translating cross-lingual spelling variants which are not covered by the available dictionary resources. FITE-TRT is ...
Aki Loponen, Ari Pirkola, Kalervo Järvelin, H...