2024 search results - page 318 / 405 » A Formal Model of Multi-agent Computations |
STOC
1993
ACM
15 years 3 months ago
1993
ACM
In this paper, we study the problem of learning in the presence of classification noise in the probabilistic learning model of Valiant and its variants. In order to identify the cl...
ASIACRYPT
2009
Springer
15 years 5 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
134
click to vote
CONCUR
1998
Springer
15 years 3 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
103
click to vote
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
109
click to vote
SEMWEB
2009
Springer
15 years 3 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...