2414 search results - page 132 / 483 » Computing Normal Subgroups |
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
DLT
2009
13 years 6 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
CVPR
1998
IEEE
14 years 11 months ago
1998
IEEE
We study an application of image registration in the medical domain. Based on a 3-D hierarchical deformable registration algorithm, we developed a prototype for automatic register...
CVPR
2003
IEEE
2003
IEEE
3D Object Modeling and Recognition Using Affine-Invariant Patches and Multi-View Spatial Constraints
14 years 11 months ago
: This paper presents a novel representation for three-dimensional objects in terms of affine-invariant image patches and their spatial relationships. Multi-view constraints associ...
ICCV
2005
IEEE
14 years 11 months ago
2005
IEEE
Lighting variation is commonly handled by methods invariant to additive and multiplicative changes in image intensity. It has been demonstrated that comparing images using the dir...