Sciweavers

384 search results - page 62 / 77
» Temporal Development Methods for Agent-Based
Sort
View
ICASSP
2008
IEEE
14 years 3 months ago
Stability analysis of the consensus-based distributed LMS algorithm
We deal with consensus-based online estimation and tracking of (non-) stationary signals using ad hoc wireless sensor networks (WSNs). A distributed (D-) least-mean square (LMS) l...
Ioannis D. Schizas, Gonzalo Mateos, Georgios B. Gi...
ISQED
2007
IEEE
125views Hardware» more  ISQED 2007»
14 years 3 months ago
Modeling of PMOS NBTI Effect Considering Temperature Variation
Negative bias temperature instability (NBTI) has come to the forefront of critical reliability phenomena in advanced CMOS technology. In this paper, we propose a fast and accurate...
Hong Luo, Yu Wang 0002, Ku He, Rong Luo, Huazhong ...
HYBRID
2007
Springer
14 years 2 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
IPPS
2006
IEEE
14 years 2 months ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
ICCV
2005
IEEE
14 years 2 months ago
High Resolution Tracking of Non-Rigid 3D Motion of Densely Sampled Data Using Harmonic Maps
We present a novel fully automatic method for high resolution, non-rigid dense 3D point tracking. High quality dense point clouds of non-rigid geometry moving at video speeds are ...
Yang Wang, Mohit Gupta, Song Zhang 0002, Sen Wang,...