4745 search results - page 89 / 949 » Discretization: An Enabling Technique |
145
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
165
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
156
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
142
click to vote
CSDA
2007
15 years 6 months ago
2007
Copulas enable to specify multivariate distributions with given marginals.Various parametric proposals were made in the literature for these quantities, mainly in the bivariate ca...
155
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Channel estimation and multiuser detection are enabling technologies for future generations of wireless applications. However, sophisticated algorithms are required for accurate c...