Sciweavers

34229 search results - page 268 / 6846
» Power-aware computing systems
Sort
View
IWUC
2004
15 years 5 months ago
On Uncertainty in Context-Aware Computing: Appealing to High-Level and Same-Level Context for Low-Level Context Verification
There is an inherent chasm between the real-world and the world that can be perceived by computer systems, yielding uncertainty and ambiguity in system perceived context, with cons...
Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky
NIPS
1993
15 years 5 months ago
Computational Elements of the Adaptive Controller of the Human Arm
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...
Reza Shadmehr, Ferdinando A. Mussa-Ivaldi
CORR
2004
Springer
123views Education» more  CORR 2004»
15 years 4 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui
TVLSI
1998
118views more  TVLSI 1998»
15 years 4 months ago
Automatic generation of error control codes for computer applications
— This paper proposes a methodology, implemented in a tool, to automatically generate the main classes of error control codes (ECC’s) widely applied in computer memory systems ...
Franco Fummi, Donatella Sciuto, Cristina Silvano
ICIAP
2005
ACM
16 years 4 months ago
Computer Vision for Interactive Skewed Video Projection
We present an uncalibrated projector-camera system in which the information displayed onto a planar screen can be interactively warped according to an arbitrary planar homography. ...
Alessandro Brazzini, Carlo Colombo