2451 search results - page 114 / 491 » The Octagon Abstract Domain |
192
click to vote
TAPSOFT
1997
Springer
15 years 11 months 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...
203
Voted
COMPENG
2010
15 years 10 months 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...
177
click to vote
AIRS
2006
Springer
15 years 10 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...
208
click to vote
ESWS
2006
Springer
15 years 10 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...
190
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...