1329 search results - page 225 / 266 » Constraint-based model synthesis |
130
click to vote
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
In recent years the Markov Random Field (MRF) has
become the de facto probabilistic model for low-level vision
applications. However, in a maximum a posteriori
(MAP) framework, ...
114
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
The recovery of 3D models from multiple reference images involves not only the extraction of 3D shape, but also of texture. Assuming that all surfaces are Lambertian, the resultin...
125
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
ICCD
2001
IEEE
15 years 10 months ago
2001
IEEE
The formiila-based I<,JJ model is a figiire of merit for the inductive coirpling, and has been used to solve the simrrltaneoris shield insertion and net ordering (SINO) and sim...
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...