Sciweavers

8600 search results - page 646 / 1720
» Measuring with Timed Patterns
Sort
View
FORMATS
2010
Springer
15 years 5 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
ITS
2010
Springer
157views Multimedia» more  ITS 2010»
15 years 11 months ago
A Computational Model of Accelerated Future Learning through Feature Recognition
Accelerated future learning, in which learning proceeds more effectively and more rapidly because of prior learning, is considered to be one of the most interesting measures of ro...
Nan Li, William W. Cohen, Kenneth R. Koedinger
ISCA
1998
IEEE
151views Hardware» more  ISCA 1998»
15 years 11 months ago
Alternative Implementations of Two-Level Adaptive Branch Prediction
As the issue rate and depth of pipelining of high performance Superscalar processors increase, the importance of an excellent branch predictor becomes more vital to delivering the...
Tse-Yu Yeh, Yale N. Patt
197
Voted
MM
2010
ACM
137views Multimedia» more  MM 2010»
15 years 7 months ago
Self-diagnostic peer-assisted video streaming through a learning framework
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
Di Niu, Baochun Li, Shuqiao Zhao
ICDE
2012
IEEE
203views Database» more  ICDE 2012»
13 years 9 months ago
Parameter-Free Determination of Distance Thresholds for Metric Distance Constraints
—The importance of introducing distance constraints to data dependencies, such as differential dependencies (DDs) [28], has recently been recognized. The metric distance constrai...
Shaoxu Song, Lei Chen 0002, Hong Cheng