4341 search results - page 364 / 869 » Quantitative Model checking |
188
click to vote
FSKD
2007
Springer
15 years 8 months ago
2007
Springer
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...
145
click to vote
WSC
1998
15 years 8 months ago
1998
The word "scalability" is used in a variety of ways by different simulation communities. This paper describes some of the more common usages and presents a general, unif...
181
click to vote
MVA
1994
15 years 8 months ago
1994
This paper presents an efficient extraction method of closed loops as primitive symbols of line drawings, and an robust line drawing understanding system incorporating this extrac...
166
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a practical framework for detecting and modeling 3D static occlusions for wide-baseline, multi-camera scenarios where the number of cameras is small. The framework cons...
224
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Tracking of humans in dynamic scenes has been an important topic of research. Most techniques, however, are limited to situations where humans appear isolated and occlusion is sma...