2414 search results - page 38 / 483 » Computing Normal Subgroups |
104
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
109
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
MICCAI
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we present a statistical analysis of the normal dissymmetry in brain MR images. Our method consists in: computing a dense 3D
119
click to vote
COMPGEOM
2010
ACM
15 years 6 months ago
2010
ACM
Normal surface theory is a central tool in algorithmic threedimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important a...
107
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper we develop a novel contrast-invariant appearance detection model. The goal is to classify object-specific images (e.g. face images) from generic background patches. ...