7213 search results - page 215 / 1443 » Automated model grouping |
149
click to vote
EDOC
2003
IEEE
15 years 9 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...
159
click to vote
KBSE
2005
IEEE
15 years 9 months 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...
132
click to vote
KDD
2004
ACM
15 years 9 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...
157
click to vote
SMA
2003
ACM
15 years 9 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...
152
click to vote
MSS
1999
IEEE
15 years 8 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...