Sciweavers

2686 search results - page 101 / 538
» Testing metric properties
Sort
View
86
Voted
ICCV
2009
IEEE
14 years 8 months ago
Local distance functions: A taxonomy, new algorithms, and an evaluation
We present a taxonomy for local distance functions where most existing algorithms can be regarded as approximations of the geodesic distance defined by a metric tensor. We categor...
Deva Ramanan, Simon Baker
GD
2004
Springer
15 years 3 months ago
Building Blocks of Upward Planar Digraphs
The upward planarity testing problem consists of testing if a digraph admits a drawing Γ such that all edges in Γ are monotonically increasing in the vertical direction and no e...
Patrick Healy, Karol Lynch
82
Voted
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
15 years 10 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
95
Voted
PROPERTYTESTING
2010
14 years 8 months ago
Testing by Implicit Learning: A Brief Survey
We give a high-level survey of the "testing by implicit learning" paradigm, and explain some of the property testing results for various Boolean function classes that ha...
Rocco A. Servedio
81
Voted
ISSRE
2007
IEEE
14 years 11 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...