Sciweavers

591 search results - page 90 / 119
» Simulation Input Updating Using Bayesian Techniques
Sort
View
CHI
2006
ACM
15 years 10 months ago
Keepin' it real: pushing the desktop metaphor with physics, piles and the pen
We explore making virtual desktops behave in a more physically realistic manner by adding physics simulation and using piling instead of filing as the fundamental organizational s...
Anand Agarawala, Ravin Balakrishnan
IPPS
2003
IEEE
15 years 3 months ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja
ISLPED
1995
ACM
85views Hardware» more  ISLPED 1995»
15 years 1 months ago
Estimation of energy consumption in speed-independent control circuits
Abstract: We describe a technique to estimate the energy consumed by speed-independent asynchronous (clockless) control circuits. Because speed-independent circuits are hazard-free...
Peter A. Beerel, Cheng-Ta Hsieh, Suhrid A. Wadekar
CIC
2006
124views Communications» more  CIC 2006»
14 years 11 months ago
Chaotic Systems Synchronization in Secure Communication Systems
In this paper, synchronization of two chaotic signals is studied and analyzed. A nonlinear recursive backstepping scheme is utilized to design an appropriate control input signal ...
Ahmad Harb, Wajdi Ahmad
WCE
2007
14 years 11 months ago
A Novel Vector Quantization Approach to Arabic Character Recognition
— In this paper, a novel approach to Arabic letter recognition is proposed. The system is based on the classified vector quantization (CVQ) technique employing the minimum distan...
Ahmad M. Sarhan, Omar I. Al Helalat