2414 search results - page 38 / 483 » Computing Normal Subgroups |
ICFP
2003
ACM
14 years 7 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...
CC
2003
Springer
14 years 25 days 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
13 years 11 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
COMPGEOM
2010
ACM
13 years 12 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...
ICPR
2004
IEEE
14 years 8 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. ...