3820 search results - page 59 / 764 » Bounded Model Debugging |
GMP
2006
IEEE
15 years 8 months ago
2006
IEEE
AUTOMATICA
2008
15 years 2 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...
119
click to vote
STACS
2009
Springer
15 years 6 months ago
2009
Springer
Here we prove an asymptotically optimal lower bound on the information complexity of the k-party disjointness function with the unique intersection promise, an important special ca...
116
click to vote
FAW
2009
Springer
15 years 6 months ago
2009
Springer
Here we prove an asymptotically optimal lower bound on the information complexity of the k-party disjointness function with the unique intersection promise, an important special ca...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We obtain a lower bound of n 1 k+1 22k (k-1)2k-1 on the k-party randomized communication complexity of the Disjointness function in the `Number on the Forehead' model of mul...