4460 search results - page 563 / 892 » Formal methods for interactive systems |
188
click to vote
HAPTICS
2010
IEEE
16 years 15 days ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
230
click to vote
ACMACE
2008
ACM
15 years 9 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
233
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Establishing and maintaining cooperation is an enduring problem in multi-agent systems and, although several solutions exist, the increased use of online trading systems, peerto-p...
181
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
196
click to vote
ISSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...