Sciweavers

64 search results - page 1 / 13
» Gesture-Based Programming: A Preliminary Demonstration
Sort
View
ICRA
1999
IEEE
115views Robotics» more  ICRA 1999»
13 years 9 months ago
Gesture-Based Programming: A Preliminary Demonstration
This paper explores Gesture-Based Programming as a paradigm for programming robotic agents. Gesture-Based Programming is a form of programming by human demonstration that focuses ...
Richard M. Voyles, Pradeep K. Khosla
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
13 years 10 months ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...
VL
2005
IEEE
144views Visual Languages» more  VL 2005»
13 years 10 months ago
Gestural Musical Improvisation and Programming
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
Peter Khooshabeh, Ethan Smith, John Thomspon
ICLP
2009
Springer
14 years 5 months ago
Answer Set Programming with Constraints Using Lazy Grounding
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
Agostino Dovier, Alessandro Dal Palù, Enric...
ESOP
2011
Springer
12 years 8 months ago
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
Antoine Miné