Sciweavers

13383 search results - page 2492 / 2677
» Abstractions from proofs
Sort
View
IWCIA
2009
Springer
14 years 5 months ago
Signatures of Combinatorial Maps
Abstract. In this paper, we address the problem of computing a canonical representation of an n-dimensional combinatorial map. To do so, we define two combinatorial map signatures...
Stéphane Gosselin, Guillaume Damiand, Chris...
MIRAGE
2009
Springer
14 years 5 months ago
Interpreting Face Images by Fitting a Fast Illumination-Based 3D Active Appearance Model
Abstract. We present a fast and robust iterative method for interpreting face images under non-uniform lighting conditions by using a fitting algorithm which utilizes an illuminat...
Salvador E. Ayala-Raggi, Leopoldo Altamirano Roble...
PPDP
2009
Springer
14 years 5 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
SCALESPACE
2009
Springer
14 years 5 months ago
A Multi-scale Feature Based Optic Flow Method for 3D Cardiac Motion Estimation
Abstract. The dynamic behavior of the cardiac muscle is strongly dependent on heart diseases. Optic flow techniques are essential tools to assess and quantify the contraction of t...
Alessandro Becciu, Hans C. van Assen, Luc Florack,...
SCIA
2009
Springer
183views Image Analysis» more  SCIA 2009»
14 years 5 months ago
A Hybrid Image Quality Measure for Automatic Image Quality Assessment
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
Atif Bin Mansoor, Maaz Haider, Ajmal S. Mian, Shoa...
« Prev « First page 2492 / 2677 Last » Next »