2414 search results - page 173 / 483 » Computing Normal Subgroups |
155
click to vote
TLCA
2009
Springer
16 years 18 days 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...
161
click to vote
ICPR
2008
IEEE
16 years 15 days 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 ...
144
click to vote
CVPR
2007
IEEE
2007
IEEE
A Comparison of PMD-Cameras and Stereo-Vision for the Task of Surface Reconstruction using Patchlets
16 years 12 days 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...
169
Voted
FOCI
2007
IEEE
16 years 12 days 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...
132
click to vote
ICCV
2007
IEEE
16 years 11 days 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...