2448 search results - page 108 / 490 » The Octahedron Abstract Domain |
ISMIS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
TAPSOFT
1997
Springer
14 years 8 days ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
COMPENG
2010
14 years 1 days ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
AIRS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. This paper presents an approach for image annotation propagation to images which have no annotations. In some specific domains, the assumption that visual similarity impl...
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this document we describe our approach to a specific subtask of ontology population, the extraction of instances of relations. We present a generic approach with which...