6608 search results - page 1240 / 1322 » On the Completeness of Model Checking |
168
click to vote
TPHOL
2007
IEEE
16 years 17 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
181
click to vote
APPROX
2007
Springer
16 years 14 days ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
193
click to vote
ERCIMDL
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
151
click to vote
IWSEC
2007
Springer
16 years 13 days ago
2007
Springer
At Indocrypt 2005, Viet et al., [22] have proposed an anonymous password-authenticated key exchange (PAKE) protocol and its threshold construction both of which are designed for cl...
156
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
We present a new technique, early phase termination, for eliminating idle processors in parallel computations that use barrier synchronization. This technique simply terminates ea...