Sciweavers

1842 search results - page 136 / 369
» Measurement theory in linguistics
Sort
View
TELSYS
2002
104views more  TELSYS 2002»
15 years 25 days ago
The Analysis of Queues with Time-Varying Rates for Telecommunication Models
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...
William A. Massey
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 11 months ago
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
Martin Fränzle, Tino Teige, Andreas Eggers
JMLR
2010
92views more  JMLR 2010»
14 years 8 months ago
Posterior distributions are computable from predictive distributions
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
Cameron E. Freer, Daniel M. Roy
CHI
2003
ACM
16 years 1 months ago
Looks good to me
The evaluation of grammar inference systems is clearly a non-trivial task, as it is possible to have more than one correct grammar for a given language. The `looks good to me'...
Linda Roberts, Leigh Rankin, Edward A. Silver, Dar...
ICDAR
2007
IEEE
15 years 7 months ago
Online Handwritten Japanese Character String Recognition Incorporating Geometric Context
This paper describes an online handwritten Japanese character string recognition system integrating scores of geometric context, character recognition, and linguistic context. We ...
X.-D. Zhou, J.-L. Yu, C.-L. Liu, Takeshi Nagasaki,...