3820 search results - page 429 / 764 » Bounded Model Debugging |
129
click to vote
SOFSEM
1997
Springer
15 years 8 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
130
Voted
ICDE
1994
IEEE
15 years 8 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
120
click to vote
STOC
1990
ACM
15 years 8 months ago
1990
ACM
We present randomized algorithms for two sorting problems. In the local sorting problem, a graph is given in which each vertex is assigned an element of a total order, and the task...
127
click to vote
COMPLEX
2009
Springer
15 years 7 months ago
2009
Springer
The causal states of computational mechanics define the minimal sufficient (prescient) memory for a given stationary stochastic process. They induce the -machine which is a hidden...
126
click to vote
COLT
2004
Springer
15 years 7 months ago
2004
Springer
We investigate label efficient prediction, a variant, proposed by Helmbold and Panizza, of the problem of prediction with expert advice. In this variant, the forecaster, after gues...