1413 search results - page 99 / 283 » Bisimilarity of Open Terms |
192
click to vote
AI
2010
Springer
15 years 11 months ago
2010
Springer
Area coverage is one of the emerging problems in multi-robot coordination. In this task a team of robots is cooperatively trying to observe or sweep an entire area, possibly conta...
157
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The progress of GPU (Graphics Processing Unit) technology opens a new avenue for boosting computing power. This work is an attempt to exploit GPU for accelerating VLSI circuit opt...
182
Voted
MFCS
2001
Springer
15 years 10 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
164
Voted
NIME
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
161
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...