Sciweavers

5946 search results - page 788 / 1190
» Visual requirement representation
Sort
View
ISBI
2002
IEEE
16 years 7 months ago
Statistically-based reorientation of diffusion tensor field
This paper presents a new method for warping of diffusion tensor fields. The proper reorientation of a tensor field requires knowledge of the underlying fiber orientation, which i...
Dongrong Xu, Susumu Mori, Dinggang Shen, Christos ...
ISBI
2004
IEEE
16 years 7 months ago
Non-Rigid Registration of Shapes Via Diffeomorphic Point Matching
Diffeomorphic non-rigid registration of shapes is a very difficult problem. We use the point-set representation for shapes since statistical shape analysis in this space is relati...
Hongyu Guo, Anand Rangarajan, Sarang C. Joshi, Lau...
ICIAP
2009
ACM
16 years 7 months ago
Multi-class Binary Symbol Classification with Circular Blurred Shape Models
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
Sergio Escalera, Alicia Fornés, Oriol Pujol...
POPL
2007
ACM
16 years 7 months ago
Towards a mechanized metatheory of standard ML
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
Daniel K. Lee, Karl Crary, Robert Harper
VLDB
2002
ACM
101views Database» more  VLDB 2002»
16 years 7 months ago
Efficient similarity search for market basket data
Several organizations have developed very large market basket databases for the maintenance of customer transactions. New applications, e.g., Web recommendation systems, present th...
Alexandros Nanopoulos, Yannis Manolopoulos