4502 search results - page 493 / 901 » Regular Model Checking |
158
click to vote
ECOI
2006
15 years 6 months ago
2006
Ecological data can be difficult to collect, and as a result, some important temporal ecological datasets contain irregularly sampled data. Since many temporal modelling technique...
190
click to vote
TMI
2002
15 years 6 months ago
2002
Abstract-- We present a method for accurate image registration and motion compensation in multidimensional signals, such as 2D X-ray images and 3D CT/MRI volumes. The method is bas...
170
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
197
click to vote
CAV
2004
Springer
16 years 7 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
194
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce a novel energy minimization method to decompose a video into a set of super-resolved moving layers. The proposed energy corresponds to the cost of coding the sequence...