Sciweavers

13593 search results - page 585 / 2719
» Performance Analysis of MD5
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 8 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
ECAI
2010
Springer
15 years 8 months ago
Kernel Methods for Revealed Preference Analysis
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
Sébastien Lahaie
ICML
2010
IEEE
15 years 8 months ago
Finite-Sample Analysis of LSTD
In this paper we consider the problem of policy evaluation in reinforcement learning, i.e., learning the value function of a fixed policy, using the least-squares temporal-differe...
Alessandro Lazaric, Mohammad Ghavamzadeh, Ré...
SOFTVIS
2010
ACM
15 years 7 months ago
3D kiviat diagrams for the interactive analysis of software metric trends
Previous techniques for visualizing time-series of multivariate data mostly plot the time along additional axes, are often complex, and does not support intuitive interaction. In ...
Andreas Kerren, Ilir Jusufi
ICIP
2007
IEEE
15 years 7 months ago
Analysis of Utility Functions for Video
In this paper, we formulate the utility functions of distortion and Peak Signal-to-Noise Ratio (PSNR) which are generally used for the performance evaluation of video coding appli...
Cheolhong An, Truong Q. Nguyen