3199 search results - page 431 / 640 » Variability in Automation System Models |
195
click to vote
CCO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
252
click to vote
RT
2005
Springer
16 years 8 days ago
2005
Springer
3D Face modeling is still one of the biggest challenges in computer graphics. In this paper we present a novel framework that acquires the 3D shape, texture, pose and illumination...
185
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
190
click to vote
EOR
2007
15 years 6 months ago
2007
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
173
click to vote
BMVC
2010
2010
Improved Anatomical Landmark Localization in Medical Images Using Dense Matching of Graphical Models
15 years 4 months ago
We propose a method for reliably and accurately identifying anatomical landmarks in 3D CT volumes based on dense matching of parts-based graphical models. Such a system can be use...