3909 search results - page 229 / 782 » Extreme Model Checking |
118
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
80
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, a novel background model on spatio-temporal patches is introduced for video surveillance, especially for night outdoor scene, where extreme lighting conditions ofte...
120
Voted
ICCAD
2004
IEEE
16 years 1 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
113
click to vote
SERA
2005
Springer
15 years 8 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
120
click to vote
CVPR
1999
IEEE
15 years 7 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...