Sciweavers

1129 search results - page 152 / 226
» Modular Ranking Abstraction
Sort
View
ECCV
2006
Springer
14 years 9 months ago
Learning and Incorporating Top-Down Cues in Image Segmentation
Abstract. Bottom-up approaches, which rely mainly on continuity principles, are often insufficient to form accurate segments in natural images. In order to improve performance, rec...
Xuming He, Richard S. Zemel, Debajyoti Ray
MICCAI
2008
Springer
14 years 9 months ago
A Nonrigid Image Registration Framework for Identification of Tissue Mechanical Parameters
Abstract. We present a modular framework for mechanically regularized nonrigid image registration of 3D ultrasound and for identification of tissue mechanical parameters. Mechanica...
Petr Jordan, Simona Socrate, Todd E. Zickler, R...
SIGSOFT
2006
ACM
14 years 8 months ago
Lightweight extraction of syntactic specifications
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
Mana Taghdiri, Robert Seater, Daniel Jackson
OSDI
2008
ACM
14 years 8 months ago
Digging for Data Structures
Because writing computer programs is hard, computer programmers are taught to use encapsulation and modularity to hide complexity and reduce the potential for errors. Their progra...
Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T....
ICFP
2005
ACM
14 years 7 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...