Sciweavers

2136 search results - page 120 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
114
Voted
ICCS
2007
Springer
15 years 7 months ago
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
Shoupeng Han, Kedi Huang
ICCAD
2009
IEEE
113views Hardware» more  ICCAD 2009»
14 years 10 months ago
A performance analytical model for Network-on-Chip with constant service time routers
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
Nikita Nikitin, Jordi Cortadella
116
Voted
BMCBI
2004
121views more  BMCBI 2004»
15 years 18 days ago
Asynchronous adaptive time step in quantitative cellular automata modeling
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
Hao Zhu, Peter Y. H. Pang, Yan Sun, Pawan Dhar
112
Voted
VTC
2008
IEEE
207views Communications» more  VTC 2008»
15 years 7 months ago
Practical Results of Hybrid AOA/TDOA Geo-Location Estimation in CDMA Wireless Networks
—This paper describes a hybrid AOA/TODA Mobile Station (MS) location estimation method based on the CDMA wireless communications signals. The method utilized estimates the Angle ...
Ali Broumandan, Tao Lin, John Nielsen, Géra...
CVPR
2009
IEEE
1081views Computer Vision» more  CVPR 2009»
16 years 7 months ago
Learning Real-Time MRF Inference for Image Denoising
Many computer vision problems can be formulated in a Bayesian framework with Markov Random Field (MRF) or Conditional Random Field (CRF) priors. Usually, the model assumes that ...
Adrian Barbu (Florida State University)