Sciweavers

462 search results - page 76 / 93
» Covering a Tree by a Forest
Sort
View
DCC
2006
IEEE
14 years 7 months ago
Optimal Prefix Codes for Some Families of Two-Dimensional Geometric Distributions
Lossless compression is studied for pairs of independent integer-valued symbols emitted by a source with a geometric probability distribution of parameter q (0, 1). Optimal prefix...
Alfredo Viola, Frédérique Bassino, G...
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
14 years 1 months ago
Use of statistical timing analysis on real designs
A vast literature has been published on Statistical Static Timing Analysis (SSTA), its motivations, its different implementations and their runtime/accuracy trade-offs. However, v...
A. Nardi, Emre Tuncer, S. Naidu, A. Antonau, S. Gr...
KDD
1995
ACM
112views Data Mining» more  KDD 1995»
13 years 11 months ago
Learning First Order Logic Rules with a Genetic Algorithm
This paper introduces a newalgorithm called SIAO1 for learning first order logic rules withgenetic algorithms. SIAO1uses the covering principle developed in AQwhereseed examplesar...
Sébastien Augier, Gilles Venturini, Yves Ko...
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 7 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
TVLSI
2002
78views more  TVLSI 2002»
13 years 7 months ago
Managing on-chip inductive effects
With process technology and functional integration advancing steadily, chips are continuing to grow in area while critical dimensions are shrinking. This has led to the emergence o...
Yehia Massoud, Steve S. Majors, Jamil Kawa, Tareq ...