Sciweavers

122 search results - page 23 / 25
» Weighted automata with discounting
Sort
View
IANDC
2011
119views more  IANDC 2011»
13 years 2 months ago
Quantitative Kleene coalgebras
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
SAC
2002
ACM
13 years 6 months ago
Option pricing under model and parameter uncertainty using predictive densities
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
F. Oliver Bunnin, Yike Guo, Yuhe Ren
EJASP
2010
116views more  EJASP 2010»
13 years 1 months ago
Data Fusion for Improved Respiration Rate Estimation
Abstract--We present an application of a modified KalmanFilter (KF) framework for data fusion to the estimation of respiratory rate from multiple physiological sources which is rob...
Shamim Nemati, Atul Malhotra, Gari D. Clifford
ATVA
2006
Springer
102views Hardware» more  ATVA 2006»
13 years 10 months ago
A Semantic Framework for Test Coverage
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
Laura Brandán Briones, Ed Brinksma, Mari&eu...
ACL
2003
13 years 8 months ago
Generalized Algorithms for Constructing Statistical Language Models
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
Cyril Allauzen, Mehryar Mohri, Brian Roark