358 search results - page 32 / 72 » A Verification Methodology for Model Fields |
SMI
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...
109
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
100
click to vote
PGLDB
2003
15 years 1 months ago
2003
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
110
click to vote
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
AAAI
1993
15 years 1 months ago
1993
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...