1124 search results - page 84 / 225 » Mobile robot programming using natural language |
NIME
2004
Springer
14 years 3 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
AUIC
2005
IEEE
14 years 3 months ago
2005
IEEE
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
MOBICOM
1998
ACM
14 years 2 months ago
1998
ACM
In this paper we introduce universal mobile channels, a le communications abstraction that enables users and service providers to program application-speci c adaptive mobile servi...