780 search results - page 94 / 156 » Compositional Quantitative Reasoning |
123
Voted
TVCG
2008
15 years 4 days ago
2008
Abstract-- We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously r...
124
click to vote
MICAI
2010
Springer
14 years 11 months ago
2010
Springer
Several methods have been presented in the literature that successfully used SIFT features for object identification, as they are reasonably invariant to translation, rotation, sc...
93
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
A no-reference image metric based on the singular value decomposition of local image gradients is proposed in this paper. This metric provides a quantitative measure of true image...
99
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
78
Voted
SAFECOMP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...