Sciweavers

2031 search results - page 143 / 407
» On Tree-Constrained Matchings and Generalizations
Sort
View
CONCUR
2010
Springer
14 years 10 months ago
Conditional Automata: A Tool for Safe Removal of Negligible Events
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
Roberto Segala, Andrea Turrini
ICIP
2007
IEEE
14 years 10 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
CGF
2008
92views more  CGF 2008»
14 years 10 months ago
Pointwise radial minimization: Hermite interpolation on arbitrary domains
In this paper we propose a new kind of Hermite interpolation on arbitrary domains, matching derivative data of arbitrary order on the boundary. The basic idea stems from an interp...
Michael S. Floater, C. Schulz
CORR
2010
Springer
91views Education» more  CORR 2010»
14 years 10 months ago
Structure of Extreme Correlated Equilibria
We exhibit the rich structure of the set of correlated equilibria by analyzing the simplest of polynomial games: the mixed extension of matching pennies. We show that while the co...
Noah D. Stein, Asuman E. Ozdaglar, Pablo A. Parril...
CORR
2010
Springer
139views Education» more  CORR 2010»
14 years 10 months ago
Pushdown Control-Flow Analysis of Higher-Order Programs
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
Christopher Earl, Matthew Might, David Van Horn