963 search results - page 94 / 193 » $M$-Solid Varieties of Languages |
ICALP
2003
Springer
14 years 2 months ago
2003
Springer
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...
IFIP
2003
Springer
14 years 2 months ago
2003
Springer
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...
RTAS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
KR
2010
Springer
14 years 1 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
ADC
2000
Springer
14 years 1 months ago
2000
Springer
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...