4341 search results - page 503 / 869 » Quantitative Model checking |
177
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we address invariant keypoint-based texture characterization and recognition. Viewing keypoint sets associated with visual textures as realizations of point process...
217
click to vote
CVIU
2011
14 years 10 months ago
2011
In this paper, we aim to reconstruct free-form 3D models from only one or few silhouettes by learning the prior knowledge of a specific class of objects. Instead of heuristically...
105
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
154
Voted
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...
202
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...