Sciweavers

1151 search results - page 46 / 231
» The role of game theory in human computation systems
Sort
View
HRI
2009
ACM
15 years 6 months ago
The oz of wizard: simulating the human for interaction research
The Wizard of Oz experiment method has a long tradition of acceptance and use within the field of human-robot interaction. The community has traditionally downplayed the importanc...
Aaron Steinfeld, Odest Chadwicke Jenkins, Brian Sc...
BCSHCI
2007
15 years 1 months ago
Habitats: a simple way to bridge artifacts, professions, and theories in ubiquitous design
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
Martin Brynskov, Gunnar Kramp
JIIS
2008
104views more  JIIS 2008»
14 years 11 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
ECBS
2005
IEEE
101views Hardware» more  ECBS 2005»
15 years 5 months ago
Self-Managing Systems: A Control Theory Foundation
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh...
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
14 years 10 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...