142 search results - page 14 / 29 » Variability encoding: From compile-time to load-time variabi... |
140
Voted
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
158
Voted
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
In many modern video encoders, motion estimation is usually formulated as a Lagrangian cost function that balances motion prediction accuracy and the rate to transmit motion vecto...
107
Voted
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
AbstractEvolutionary Algorithms (EAs) have been used to achieve optimal feedforward control in a number of fedbatch fermentation processes. Typically, the optimization purpose is t...
129
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
125
Voted
ICDM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Triggered by a market relevant application that involves making joint predictions of pedestrian and public transit flows in urban areas, we address the question of how to utili...