2036 search results - page 152 / 408 » A generic type-and-effect system |
210
Voted
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...
162
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
304
Voted
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
High availability for both data and applications is rapidly becoming a business requirement. While database systems support recovery, providing high database availability, applica...
176
click to vote
STOC
2001
ACM
16 years 7 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
185
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...