582 search results - page 93 / 117 » What Will Probably Happen |
ICCAD
1999
IEEE
14 years 6 days ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
— The study of skylines and their variants has received considerable attention in recent years. Skylines are essentially sets of most interesting (undominated) tuples in a databa...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Flat appearance-based systems, which combine clever image representations with standard classifiers, might be the most effective way to recognize objects using current technologie...
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, we investigate what can be inferred from several silhouette probability maps, in multi-camera environments. To this aim, we propose a new framework for multi-view s...