1492 search results - page 24 / 299 » Testing Properties of Constraint-Graphs |
130
click to vote
APPROX
2009
Springer
15 years 10 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...
113
click to vote
ITC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
133
click to vote
RE
2005
Springer
15 years 8 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
110
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
In this article we report on our efforts to test and expand the current state-of-the-art in eigenvalue solvers applied to the field of nanotechnology. We singled out the nonlinea...
107
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
We explore the possibility of recognizing the surface material from a single image with unknown illumination, given the shape of the surface. Model-based PCA is used to create a lo...