3353 search results - page 364 / 671 » Laver and set theory |
188
click to vote
ICAIL
2005
ACM
16 years 10 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
165
click to vote
SIGECOM
2005
ACM
16 years 10 days ago
2005
ACM
A set of jobs need to be served by a single server which can serve only one job at a time. Jobs have processing times and incur waiting costs (linear in their waiting time). The j...
177
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
162
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
161
click to vote
CIE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...