1615 search results - page 214 / 323 » Computer science and decision theory |
167
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
186
click to vote
SIGECOM
2005
ACM
16 years 12 days ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...
203
click to vote
MFCS
2005
Springer
16 years 10 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
188
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...
152
click to vote
RELMICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...