Sciweavers

1998 search results - page 150 / 400
» Situated Control Rules
Sort
View
LPAR
2005
Springer
15 years 10 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
118
Voted
IUI
2000
ACM
15 years 9 months ago
Creating an empirical basis for adaptation decisions
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
Anthony Jameson, Barbara Großmann-Hutter, Le...
130
Voted
ACHI
2009
IEEE
15 years 8 months ago
Comparing Gesture and Touch for Notification System Interactions
We explore some of the characteristics of multimodal input interaction spaces for notification systems within a multi-tasking environment like a command and control center using t...
Maria Karam, Jason Chong Lee, R. Travis Rose, Fran...
AI50
2006
15 years 8 months ago
Intrinsically Motivated Machines
Abstract. Children seem intrinsically motivated to manipulate, to explore, to test, to learn and they look for activities and situations that provide such learning opportunities. I...
Frédéric Kaplan, Pierre-Yves Oudeyer
ATAL
2008
Springer
15 years 6 months ago
Coordination of first responders under communication and resource constraints
This paper discusses the application of distributed constraint optimization to coordination in disaster management situations under sub-optimal network conditions. It presents an ...
Robert N. Lass, Joseph B. Kopena, Evan Sultanik, D...