Sciweavers

626 search results - page 111 / 126
» Hidden Markov Modelling Techniques for Haplotype Analysis
Sort
View
JCSS
2006
56views more  JCSS 2006»
13 years 7 months ago
Determining model accuracy of network traces
Accurate network modeling is critical to the design of network protocols. Traditional modeling approaches, such as Discrete Time Markov Chains (DTMC) are limited in their ability ...
Almudena Konrad, Ben Y. Zhao, Anthony D. Joseph
VMCAI
2010
Springer
14 years 5 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
IIHMSP
2006
IEEE
137views Multimedia» more  IIHMSP 2006»
14 years 1 months ago
Understanding Human Behavior Using a Language Modeling Approach
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
Yu-Ming Liang, Sheng-Wen Shih, Arthur Chun-Chieh S...
COORDINATION
2009
Springer
13 years 11 months ago
From Coordination to Stochastic Models of QoS
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Me...
CORR
2008
Springer
90views Education» more  CORR 2008»
13 years 8 months ago
A Queueing System for Modeling a File Sharing Principle
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
Florian Simatos, Philippe Robert, Fabrice Guillemi...