An interactive approach for situated task specification through verbal instructions.
Çetin MeriçliSteven D. KleeJack PaparianManuela M. VelosoPublished in: AAMAS (2014)
Keyphrases
- ims qti
- case study
- high level
- formal specification
- interactive video
- graphical interface
- formal verification
- computer graphics
- database
- user friendly
- virtual reality
- provably correct
- reactive systems
- highly interactive
- computer programs
- user interaction
- three dimensional
- image processing
- metadata
- information systems
- social networks
- data sets