Sciweavers

4164 search results - page 172 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
ICC
2009
IEEE
325views Communications» more  ICC 2009»
16 years 1 months ago
Modeling and Analysis for Proactive-Decision Spectrum Handoff in Cognitive Radio Networks
— Spectrum handoff occurs when the primary users appear in the licensed band occupied by the secondary users. Spectrum handoff procedures aim to help the secondary users to vacat...
Chung-Wang Wang, Li-Chung Wang
QEST
2006
IEEE
16 years 15 days ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
NIPS
2000
15 years 7 months ago
Processing of Time Series by Neural Circuits with Biologically Realistic Synaptic Dynamics
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
Thomas Natschläger, Wolfgang Maass, Eduardo D...
RTAS
2009
IEEE
16 years 1 months ago
Modeling and Analysis of Multi-hop Control Networks
Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johan...
MICCAI
2004
Springer
16 years 7 months ago
Real-Time Multi-model Tracking of Myocardium in Echocardiography Using Robust Information Fusion
Automatic myocardial wall motion tracking in ultrasound images is an important step in analysis of the heart function. Existing methods for Myocardial Wall Tracking are not robust ...
Bogdan Georgescu, Xiang Sean Zhou, Dorin Comaniciu...