7195 search results - page 367 / 1439 » On Computing Power |
137
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
135
click to vote
PVM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents the concept of parallelisation of a solver for Answer Set Programming (ASP). While there already exist some approaches to parallel ASP solving, there ...
175
click to vote
STOC
2012
ACM
13 years 7 months ago
2012
ACM
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
133
click to vote
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
Adaptive multiagent algorithms based upon the behaviour of social insects are powerful decentralised systems capable of solving complex problems. The intelligence of such a system ...
262
click to vote
CONCUR
2012
Springer
13 years 7 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...