6978 search results - page 1027 / 1396 » On Proofs in System P |
201
click to vote
JANCL
2007
15 years 7 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
263
click to vote
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
Awareness of others' interests can lead to fruitful collaborations, friendships and positive social change. Interviews of groups involved in both research and corporate work r...
207
click to vote
SIAMCOMP
2000
15 years 7 months ago
2000
We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with process cra...
220
click to vote
VLDB
2002
ACM
15 years 7 months ago
2002
ACM
RTMonitor is a real-time data management system for traffic navigation applications. In our system, mobile vehicles initiate time-constrained navigation requests and RTMonitor cal...
191
click to vote
SIAMSC
2010
15 years 6 months ago
2010
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...