4426 search results - page 733 / 886 » Concurrent Constraint Programming |
112
click to vote
ISPD
1999
ACM
15 years 9 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...
109
click to vote
ICIAP
1999
ACM
15 years 9 months ago
1999
ACM
An algorithm to generate background sprite images from multiview image sequences is presented. A dynamic programming algorithm, using a multiview matching cost as well as pure geo...
125
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
127
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
147
click to vote
ISLPED
1996
ACM
15 years 8 months ago
1996
ACM
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...