Sciweavers

1342 search results - page 94 / 269
» Shape reasoning and understanding
Sort
View
SEMWEB
2005
Springer
15 years 11 months ago
Debugging OWL-DL Ontologies: A Heuristic Approach
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
Hai Wang, Matthew Horridge, Alan L. Rector, Nick D...
HICSS
2003
IEEE
134views Biometrics» more  HICSS 2003»
15 years 11 months ago
User Centred Opportunities for Supporting Consumer Behaviour Through Handheld and Ubiquitous Computing
Moving around our physical environment, we are surrounded and interact with information that exhorts and stimulates us to buy things. For most of us, not all of these impulses are...
Kenton O'Hara, Mark Perry
SIGIR
2003
ACM
15 years 11 months ago
Error analysis of difficult TREC topics
Given the experimental nature of information retrieval, progress critically depends on analyzing the errors made by existing retrieval approaches and understanding their limitatio...
Xiao Hu, Sindhura Bandhakavi, ChengXiang Zhai
ASP
2001
Springer
15 years 10 months ago
A Declarative Implementation of Planning with Control
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
Aarati Parmar
LICS
2000
IEEE
15 years 10 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell