3318 search results - page 306 / 664 » The Weak Instance Model |
125
click to vote
FOCS
2000
IEEE
15 years 9 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
155
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
173
click to vote
IWPC
1996
IEEE
15 years 9 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
150
click to vote
COLT
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of classifying data in a given taxonomy when classifications associated with multiple and/or partial paths are allowed. We introduce an incremental algorithm u...
126
click to vote
ECOI
2006
15 years 5 months ago
2006
Ecological data can be difficult to collect, and as a result, some important temporal ecological datasets contain irregularly sampled data. Since many temporal modelling technique...