303 search results - page 47 / 61 » Interfaces as Games, Programs as Strategies |
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
ASSETS
2008
ACM
13 years 9 months ago
2008
ACM
Existing knowledge on how people use speech-based technologies in realistic settings is limited. We are conducting a longitudinal field study, spanning six months, to investigate ...
PPDP
2005
Springer
14 years 29 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
MOZ
2004
Springer
14 years 25 days ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
OZCHI
2009
ACM
14 years 2 months ago
2009
ACM
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...