Sciweavers

4463 search results - page 469 / 893
» computing 2000
Sort
View
TCS
2011
15 years 1 months ago
Parameter estimation for Boolean models of biological networks
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
Elena S. Dimitrova, Luis David García-Puent...
ICPR
2000
IEEE
15 years 11 months ago
Realtime Online Adaptive Gesture Recognition
We introduce an online adaptive algorithm for learning gesture models. By learning gesture models in an online fashion, the gesture recognition process is made more robust, and th...
Andrew D. Wilson, Aaron F. Bobick
UMC
2000
15 years 10 months ago
In-vitro Transcriptional Circuits
The structural similarity of neural networks and genetic regulatory networks to digital circuits, and hence to each other, was noted from the very beginning of their study [1, 2]....
Erik Winfree
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
ICC
2000
IEEE
145views Communications» more  ICC 2000»
15 years 11 months ago
Carrier Frequency Offset Compensation for Uplink of OFDM-FDMA Systems
Abstract—A frequency offset compensation method for OFDMFDMA, that can correct offsets after the DFT via circular convolution, is proposed as an alternative to the direct method ...
Jihoon Choi, Yong Hoon Lee, Changoo Lee, Hae Won J...