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...
ICW
2005
IEEE
133views Communications» more  ICW 2005»
16 years 10 days 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...
ICDAR
2003
IEEE
16 years 16 hour 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 4 hour 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 10 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