Sciweavers

2286 search results - page 99 / 458
» Statistical timing analysis based on a timing yield model
Sort
View
FORMATS
2007
Springer
15 years 8 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
183
Voted
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 8 months ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato
ICC
2009
IEEE
325views Communications» more  ICC 2009»
15 years 11 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
CVPR
2011
IEEE
15 years 27 days ago
Real Time Head Pose Estimation with Random Regression Forests
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...
Gabriele Fanelli, Juergen Gall, Luc VanGool
ANSS
2007
IEEE
15 years 11 months ago
Failure Prediction in Computational Grids
Accurate failure prediction in Grids is critical for reasoning about QoS guarantees such as job completion time and availability. Statistical methods can be used but they suffer f...
Woochul Kang, Andrew S. Grimshaw