Sciweavers

3468 search results - page 227 / 694
» Solid and physical modeling
Sort
View
FMCO
2008
Springer
110views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Reusable Architectural Decision Model for Model and Metadata Repositories
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
Christine Mayr, Uwe Zdun, Schahram Dustdar
NSDI
2008
15 years 9 months ago
DieCast: Testing Distributed Systems with an Accurate Scale Model
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
Diwaker Gupta, Kashi Venkatesh Vishwanath, Amin Va...
ENDM
2000
174views more  ENDM 2000»
15 years 6 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
CVPR
2005
IEEE
16 years 8 months ago
A Unified Optimization Based Learning Method for Image Retrieval
In this paper, an optimization based learning method is proposed for image retrieval from graph model point of view. Firstly, image retrieval is formulated as a regularized optimi...
Hanghang Tong, Jingrui He, Mingjing Li, Wei-Ying M...
159
Voted
ICCV
1999
IEEE
16 years 8 months ago
Roxels: Responsibility Weighted 3D Volume Reconstruction
This paper examines the problem of reconstructing a voxelized representation of 3D space from a series of images. An iterative algorithm is used to find the scene model which join...
Jeremy S. De Bonet, Paul A. Viola