Sciweavers

1029 search results - page 126 / 206
» Probabilistic Recurrence Relations
Sort
View
DM
2010
89views more  DM 2010»
15 years 3 months ago
Large induced subgraphs with equated maximum degree
For a graph G, denote by fk(G) the smallest number of vertices that must be deleted from G so that the remaining induced subgraph has its maximum degree shared by at least k verti...
Yair Caro, Raphael Yuster
121
Voted
TVLSI
2008
151views more  TVLSI 2008»
15 years 3 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
121
Voted
ARSCOM
1998
104views more  ARSCOM 1998»
15 years 3 months ago
A Note on the Road-Coloring Conjecture
Some results relating to the road-coloring conjecture of Alder, Goodwyn, and Weiss, which give rise to an O(n2) algorithm to determine whether or not a given edge-coloring of a gra...
E. Gocka, Walter W. Kirchherr, Edward F. Schmeiche...
125
Voted
CPC
1998
91views more  CPC 1998»
15 years 3 months ago
Complexity and Probability of Some Boolean Formulas
For any Boolean functionf letL(f) be its formulasizecomplexityin the basis f^ 1g. For every n and every k n=2, we describe a probabilistic distribution on formulas in the basis f^...
Petr Savický
125
Voted
CORR
1999
Springer
71views Education» more  CORR 1999»
15 years 3 months ago
New Error Bounds for Solomonoff Prediction
Solomonoff sequence prediction is a scheme to predict digits of binary strings without knowing the underlying probability distribution. We call a prediction scheme informed when i...
Marcus Hutter