3082 search results - page 177 / 617 » Deviation Analysis: A New Use of Model Checking |
182
click to vote
SERA
2005
Springer
15 years 12 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
206
click to vote
IMAMS
2003
15 years 7 months ago
2003
Watermarking is to embed a structure called a watermark into the target data such as images. The watermark can be used, for example, in order to secure the copyright and detect tam...
166
click to vote
FSTTCS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
158
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
This paper considers the problems of feature variation and concept uncertainty in typical learning-based video semantic classification schemes. We proposed a new online semantic c...
198
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose a novel meshless deformable model for in vivo cardiac left ventricle (LV) 3D motion estimation. As a relatively new technology, tagged MRI (tMRI) provides a direct and ...