5214 search results - page 817 / 1043 » The Online Specialization Problem |
157
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globallycomplete probabilistic deduction with conditional constraints ...
150
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...
164
click to vote
ICCD
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract— In this paper we consider the problem of clustering sequential circuits subject to a bound on the area of each cluster, with the objective of minimizing the clock perio...
165
click to vote
QCQC
1998
Springer
15 years 11 months ago
1998
Springer
In order to design a quantum circuit that performs a desired quantum computation, it is necessary to find a decomposition of the unitary matrix that represents that computation in ...
191
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes a framework for providing the ability to use multiple specialized data parallel libraries and/or languages within a single application. The ability to use mul...