16216 search results - page 52 / 3244 » Effective Modeling with Constraints |
124
Voted
MCS
2007
Springer
15 years 3 months ago
2007
Springer
The paper deals with a structural optimization of composite materials with periodic microstructures invoking an elasto-plasticity model with the von Mises yield criterion. Closest...
136
click to vote
IJIG
2002
15 years 3 months ago
2002
This paper presents an approach for reconstructing a realistic 3D model of a building from its uncalibrated video sequences taken by a hand-held camera. The novelty of this approa...
103
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
124
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
— Typically, placement algorithms attempt to minimize the total net length of a printed circuit board (PCB). However, an MCM’s increased throughput and dense circuitry can easi...
117
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...