Sciweavers

41 search results - page 7 / 9
» Exploring New Languages with HAIRCUT at CLEF 2005
Sort
View
CHI
2005
ACM
14 years 7 months ago
Reach: dynamic textile patterns for communication and social expression
In the research project `Reach', we investigate the potential for new forms of communication and expression to be incorporated dynamically and interactively into the things t...
Margot Jacobs, Linda Worbin
DATE
2005
IEEE
121views Hardware» more  DATE 2005»
14 years 18 days ago
C Compiler Retargeting Based on Instruction Semantics Models
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
Jianjiang Ceng, Manuel Hohenauer, Rainer Leupers, ...
TGC
2005
Springer
14 years 14 days ago
A General Name Binding Mechanism
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
Michele Boreale, Maria Grazia Buscemi, Ugo Montana...
HT
2005
ACM
14 years 16 days ago
A tactile web browser for the visually disabled
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...
Martin Rotard, Sven Knödler, Thomas Ertl
SOCO
2005
Springer
14 years 14 days ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe