146 search results - page 23 / 30 » A Virtual File System for Source Program Editing |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper presents our expressive facial speech synthesis system Eface, for a social or service robot. Eface aims at enabling a robot to deliver information clearly with empat...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
VEE
2006
ACM
14 years 2 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
TIC
2000
Springer
14 years 23 hour ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
EGOV
2003
Springer
14 years 1 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...