3207 search results - page 179 / 642 » A Semantics for HTN Methods |
162
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
100
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper aims to accomplish the work of assessing the aesthetic quality of a video. Unlike previous assessing works focusing mainly on the extraction of aesthetic features in a ...
127
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
124
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
134
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...