5084 search results - page 150 / 1017 » Proving Possibility Properties |
163
click to vote
FUIN
2002
15 years 6 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
165
click to vote
COMPSEC
2010
15 years 4 months ago
2010
Abstract A Secret Handshake is a protocol that allows two users to mutually verify one another’s properties, and in case of simultaneous matching, to share a key used to secure s...
178
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
176
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Online learning algorithms have impressive convergence properties when it comes to risk minimization and convex games on very large problems. However, they are inherently sequenti...
163
click to vote
COLING
2010
15 years 1 months ago
2010
Verb classes which integrate a wide range of linguistic properties (Levin, 1993) have proved useful for natural language processing (NLP) applications. However, the real-world use...