Sciweavers

2278 search results - page 150 / 456
» Markov logic networks
Sort
View
QEST
2008
IEEE
16 years 1 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
211
Voted
ICW
2005
IEEE
133views Communications» more  ICW 2005»
16 years 1 months ago
Estimation of Linear Stochastic Systems over a Queueing Network
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...
Michael Epstein, Abhishek Tiwari, Ling Shi, Richar...
176
Voted
ICDAR
2003
IEEE
16 years 23 days ago
Generation of Handwritten Characters with Bayesian network based On-line Handwriting Recognizers
In this paper, we propose a new character generation method from on-line handwriting recognizers based on Bayesian networks. On-line handwriting recognizers are trained with handw...
Hyun-Il Choi, Sung-Jung Cho, Jin Hyung Kim
IWIA
2003
IEEE
16 years 23 days ago
Stochastic Protocol Modeling for Anomaly Based Network Intrusion Detection
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...
Juan M. Estévez-Tapiador, Pedro Garcia-Teod...
AUSAI
2006
Springer
15 years 11 months ago
Learning Hybrid Bayesian Networks by MML
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...
Rodney T. O'Donnell, Lloyd Allison, Kevin B. Korb