4502 search results - page 392 / 901 » Regular Model Checking |
178
click to vote
SSIRI
2010
15 years 5 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
139
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper copes with the reconstruction of accretionary morphogenesis within a given observation plane from an image depicting successive (typically seasonal or daily) growth str...
273
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or su...
211
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...
146
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a least square kernel machine with box constraints (LSKMBC). The existing least square machines assume Gaussian hyperpriors and subsequently express the ...