Sciweavers

3637 search results - page 355 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
FSTTCS
1998
Springer
15 years 11 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
ICCD
1997
IEEE
78views Hardware» more  ICCD 1997»
15 years 11 months ago
Speeding up Variable Reordering of OBDDs
In this paper, we suggest a block-restricted sifting strategy which is based on the restriction of Rudell's sifting to certain blocks of variables. The application of this st...
Christoph Meinel, Anna Slobodová
AMFG
2007
IEEE
255views Biometrics» more  AMFG 2007»
15 years 10 months ago
A New Probabilistic Model for Recognizing Signs with Systematic Modulations
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
Sylvie C. W. Ong, Surendra Ranganath
BSN
2006
IEEE
150views Sensor Networks» more  BSN 2006»
15 years 10 months ago
Multi-sensor Data Fusion Using the Influence Model
System robustness against individual sensor failures is an important concern in multi-sensor networks. Unfortunately, the complexity of using the remaining sensors to interpolate ...
Wen Dong, Alex Pentland
FPL
2004
Springer
90views Hardware» more  FPL 2004»
15 years 10 months ago
Dual Fixed-Point: An Efficient Alternative to Floating-Point Computation
Abstract. This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provide...
Chun Te Ewe, Peter Y. K. Cheung, George A. Constan...