1585 search results - page 43 / 317 » A framework for computer-aided validation |
CEC
2010
IEEE
15 years 28 days ago
2010
IEEE
In this paper we present an original framework to extract representative groups from a dataset, and we validate it over a novel case study. The framework specifies the application ...
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
115
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Models of spatial variation in images are central to a large number of low-level computer vision problems including segmentation, registration, and 3D structure detection. Often, i...
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...