1399 search results - page 21 / 280 » Multi-party Finite Computations |
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
CG
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its t...
COMPUTING
2002
13 years 9 months ago
2002
We consider a general framework for analysing the convergence of multi-grid solvers applied to finite element discretisations of mixed problems, both of conforming and nonconformi...
COMPUTING
2006
13 years 10 months ago
2006
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We present several new characterizations of correlated equilibria in games with continuous utility functions. These have the advantage of being more computationally and analytical...