3820 search results - page 234 / 764 » Bounded Model Debugging |
109
click to vote
COCO
2010
Springer
15 years 7 months ago
2010
Springer
We describe a new approach for the problem of finding rigid matrices, as posed by Valiant [Val77], by connecting it to the, seemingly unrelated, problem of proving lower bounds f...
136
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
117
Voted
AAAI
2006
15 years 4 months ago
2006
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
111
Voted
ICONIP
2004
15 years 4 months ago
2004
Abstract. Mutual Information (MI) is a long studied measure of coding efficiency, and many attempts to apply it to population coding have been made. However, this is a computationa...
105
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the multipath fading relay channel in the limit of a large bandwidth, and in the non-coherent setting, where the channel state is unknown to all terminals, including...