501 search results - page 40 / 101 » Using Abstraction to Verify Arbitrary Temporal Properties |
92
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
77
Voted
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We propose a fully automatic framework to detect and extract arbitrary human motion volumes from real-world videos collected from YouTube. Our system is composed of two s...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
GMP
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. Low-discrepancy point distributions exhibit excellent uniformity properties for sampling in applications such as rendering and measurement. We present an algorithm for ge...