Search Sciweavers | Sciweavers

752 search results - page 13 / 151

» A Markov Chain Model Checker

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

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

14 years 3 months ago

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

click to vote

CONCUR
2001
Springer

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

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

14 years 1 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

click to vote

SSIAI
2000
IEEE

320views Image Analysis» more SSIAI 2000»

Multiresolution Hidden Markov Chain Model and Unsupervised Image Segmentation

14 years 29 days 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

13 years 10 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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers