Search Sciweavers | Sciweavers

752 search results - page 13 / 151

» A Markov Chain Model Checker

132

Voted

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

121

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 7 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

223

click to vote

SSIAI
2000
IEEE

320views Image Analysis» more SSIAI 2000»

Multiresolution Hidden Markov Chain Model and Unsupervised Image Segmentation

15 years 7 months ago

Download www-public.int-evry.fr

Laurent Fouque, Alain Appriou, Wojciech Pieczynski

claim paper

Read More »

click to vote

NIPS
2003

86views Information Technology» more NIPS 2003»

Simplicial Mixtures of Markov Chains: Distributed Modelling of Dynamic User Profiles

15 years 4 months ago

Download books.nips.cc

Mark Girolami, Ata Kabán

claim paper

Read More »

click to vote

INFORMATICASI
2008

64views more INFORMATICASI 2008»

The Modelling of Manpower by Markov Chains - A Case Study of the Slovenian Armed Forces

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers