3008 search results - page 453 / 602 » Information and Control in Gray-Box Systems |
169
click to vote
SSS
2007
Springer
16 years 19 days ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
163
click to vote
UM
2007
Springer
16 years 19 days ago
2007
Springer
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
163
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
180
click to vote
CSCW
2006
ACM
16 years 14 days ago
2006
ACM
Representations are at work in IT technology. As plans of and for work, they enable cooperation, coordination, accountability and control, which have to be balanced off against ea...
123
click to vote
AUIC
2005
IEEE
16 years 4 days ago
2005
IEEE
Visual concealment of important objects and information by hands or tools can make many tasks more difficult. To alleviate this problem, hands and tools can be made partially tran...