Sciweavers

2040 search results - page 86 / 408
» On the Complexity of Error Explanation
Sort
View
ICC
2009
IEEE
121views Communications» more  ICC 2009»
13 years 6 months ago
Three Layered Hidden Markov Models for Binary Digital Wireless Channels
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
Omar S. Salih, Cheng-Xiang Wang, David I. Laurenso...
CORR
2011
Springer
174views Education» more  CORR 2011»
13 years 27 days ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato
POPL
2006
ACM
14 years 9 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...
SARA
2007
Springer
14 years 3 months ago
Boosting MUS Extraction
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
Santiago Macho González, Pedro Meseguer
HICSS
2000
IEEE
102views Biometrics» more  HICSS 2000»
14 years 1 months ago
Strategic Behavior in Spot Markets for Electricity when Load is Stochastic
In the first part of the paper, daily price data for the past three summer seasons in the PJM wholesale market are used to estimate a stochastic regime switching model. These data...
Timothy Mount