1284 search results - page 25 / 257 » On Helping and Interactive Proof Systems |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
The abuse of online games by automated programs, known as game bots, for gaining unfair advantages has plagued millions of participating players with escalating severity in recent...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
ARTMED
2004
13 years 7 months ago
2004
The purpose of a clinical trial is to evaluate a new treatment procedure. When medical researchers conduct a trial, they recruit participants with appropriate health problems and ...
HCI
2007
13 years 9 months ago
2007
An interactive system in which the user can program animated agents visually is introduced: the Visual Agent Programming (VAP) software provides a GUI to program life-like agents. ...
FLAIRS
2008
13 years 10 months ago
2008
Bringing users into the process of content development may help to reduce the time and cost associated with tutoring system development, and may benefit users by deepening their u...