626 search results - page 82 / 126 » When Can Formal Methods Make a Real Difference |
113
Voted
AI
2006
Springer
15 years 3 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
143
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
137
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
We present a very simple and effective method for eliminating the degeneracy inherent in a planar scene, and demonstrate its performance in a useful application -- that of binocul...
151
click to vote
CIBCB
2009
IEEE
15 years 1 months ago
2009
IEEE
Reliable shape modeling and clustering of white matter fiber tracts is essential for clinical and anatomical studies that use diffusion tensor imaging (DTI) tractography techniques...
139
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Blur from camera shake is mostly due to the 3D rotation of the camera, resulting in a blur kernel that can be significantly non-uniform across the image. However, most current de...