5227 search results - page 652 / 1046 » Enterprise modeling using class and instance models |
164
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
164
click to vote
SMA
2005
ACM
16 years 11 days ago
2005
ACM
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
172
click to vote
ESA
2003
Springer
16 years 1 days ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
199
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
153
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...