914 search results - page 116 / 183 » Descriptions of Game Actions |
APCHI
1998
IEEE
14 years 8 hour ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
ISER
1997
Springer
13 years 12 months ago
1997
Springer
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
TOOLS
1992
IEEE
13 years 11 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
AAAI
2006
13 years 9 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...