3820 search results - page 567 / 764 » Bounded Model Debugging |
108
click to vote
MSWIM
2004
ACM
15 years 8 months ago
2004
ACM
— Providing delay guarantees to time-sensitive traffic in future wireless multimedia networks is a challenging issue. This is due to the time-varying link capacities and the vari...
137
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
118
Voted
CC
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
COLT
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of learning a general graph using edge-detecting queries. In this model, the learner may query whether a set of vertices induces an edge of the hidden grap...
117
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
It is well-known that n players connected only by pairwise secure channels can achieve multi-party computation secure against an active adversary if and only if – t < n/2 of t...