Sciweavers

3001 search results - page 389 / 601
» Recursive type generativity
Sort
View
DISOPT
2008
81views more  DISOPT 2008»
15 years 6 months ago
Intermediate integer programming representations using value disjunctions
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
Matthias Köppe, Quentin Louveaux, Robert Weis...
CGF
2006
156views more  CGF 2006»
15 years 6 months ago
Semantic Photo Synthesis
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
Matthew Johnson, Gabriel J. Brostow, Jamie Shotton...
EOR
2006
128views more  EOR 2006»
15 years 6 months ago
Scatter search for project scheduling with resource availability cost
This paper considers a project scheduling problem with the objective of minimizing resource availability costs, taking into account a deadline for the project and precedence relat...
Denise Sato Yamashita, Vinícius Amaral Arme...
IVC
2006
180views more  IVC 2006»
15 years 6 months ago
Active appearance models with occlusion
Active Appearance Models (AAMs) are generative parametric models that have been successfully used in the past to track faces in video. A variety of video applications are possible...
Ralph Gross, Iain Matthews, Simon Baker
SIAMAM
2008
76views more  SIAMAM 2008»
15 years 6 months ago
Stability of Solitary Waves in a Semiconductor Drift-Diffusion Model
We consider a macroscopic (drift-diffusion) model describing a simple microwave generator, consisting of a special type of semiconductor material that, when biased above a certain ...
C. M. Cuesta, C. Schmeiser