4460 search results - page 702 / 892 » Formal methods for interactive systems |
133
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In evolving systems, the topological characteristics of population structure have a pronounced impact on the rate of spread of advantageous alleles, and therefore affect selective...
154
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
165
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Direct human control of multi-robot systems is limited by the cognitive ability of humans to coordinate numerous interacting components. In remote environments, such as those e...
151
click to vote
NIME
2005
Springer
15 years 10 months ago
2005
Springer
The iltur system features a novel method of interaction between expert and novice musicians through a set of musical controllers called Beatbugs. Beatbug players can record live m...