7778 search results - page 1290 / 1556 » Designing Controllers for Reachability |
122
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
145
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper details results of an experiment to empirically evaluate the effectiveness and user acceptability of human-like synthetic agents in a multi-modal electronic retail scen...
127
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
Binary instrumentation facilitates the insertion of additional code into an executable in order to observe or modify the executable's behavior. There are two main approaches t...
125
Voted
ACNS
2010
Springer
15 years 8 months ago
2010
Springer
We propose COP, a client-side system for protecting children’s online privacy and empowering parental control over children’s information disclosure with little manual effort. ...
132
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...