1716 search results - page 242 / 344 » Proving Conditional Termination |
135
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
120
Voted
AVI
2006
15 years 5 months ago
2006
Input multimodality combining speech and hand gestures has motivated numerous usability studies. Contrastingly, issues relating to the design and ergonomic evaluation of multimoda...
130
click to vote
APAL
2010
15 years 4 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
126
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this note, we address the theoretical properties of p, a class of compressed sensing decoders that rely on p minimization with p (0, 1) to recover estimates of sparse and compr...
137
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current...