507 search results - page 44 / 102 » Web-R: a Tool to Record |
ICALT
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
We introduce the Marco Polo Localization approach, where we apply sound as a tool for gathering range measurements between robots, and use those to solve a range-only Simultaneous...
PLDI
2000
ACM
14 years 12 days ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
We describe ViCoS, a tool for constructing and visualising conceptual spaces in the area of language documentation. ViCoS allows users to enrich existing lexical information about ...
WOTUG
2008
13 years 9 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...