Sciweavers

4460 search results - page 702 / 892
» Formal methods for interactive systems
Sort
View
GECCO
2008
Springer
107views Optimization» more  GECCO 2008»
15 years 5 months ago
The influence of scaling and assortativity on takeover times in scale-free topologies
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...
Joshua L. Payne, Margaret J. Eppstein
KDD
2006
ACM
200views Data Mining» more  KDD 2006»
16 years 4 months ago
A Random-Walk Based Scoring Algorithm Applied to Recommender Engines
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
Augusto Pucci, Marco Gori, Marco Maggini
IUI
2006
ACM
15 years 10 months ago
Improving question-answering with linking dialogues
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
Sudeep Gandhe, Andrew S. Gordon, David R. Traum
ICRA
2005
IEEE
137views Robotics» more  ICRA 2005»
15 years 10 months ago
Learning Opportunity Costs in Multi-Robot Market Based Planners
— 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...
Jeff G. Schneider, David Apfelbaum, Drew Bagnell, ...
NIME
2005
Springer
132views Music» more  NIME 2005»
15 years 10 months ago
"iltur" - Connecting Novices and Experts Through Collaborative Improvisation
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...
Gil Weinberg, Scott Driscoll