3758 search results - page 212 / 752 » A Complete Subsumption Algorithm |
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
116
click to vote
CIVR
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
145
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
List question answering (QA) offers a unique challenge in effectively and efficiently locating a complete set of distinct answers from huge corpora or the Web. In TREC-12, the med...
106
Voted
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...
CP
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...