12399 search results - page 739 / 2480 » Deformable structural models |
204
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
We present a new fast algorithm for background modeling and subtraction. Sample background values at each pixel are quantized into codebooks which represent a compressed form of b...
176
click to vote
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
200
click to vote
GMP
2006
IEEE
16 years 1 months ago
2006
IEEE
Skeletons are important shape descriptors in object representation and recognition. Typically, skeletons of volumetric models are computed using iterative thinning. However, tradi...
172
click to vote
ATVA
2005
Springer
16 years 1 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
189
click to vote
IWSSD
2000
IEEE
15 years 12 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...