12 search results - page 2 / 3 » TAIPE: Tactical Assistants for Interaction Planning and Exec... |
JAPLL
2006
13 years 4 months ago
2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
WSC
2000
13 years 6 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
IUI
2006
ACM
13 years 11 months ago
2006
ACM
We are reaching a crisis with design of user interfaces for consumer electronics. Flashing 12:00 time indicators, push-andhold buttons, and interminable modes and menus are all sy...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
CHRISTIAN, DAVID B. Strategic Deception in Agents. (Under the direction of Assistant Professor R. Michael Young). Despite its negative ethical connotations, deception is a useful ...
IDA
1999
Springer
13 years 9 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...