2414 search results - page 173 / 483 » Computing Normal Subgroups |
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
The importance of accurate early diagnostics of dyslexia that severely affects the learning abilities of children cannot be overstated. Neuropathological studies have revealed an ...
CVPR
2007
IEEE
2007
IEEE
A Comparison of PMD-Cameras and Stereo-Vision for the Task of Surface Reconstruction using Patchlets
14 years 3 months ago
Recently real-time active 3D range cameras based on time-of-flight technology (PMD) have become available. Those cameras can be considered as a competing technique for stereo-vis...
FOCI
2007
IEEE
14 years 3 months ago
2007
IEEE
— A learning machine is called singular if its Fisher information matrix is singular. Almost all learning machines used in information processing are singular, for example, layer...
ICCV
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a novel level-set method for evolving open surfaces embedded in three-dimensional volumes. We adapt the method for statistical detection and segmentation of cytoarchite...