14084 search results - page 327 / 2817 » A Theory for Game Theories |
154
click to vote
PODC
2005
ACM
16 years 11 days ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
160
click to vote
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
166
click to vote
ISMIR
2005
Springer
16 years 9 days ago
2005
Springer
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
165
click to vote
ACMDIS
2004
ACM
16 years 7 days ago
2004
ACM
In this paper we discuss a real world problem encountered during recent fieldwork: that of providing information in public settings when the information has both public and privat...
181
click to vote
ACOM
2004
Springer
16 years 6 days ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...