4099 search results - page 63 / 820 » A Framework for Interactive Proof |
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Interactive narrative allows the user to play a role in a story and interact with other characters controlled by the system. Directorial control is a procedure for dynamically tun...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...
IJIM
2010
14 years 7 months ago
2010
This paper presents a description of an interactive satellite TV based mobile learning (STV-ML) framework, in which a satellite TV station is used as an integral part of a comprehe...
CRV
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...