2853 search results - page 213 / 571 » On Coherence in Computer Algebra |
150
Voted
COMMA
2010
14 years 12 months ago
2010
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
138
click to vote
COORDINATION
2009
Springer
16 years 5 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
163
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
153
click to vote
PODS
2006
ACM
16 years 5 months ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
119
Voted
COLING
1990
15 years 6 months ago
1990
This paper deals with two linguistic phenomena which are usually considered cases of ill-formedness by the computational linguistics community: intersentential ellipsis and coordi...