287 search results - page 18 / 58 » Mixed Strand Spaces |
JGO
2008
13 years 8 months ago
2008
Two-stage stochastic mixed-integer programming (SMIP) problems with recourse are generally difficult to solve. This paper presents a first computational study of a disjunctive cut...
CAEPIA
2007
Springer
14 years 3 months ago
2007
Springer
There exist various narrative systems, focused on different parts of the complex process of story generation. Some of them are oriented to content planning, and some other to sent...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
ASPDAC
2007
ACM
14 years 25 days ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
SIAMJO
2008
13 years 8 months ago
2008
We propose a new class of stochastic integer programs whose special features are dominance constraints induced by mixed-integer linear recourse. For these models, we establish clo...