9 search results - page 2 / 2 » Proof Pearl: Using Combinators to Manipulate let-Expressions... |
GRAPHICSINTERFACE
2004
13 years 7 months ago
2004
This paper describes an Augmented Reality (AR) Videoconferencing System, which is a novel remote collaboration tool combining a desktop-based AR system and a videoconference modul...
VL
1996
IEEE
13 years 10 months ago
1996
IEEE
In this paper, we show how visual programming can be used to teach binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating tree fra...
SP
2008
IEEE
13 years 5 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
TIT
2008
13 years 5 months ago
2008
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...