2725 search results - page 262 / 545 » Constraint Solving for Interpolation |
250
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
196
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
173
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
Previous work [5], [2] have developed an approach for estimating shape and albedo from multiple images assuming Lambertian reflectance with single light sources. The main contrib...
186
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
186
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...