10148 search results - page 123 / 2030 » Optimal sub-graphical models |
108
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
127
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Investors vary with respect to their expected return and aversion to associated risk, and hence also vary in their performance expectations of the stock market portfolios they hol...
138
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper proposes a novel two-stage optimization method for robust Model Predictive Control (RMPC) with Gaussian disturbance and state estimation error. Since the dis...
220
Voted
ACMMPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
127
Voted
WSC
2004
15 years 5 months ago
2004
This tutorial will focus on several new real-world applications that have been developed using an integrated set of methods, including Tabu Search, Scatter Search, Mixed Integer P...