Sciweavers

2414 search results - page 114 / 483
» Computing Normal Subgroups
Sort
View
MICCAI
2004
Springer
14 years 10 months ago
Area Preserving Cortex Unfolding
Abstract. We propose a new method to generate unfolded area preserving representations of the cerebral cortex. The cortical surface is evolved with an application-specific normal m...
Jean-Philippe Pons, Renaud Keriven, Olivier D. Fau...
BIBE
2007
IEEE
214views Bioinformatics» more  BIBE 2007»
14 years 3 months ago
Histogram Transformation for Inter-Modality Image Registration
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
Joerg Meyer
SP
1996
IEEE
100views Security Privacy» more  SP 1996»
14 years 1 months ago
A Sense of Self for Unix Processes
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaj...
LPAR
1994
Springer
14 years 1 months ago
On Anti-Links
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
Bernard Becker, Reiner Hähnle, Anavai Ramesh,...
CP
2000
Springer
14 years 19 days ago
Algebraic Simplification Techniques for Propositional Satisfiability
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
João P. Marques Silva