Sciweavers

2697 search results - page 144 / 540
» Developing Gestural Input
Sort
View
DATE
2003
IEEE
84views Hardware» more  DATE 2003»
15 years 10 months ago
Dynamic Functional Unit Assignment for Low Power
A hardware method for functional unit assignment is presented, based on the principle that a functional unit’s power consumption is approximated by the switching activity of its...
Steve Haga, Natasha Reeves, Rajeev Barua, Diana Ma...
121
Voted
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 10 months ago
Measuring Cognitive Load with EventStream Software Framework
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Christoph Aschwanden, Jan Stelovsky
MFCS
1994
Springer
15 years 9 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 9 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...
171
Voted
ICIP
2007
IEEE
15 years 6 months ago
Rendering-Oriented Decoding for Distributed Multi-View Coding System
This paper discusses a system in which multi-view images are captured and encoded in a distributed fashion and a viewer synthesizes a novel view from this data. We developed an ef...
Yuichi Taguchi, Takeshi Naemura