7213 search results - page 215 / 1443 » Automated model grouping |
188
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
200
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
173
click to vote
KDD
2004
ACM
15 years 12 months ago
2004
ACM
Part numbers are widely used within an enterprise throughout the manufacturing process. The point of entry of such part numbers into this process is normally via a Bill of Materia...
188
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...
188
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...