354 search results - page 11 / 71 » Modeling generalized cylinders using direction map represent... |
ICCAD
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper introduces a new method for shape registration by matching vector distance functions. The vector distance function representation is more flexible than the conventional...
PAMI
2008
13 years 7 months ago
2008
Beyond conventional linear and kernel-based feature extraction, we present a more generalized formulation for feature extraction in this paper. Two representative algorithms using ...
POPL
1996
ACM
13 years 11 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
BC
2006
13 years 7 months ago
2006
Abstract Multiple sensory-motor maps located in the brainstem and the cortex are involved in spatial orientation. Guiding movements of eyes, head, neck and arms they provide an app...