Sciweavers

846 search results - page 66 / 170
» The Use of Z
Sort
View
FORMATS
2010
Springer
13 years 7 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
ICB
2009
Springer
197views Biometrics» more  ICB 2009»
13 years 6 months ago
Dynamic Texture Based Gait Recognition
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
Vili Kellokumpu, Guoying Zhao, Stan Z. Li, Matti P...
IJUFKS
2010
77views more  IJUFKS 2010»
13 years 6 months ago
How to Handle Interval solutions for Cooperative Interval Games
Interval uncertainty affects our decision making activities on a daily basis making the data structure of intervals of real numbers more and more popular in theoretical models and...
Rodica Branzei, Stef Tijs, S. Z. Alparslan Gö...
CORR
2011
Springer
213views Education» more  CORR 2011»
13 years 4 months ago
Adapting to Non-stationarity with Growing Expert Ensembles
Forecasting sequences by expert ensembles generally assumes stationary or near-stationary processes; however, in complex systems and many real-world applications, we are frequentl...
Cosma Rohilla Shalizi, Abigail Z. Jacobs, Aaron Cl...
DCC
2011
IEEE
13 years 4 months ago
Scalar Quantization for Relative Error
Quantizers for probabilistic sources are usually optimized for mean-squared error. In many applications, maintaining low relative error is a more suitable objective. This measure ...
John Z. Sun, Vivek K. Goyal