Sciweavers

591 search results - page 90 / 119
» Simulation Input Updating Using Bayesian Techniques
Sort
View
CHI
2006
ACM
16 years 1 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 6 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 5 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»
15 years 2 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
15 years 2 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