2586 search results - page 86 / 518 » Automatic Abstraction for Congruences |
ECIR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents first steps towards building a music information system like last.fm, but with the major difference that the data is automatically retrieved from the ...
MST
2010
14 years 8 months ago
2010
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...
142
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Given an image, we propose a hierarchical generative
model that classifies the overall scene, recognizes and segments
each object component, as well as annotates the image
with ...
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes a novel approach to automatically recover accurate correspondence over various shapes. In order to detect the features points with the capability in ...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...