Sciweavers

5085 search results - page 324 / 1017
» Multidimensional Design by Examples
Sort
View
CONCUR
2005
Springer
16 years 20 days ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 11 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
GROUP
1999
ACM
15 years 11 months ago
Modeling collaboration using shared objects
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...
Christian Schuckmann, Jan Schümmer, Peter Sei...
SIGADA
1998
Springer
15 years 11 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford
SIGCSE
1994
ACM
115views Education» more  SIGCSE 1994»
15 years 11 months ago
LLparse and LRparse: visual and interactive tools for parsing
This paper describes instructional tools, LLparse and LRparse, for visualizing and interacting with small examples of LL and LR parsing. These tools can be used to understand the ...
Stephen A. Blythe, Michael C. James, Susan H. Rodg...