3691 search results - page 226 / 739 » Bayesian Logic Programs |
175
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...
195
Voted
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
173
click to vote
MICAI
2005
Springer
15 years 12 months ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
234
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
195
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...