1585 search results - page 19 / 317 » A framework for computer-aided validation |
145
click to vote
CCIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. As an ongoing effort to develop a computer aided system for the detection of masses on mammograms, we propose on this work a new model-based segmentation algorithm. The a...
175
click to vote
DISOPT
2011
14 years 9 months ago
2011
Motivated by an application in highway pricing, we consider the problem that consists in setting profit-maximizing tolls on a clique subset of a multicommodity transportation net...
135
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
— Deterministic approaches to model validation for robust control are investigated. In common deterministic model validation approaches, a trade-off between disturbances and mode...
163
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
238
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a new post-silicon validation problem for diagnosing systematic timing errors. We illustrate the differences between timing validation and the traditional log...