Sciweavers

959 search results - page 146 / 192
» Three Features for Component Frameworks
Sort
View
ICFP
2007
ACM
15 years 11 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...
SAS
2009
Springer
214views Formal Methods» more  SAS 2009»
16 years 12 days ago
Abstract Interpretation of FIFO Replacement
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
Daniel Grund, Jan Reineke
MICCAI
2004
Springer
16 years 22 days ago
Coupling Statistical Segmentation and PCA Shape Modeling
This paper presents a novel segmentation approach featuring shape constraints of multiple structures. A framework is developed combining statistical shape modeling with a maximum a...
Kilian M. Pohl, Simon K. Warfield, Ron Kikinis, W....
VL
2008
IEEE
149views Visual Languages» more  VL 2008»
15 years 6 months ago
Collaborative end-user development on handheld devices
Web 2.0 has enabled end users to collaborate through their own developed artifacts, moving on from text (e.g., Wikipedia, Blogs) to images (e.g., Flickr) and movies (e.g., YouTube...
Navid Ahmadi, Alexander Repenning, Andri Ioannidou
CIARP
2007
Springer
15 years 6 months ago
Multi-class Binary Object Categorization Using Blurred Shape Models
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...
Sergio Escalera, Alicia Fornés, Oriol Pujol...