1886 search results - page 295 / 378 » Verifying and Validating Simulation Models |
120
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we present a compositional boosting algorithm for detecting and recognizing 17 common image structures in low-middle level vision tasks. These structures, called &q...
100
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
134
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
The asymmetry of activity in virtual communities is of great interest. While participation in the activities of virtual communities is crucial for a community's survival and ...
119
Voted
POPL
2010
ACM
16 years 3 hour ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
146
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...