1585 search results - page 15 / 317 » A framework for computer-aided validation |
109
click to vote
SMA
2008
ACM
14 years 10 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
ORL
2008
14 years 11 months ago
2008
Consider the problem of maximizing the toll revenue collected on a multi-commodity transportation network. This fits a bilevel framework where a leader sets tolls, while users res...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
102
click to vote
FLAIRS
1998
15 years 1 months ago
1998
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Traditional Computer-Aided Teaching and Learning (CAT/CAL) environments in multimedia-based teleeducation do not empower knowledge consumers (trainees, students etc.) to practice ...