4502 search results - page 497 / 901 » Regular Model Checking |
201
click to vote
ISVC
2010
Springer
15 years 8 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...
187
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider the least-square regression problem with regularization by a block 1-norm, that is, a sum of Euclidean norms over spaces of dimensions larger than one. This problem, r...
127
click to vote
SIAMSC
2008
15 years 6 months ago
2008
In this note we consider the numerical solution of selfadjoint deblurring problems on bounded intervals. For these problems it has recently been shown that appropriate modelling of...
163
click to vote
IS
2007
15 years 6 months ago
2007
: A number of indexing techniques have been proposed in recent times for optimizing the queries on XML and other semistructured data models. Most of the semistructured models use t...
182
Voted
SSIRI
2010
15 years 5 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...