3207 search results - page 436 / 642 » A Semantics for HTN Methods |
183
click to vote
IJCV
2007
15 years 6 months ago
2007
In this paper, the automatic annotation task of the 2005 CLEF cross-language image retrieval campaign (ImageCLEF) is described. This paper focuses on the database used, the task s...
190
click to vote
IJSWIS
2007
15 years 6 months ago
2007
This paper presents a hybrid, extensional and asymmetric matching approach designed to find out semantic relations (equivalence and subsumption) between entities issued from two ...
189
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
164
click to vote
PVLDB
2010
15 years 4 months ago
2010
Large data resources are ubiquitous in science and business. For these domains, an intuitive view on the data is essential to fully exploit the hidden knowledge. Often, these data...
177
click to vote
UTP
2010
15 years 4 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...