3863 search results - page 145 / 773 » Function in Device Representation |
146
click to vote
JAR
2010
15 years 2 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
139
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Feature histograms based on the evaluation of Haar integrals with nonlinear kernel functions were used successfully for the purpose of invariant content based image retrieval. In ...
135
click to vote
ISBI
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...
164
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Registration of 3D surfaces is a critical step for shape analysis. Recent studies show that spectral representations based on intrinsic pairwise geodesic distances between points ...
139
click to vote
AMR
2007
Springer
15 years 10 months ago
2007
Springer
This paper gives an overview of recent approaches towards image representation and image similarity computation for content-based image retrieval and automatic image annotation (ca...