174 search results - page 34 / 35 » AASA: a Method of Automatically Acquiring Semantic Annotatio... |
101
Voted
ICCV
2005
IEEE
15 years 3 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
14 years 10 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...
113
click to vote
ESOP
2005
Springer
15 years 3 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 ...
110
click to vote
SDM
2011
SIAM
14 years 7 days 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
14 years 11 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...