Sciweavers

6014 search results - page 17 / 1203
» Parametric Analysis of Computer Systems
Sort
View
ICIP
2007
IEEE
16 years 2 months ago
Unsupervised Lips Segmentation Based on ROI Optimisation and Parametric Model
Lips segmentation is a very important step in many applications such as automatic speech reading, MPEG-4 compression, special effects, facial analysis and emotion recognition. In ...
Christian Bouvier, Pierre-Yves Coulon, Xavier Mald...
93
Voted
LICS
2005
IEEE
15 years 6 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
APLAS
2010
ACM
15 years 25 days ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
PG
2007
IEEE
15 years 6 months ago
Developable Strip Approximation of Parametric Surfaces with Global Error Bounds
Developable surfaces have many desired properties in manufacturing process. Since most existing CAD systems utilize parametric surfaces as the design primitive, there is a great d...
Yong-Jin Liu, Yu-Kun Lai, Shi-Min Hu
85
Voted
SG
2007
Springer
15 years 6 months ago
Semantic Information and Local Constraints for Parametric Parts in Interactive Virtual Construction
Abstract. This paper introduces a semantic representation for virtual prototyping in interactive virtual construction applications. The representation reflects semantic information...
Peter Biermann, Christian Fröhlich, Marc Eric...