174 search results - page 34 / 35 » AASA: a Method of Automatically Acquiring Semantic Annotatio... |
ICCV
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper presents a new algorithm for the automatic recognition of object classes from images (categorization). Compact and yet discriminative appearance-based object class mode...
SCANGIS
2003
13 years 7 months ago
2003
A multiple representation database contains several geographic datasets defined at different resolutions covering the same area. Objects within the different datasets that repre...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
SDM
2011
SIAM
12 years 8 months ago
2011
SIAM
Extracting semantic relations between entities is an important step towards automatic text understanding. In this paper, we propose a novel Semi-supervised Convolution Graph Kerne...
FM
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...