60 search results - page 4 / 12 » Sound scope headphones |
120
Voted
JLP
2008
15 years 1 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
123
Voted
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
121
click to vote
ICPR
2002
IEEE
15 years 6 months ago
2002
IEEE
Visual information processing technology is very important in the implementation for sensory substitution of visually impaired persons as well as applications to factory automatio...
103
Voted
ENGL
2007
15 years 1 months ago
2007
— Visually impaired find their navigation difficult as they often lack the needed information for bypassing obstacles and hazards. Electronic Travel Aids (ETAs) are devices that ...
127
Voted
HAPTICS
2010
IEEE
15 years 6 months ago
2010
IEEE
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...