1431 search results - page 194 / 287 » Solving Constraints in Model Transformations |
82
Voted
ISPD
1999
ACM
15 years 5 months ago
1999
ACM
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
103
click to vote
WSC
1998
15 years 2 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
115
Voted
ESORICS
2010
Springer
15 years 25 days ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
SIGOPS
2010
14 years 11 months ago
2010
Multi-tier architectures are widely used by internet applications. Guaranteeing the performance, and more generally the quality of service (QoS), of such applications remains a cr...
151
Voted
ICCV
2011
IEEE
14 years 20 days ago
2011
IEEE
This paper presents a novel multi-body multi-view stereo method to simultaneously recover dense depth maps and perform segmentation with the input of a monocular image sequence. U...