Sciweavers

29143 search results - page 280 / 5829
» A Sortation System Model
Sort
View
ICCV
2001
IEEE
16 years 8 months ago
Model-Based Bundle Adjustment with Application to Face Modeling
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...
Ying Shan, Zicheng Liu, Zhengyou Zhang
HICSS
2007
IEEE
156views Biometrics» more  HICSS 2007»
16 years 27 days ago
Bridging Business Value Models and Process Models in Aviation Value Webs via Possession Rights
While exploring value webs -cooperating enterprises- it is common to view such webs from multiple perspectives: (1) the business value perspective, (2) the business process perspe...
Vincent Pijpers, Jaap Gordijn
CAV
2005
Springer
173views Hardware» more  CAV 2005»
16 years 3 days ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
16 years 15 days ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
CD
2005
Springer
16 years 3 days ago
Modelling Deployment Using Feature Descriptions and State Models for Component-Based Software Product Families
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
Slinger Jansen, Sjaak Brinkkemper