Sciweavers

1525 search results - page 127 / 305
» Matching with Regular Constraints
Sort
View
ISBI
2008
IEEE
16 years 4 months ago
Multi-scale diffeomorphic cortical registration under manifold sulcal constraints
Neuroimaging at the group level requires spatial normalization across individuals. This issue has been receiving considerable attention from multiple research groups. Here we sugg...
Alain Trouvé, Arnaud Cachia, Eric Bardinet,...
LPAR
2007
Springer
15 years 10 months ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
PODS
1998
ACM
86views Database» more  PODS 1998»
15 years 8 months ago
Efficient Searching with Linear Constraints
An extended abstract of this paper appeared in Proceedings of the 15th ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems [1]. 2 E-mail: pankaÄcs.duke.edu; httpÂ...
Pankaj K. Agarwal, Lars Arge, Jeff Erickson, Paolo...
ICIP
2010
IEEE
15 years 2 months ago
3D vertebrae segmentation using graph cuts with shape prior constraints
Osteoporosis is a bone disease characterized by a reduction in bone mass, resulting in an increased risk of fractures. To diagnose the osteoporosis accurately, bone mineral densit...
Melih S. Aslan, Asem M. Ali, Dongqing Chen, Ben Ar...
ICIP
1994
IEEE
16 years 5 months ago
Robust Optical Flow Estimation
Motion information is essential in many computer vision and video analysis tasks. Since MPEG is still one of the most prevalent formats for representing, transferring and storing ...
Sugata Ghosal, Rajiv Mehrotra