279 search results - page 37 / 56 » Constructive Interval Disjunction |
120
Voted
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
104
click to vote
RANDOM
1999
Springer
15 years 6 months ago
1999
Springer
We investigate an online version of a basic scheduling problem where a set of jobs has to be scheduled on a number of identical machines so as to minimize the makespan. The job pr...
209
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
We propose a framework, called MIC, which adopts an information-theoretic approach to address the problem of quantitative association rule mining. In our MIC framework, we first d...
102
click to vote
DCC
2010
IEEE
15 years 8 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...
114
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...