4341 search results - page 433 / 869 » Quantitative Model checking |
173
click to vote
IPMI
2001
Springer
16 years 7 months ago
2001
Springer
This paper presents a Bayesian multi-scale three dimensional deformable template approach based on a medial representation for the segmentation and shape characterization of anatom...
184
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
219
click to vote
KES
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
152
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
Generating free-viewpoint video in outdoor sports environments is currently an unsolved problem due to difficulties in obtaining accurate background segmentation and camera calib...
165
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiple asynchronous clock domains have been increasingly employed in System-on-Chip (SoC) designs for different I/O interfaces. Functional validation is one of the most expensiv...