780 search results - page 94 / 156 » Compositional Quantitative Reasoning |
134
click to vote
TVCG
2008
15 years 1 months 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...
140
Voted
MICAI
2010
Springer
15 years 26 days 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...
110
click to vote
ICIP
2010
IEEE
15 years 11 days 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...
116
Voted
CADE
2006
Springer
16 years 2 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...
SAFECOMP
2005
Springer
15 years 8 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...