4042 search results - page 292 / 809 » The EXODUS Optimizer Generator |
187
click to vote
SIAMJO
2000
15 years 6 months ago
2000
Let F be a compact subset of the n-dimensional Euclidean space Rn represented by (finitely or infinitely many) quadratic inequalities. We propose two methods, one based on successi...
207
click to vote
AEI
1999
15 years 6 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
186
click to vote
JFP
2002
15 years 6 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
189
click to vote
KBS
2002
15 years 6 months ago
2002
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...
163
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
We review the application of statistical mechanics methods to the study of online learning of a drifting concept in the limit of large systems. The model where a feed-forward netwo...