Sciweavers

686 search results - page 60 / 138
» How Bayesians Debug
Sort
View
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
14 years 2 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
ICPP
1999
IEEE
14 years 1 months ago
An Offline Algorithm for Dimension-Bound Analysis
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
Paul A. S. Ward
CP
1998
Springer
14 years 1 months ago
Error-Correcting Source Code
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
FGCN
2008
IEEE
130views Communications» more  FGCN 2008»
14 years 3 months ago
Word Sense Disambiguation Based on Bayes Model and Information Gain
Word sense disambiguation has always been a key problem in Natural Language Processing. In the paper, we use the method of Information Gain to calculate the weight of different po...
Zhengtao Yu, Bin Deng, Bo Hou, Lu Han, Jianyi Guo
ISIPTA
2003
IEEE
14 years 2 months ago
Exploring Imprecise Probability Assessments Based on Linear Constraints
For many problems there is only suf£cient prior information for a Bayesian decision maker to identify a class of possible prior distributions. In such cases it is of interest to ...
Radu Lazar, Glen Meeden