2465 search results - page 177 / 493 » Automata on Linear Orderings |
CVPR
2004
IEEE
15 years 12 days ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
BMCBI
2008
13 years 10 months ago
2008
Background: At intermediate stages of genome assembly projects, when a number of contigs have been generated and their validity needs to be verified, it is desirable to align thes...
CVPR
2001
IEEE
15 years 12 days ago
2001
IEEE
A bugbear of uncalibrated stereo reconstruction is that cameras which deviate from the pinhole model have to be pre-calibrated in order to correct for nonlinear lens distortion. I...
AINA
2008
IEEE
14 years 4 months ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...