3921 search results - page 624 / 785 » Transforming Models with ATL |
112
click to vote
POPL
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
116
click to vote
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
This paper addresses the problem of lip segmentation in color space, which is a crucial issue to the success of a lip-reading system. We present a new segmentation approach to lip ...
129
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
We present a method for nonrigid registration of 2-D geometric shapes. Our contribution is twofold. First, we extend the classic chamfer-matching energy to a variational functional...
125
click to vote
CGF
2010
15 years 1 months ago
2010
We propose a watermarking algorithm for polygonal meshes based on the modification of the Laplacian coordinates. More specifically, we first compute the Laplacian coordinates (x,y...
115
click to vote
FSS
2008
15 years 1 months ago
2008
This paper introduces a new approach to classification which combines pairwise decomposition techniques with ideas and tools from fuzzy preference modeling. More specifically, our...