Sciweavers

11063 search results - page 144 / 2213
» On the existence of universal models
Sort
View
DSS
2011
14 years 10 months ago
A multi-objective optimization for green supply chain network design
: We study a new supply chain network design problem with environmental concerns. We are interested in the environmental investments decisions in the design phase and propose a mul...
Fan Wang, Xiaofan Lai, Ning Shi
FOSSACS
2011
Springer
14 years 10 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel
BPM
2007
Springer
125views Business» more  BPM 2007»
16 years 19 days ago
What Makes Process Models Understandable?
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...
Jan Mendling, Hajo A. Reijers, Jorge Cardoso
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
16 years 14 days ago
View Planning for Automated Site Modeling
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
Paul Blaer, Peter K. Allen
CVPR
2009
IEEE
17 years 1 months ago
A Stereo Approach that Handles the Matting Problem via Image Warping
We propose an algorithm that simultaneously extracts disparities and alpha matting information given a stereo image pair. Our method divides the reference image into a set of ov...
Michael Bleyer (Vienna University of Technology), ...