Search results for "Markov processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin	Aggregated bounding Markov processes applied to the analysis of tandem queues.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	loss probability bounds, tandem queueing networks, Markov processes, stochastic comparisons
3	Juha Leino, Jorma T. Virtamo	An approximative method for calculating performance measures of Markov processes.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation, approximation, Markov processes
3	Jonas August, Steven W. Zucker	Sketches with Curvature: The Curve Indicator Random Field and Markov Processes.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Feynman-Kac formula, curvature Brownian motion, posterior mean, contour enhancement, elastica, Euler spiral, edge detection, Markov processes, sketch, orientation, direction, curve, Random fields
3	Manuela L. Bujorianu, John Lygeros	Reachability Questions in Piecewise Deterministic Markov Processes.	HSCC	2003	DBLP DOI BibTeX RDF	Markov processes, Hybrid systems, reachability, hitting times
3	Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
2	Jun Luo, Dongning Guo	On the Entropy Rate of Hidden Markov Processes Observed Through Arbitrary Memoryless Channels.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Markov Processes by Averaging.	ICALP	2009	DBLP DOI BibTeX RDF
2	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Labelled Markov Processes Again!	CALCO	2009	DBLP DOI BibTeX RDF
2	Jun Luo, Dongning Guo	On the entropy and filtering of hidden Markov processes observed through arbitrary memoryless channels.	CISS	2008	DBLP DOI BibTeX RDF
2	Oswaldo Luiz V. Costa, François Dufour	The vanishing approach for the average continuous control of piecewise deterministic Markov processes.	CDC	2008	DBLP DOI BibTeX RDF
2	Peter Buchholz	Product Form Approximations for Communicating Markov Processes.	QEST	2008	DBLP DOI BibTeX RDF
2	Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi	On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes.	EUROCAST	2007	DBLP DOI BibTeX RDF
2	Sebastian Kempken, Wolfram Luther	Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes.	International Teletraffic Congress	2007	DBLP DOI BibTeX RDF
2	Hind Castel, Lynda Mokdad, Nihal Pekergin	Stochastic Bounds Applied to the End to End QoS in Communication Systems.	MASCOTS	2007	DBLP DOI BibTeX RDF	Tandem queueing networks, performance measures bounds, Markov processes, Stochastic comparisons
2	Gül Gürkan, Fikri Karaesmen, Özge Özdemir	Optimal Threshold Levels in Stochastic Fluid Models via Simulation-based Optimization.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Hedging points, Threshold levels, Generalized semi-Markov processes, Infinitesimal perturbation analysis, Sample-path optimization, Service-level constraints, Stochastic optimization, Stochastic fluid models
2	Manuela L. Bujorianu, Marius C. Bujorianu	Model Checking for a Class of Performance Properties of Fluid Stochastic Models.	EPEW	2006	DBLP DOI BibTeX RDF	modelchecking, computer networks, Markov processes, performance measure, capacity, bisimulation, Fluid models
2	Anna Lysyanskaya, Mira Meyerovich	Provably Secure Steganography with Imperfect Sampling.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF	digital signatures, Markov processes, steganography, Information hiding
2	Hertong Song, Chokchai Leangsuksun, Raja Nassar	A light-weight solution for large sparse Markov processes.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	large sparse Markov process, uniformization, continuous time Markov chain
2	Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup	An approximation algorithm for labelled Markov processes: towards realistic approximation.	QEST	2005	DBLP DOI BibTeX RDF
2	Stefan Strubbe, A. J. van der Schaft	Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).	HSCC	2005	DBLP DOI BibTeX RDF
2	Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu	Bisimulation for General Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF	stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory
2	Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell	Duality for Labelled Markov Processes.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	Shie Mannor, Duncan Simester, Peng Sun, John N. Tsitsiklis	Bias and variance in value function estimation.	ICML	2004	DBLP DOI BibTeX RDF	Reinforcement Learning, Markov Processes, Variance, Bias, Bayesian Estimation
2	Manuela L. Bujorianu	Extended Stochastic Hybrid Systems and Their Reachability Problem.	HSCC	2004	DBLP DOI BibTeX RDF	stochastic hybrid systems, reachability problem, extended automata, Dirichlet forms, Markov processes
2	Alexei B. Piunovskiy	Bicriteria Optimization of a Queue with a Controlled Input Stream.	Queueing Syst.	2004	DBLP DOI BibTeX RDF	controlled jump Markov processes, Lagrange function, threshold control, communication networks, Pareto set, constrained optimization problems
2	Vincent Danos, Josee Desharnais	Labelled Markov Processes: Stronger and Faster Approximations.	LICS	2003	DBLP DOI BibTeX RDF
2	Devanshu Dhyani, Sourav S. Bhowmick, Wee Keong Ng	Modelling and Predicting Web Page Accesses Using Markov Processes.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
2	Ernst-Erich Doberkat	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.	ICALP	2003	DBLP DOI BibTeX RDF	semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation
2	Jeremy T. Bradley	A Passage-Time Preserving Equivalence for Semi-Markov Processes.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Franck van Breugel, Steven Shalit, James Worrell	Testing Labelled Markov Processes.	ICALP	2002	DBLP DOI BibTeX RDF
2	Alma Riska, Evgenia Smirni	Exact aggregate solutions for M/G/1-type Markov processes.	SIGMETRICS	2002	DBLP DOI BibTeX RDF	M/G/1-type processes, Markov chains, aggregation, matrix analytic method
2	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden	Approximating Labeled Markov Processes.	LICS	2000	DBLP DOI BibTeX RDF
2	Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi	Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.	PRDC	2000	DBLP DOI BibTeX RDF	optimal software rejuvenation, nonparametric statistical algorithms, software maintenance, software reliability, nonparametric statistics, semi-Markov processes, statistical estimation, software rejuvenation
2	Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden	Bisimulation for Labelled Markov Processes.	LICS	1997	DBLP DOI BibTeX RDF
2	Gerhard Haßlinger	Towards an Analytical Tool for Performance Modelling of ATM Networks by Decomposition.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF	SMP/G/1 analysis in discrete time, ATM networks, self-similar traffic, semi-Markov processes, autocorrelation function
2	Michael Mitzenmacher	Load Balancing and Density Dependent Jump Markov Processes (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	density dependent jump Markov processes, dynamic randomized load balancing, Poisson stream, first-in first-out protocol, supermarket model, load balancing, protocols, servers, parallel processors, service time
2	Latha A. Kant, William H. Sanders	Loss process analysis of the knockout switch using stochastic activity networks.	ICCCN	1995	DBLP DOI BibTeX RDF	loss process analysis, knockout switch, fast packet switches, consecutive cell losses, tagged port, telecommunication switch design, quality of service, performance, asynchronous transfer mode, asynchronous transfer mode, Markov processes, ATM networks, bursty traffic, B-ISDN, stochastic activity networks, cell loss probability
2	S. Das Gupta	An Algorithm to Estimate Sub-Optimal Present Values for Unichain Markov Processes with Alternative Reward Structures.	Optimization Techniques	1973	DBLP DOI BibTeX RDF
1	Simonetta Balsamo, Andrea Marin	Separable solutions for Markov processes in random environments.	European Journal of Operational Research	2013	DBLP DOI BibTeX RDF
1	Baojiang Chen, Xiao-Hua Zhou	A correlated random effects model for non-homogeneous Markov processes with nonignorable missingness.	J. Multivariate Analysis	2013	DBLP DOI BibTeX RDF
1	Martin G. Riedler	Almost sure convergence of numerical approximations for Piecewise Deterministic Markov Processes.	J. Computational Applied Mathematics	2013	DBLP DOI BibTeX RDF
1	Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski	Maximizing Entropy over Markov Processes.	LATA	2013	DBLP DOI BibTeX RDF
1	Guglielmo D'Amico, Jacques Janssen, Raimondo Manca	Monounireducible Nonhomogeneous Continuous Time Semi-Markov Processes Applied to Rating Migration Models.	ADS	2012	DBLP DOI BibTeX RDF
1	Chunlai Zhou, Mingsheng Ying	Approximating Markov processes through filtration.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Benoîte de Saporta, François Dufour	Numerical method for impulse control of piecewise deterministic Markov processes.	Automatica	2012	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick	Bisimulations for non-deterministic labelled Markov processes.	Mathematical Structures in Computer Science	2012	DBLP DOI BibTeX RDF
1	Konstantin Avrachenkov, Alexei B. Piunovskiy, Yi Zhang	Markov Processes with Restart	CoRR	2012	DBLP BibTeX RDF
1	Tal El-Hay, Nir Friedman, Raz Kupferman	Gibbs Sampling in Factorized Continuous-Time Markov Processes	CoRR	2012	DBLP BibTeX RDF
1	Ilya Tkachev, Alessandro Abate	Characterization and computation of infinite horizon specifications over Markov processes	CoRR	2012	DBLP BibTeX RDF
1	Lukasz Debowski	On Hidden Markov Processes with Infinite Excess Entropy	CoRR	2012	DBLP BibTeX RDF
1	Z. Kowalczuk, M. Domzalski	Optimal asynchronous estimation of 2D Gaussian-Markov processes.	Int. J. Systems Science	2012	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden	Taking It to the Limit: Approximate Reasoning for Markov Processes.	MFCS	2012	DBLP DOI BibTeX RDF
1	Ilya Tkachev, Alessandro Abate	Stability and attractivity of absorbing sets for discrete-time Markov processes.	CDC	2012	DBLP DOI BibTeX RDF
1	Andrea Marin, Samuel Rota Bulò, Simonetta Balsamo	A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes.	MASCOTS	2012	DBLP DOI BibTeX RDF
1	Prakash Panangaden	Dexter Kozen's Influence on the Theory of Labelled Markov Processes.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
1	Chris Johnson	Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems.	ECEASST	2011	DBLP BibTeX RDF
1	Peter W. Glynn	Wide-sense regeneration for Harris recurrent Markov processes: an open problem.	Queueing Syst.	2011	DBLP DOI BibTeX RDF
1	Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters	The compositional construction of Markov processes II.	RAIRO - Theor. Inf. and Applic.	2011	DBLP DOI BibTeX RDF
1	Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt	Passage-time computation and aggregation strategies for large semi-Markov processes.	Perform. Eval.	2011	DBLP DOI BibTeX RDF
1	S. Y. Hwang, Ishwar V. Basawa	Asymptotic optimal inference for multivariate branching-Markov processes via martingale estimating functions and mixed normality.	J. Multivariate Analysis	2011	DBLP DOI BibTeX RDF
1	Bin Gao, Tie-Yan Liu, Yuting Liu, Taifeng Wang, Zhiming Ma, Hang Li	Page importance computation based on Markov processes.	Inf. Retr.	2011	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák	Fixed-delay Events in Generalized Semi-Markov Processes Revisited	CoRR	2011	DBLP BibTeX RDF
1	Shuangping Chen, Jun Li, Mi Zhou	Low and Upper Bound of Approximate Sequence for the Entropy Rate of Binary Hidden Markov Processes	CoRR	2011	DBLP BibTeX RDF
1	Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters	The Compositional Construction of Markov Processes.	Applied Categorical Structures	2011	DBLP DOI BibTeX RDF
1	Ulrich Faigle, Alexander Schönhuth	Efficient Tests for Equivalence of Hidden Markov Processes and Quantum Random Walks.	IEEE Transactions on Information Theory	2011	DBLP DOI BibTeX RDF
1	Fátima Ferreira, António Pacheco	Stochastic Ordering of Semi-Markov Processes.	Network Performance Engineering	2011	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák	Fixed-Delay Events in Generalized Semi-Markov Processes Revisited.	CONCUR	2011	DBLP DOI BibTeX RDF
1	François Pachet, Pierre Roy, Gabriele Barbieri	Finite-Length Markov Processes with Constraints.	IJCAI	2011	DBLP BibTeX RDF
1	Gadiel Seroussi, Wojciech Szpankowski, Marcelo J. Weinberger	Deinterleaving Markov processes: The finite-memory switch case.	ISIT	2011	DBLP DOI BibTeX RDF
1	Bernd Heidergott, Arie Hordijk, Nicole Leder	Series Expansions for Continuous-Time Markov Processes.	Operations Research	2010	DBLP DOI BibTeX RDF
1	Nicole Leder, Bernd Heidergott, Arie Hordijk	An Approximation Approach for the Deviation Matrix of Continuous-Time Markov Processes with Application to Markov Decision Theory.	Operations Research	2010	DBLP DOI BibTeX RDF
1	Peter Buchholz	Product form approximations for communicating Markov processes.	Perform. Eval.	2010	DBLP DOI BibTeX RDF
1	Oswaldo Luiz V. Costa, François Dufour	Average Continuous Control of Piecewise Deterministic Markov Processes.	SIAM J. Control and Optimization	2010	DBLP DOI BibTeX RDF
1	Fubao Xi, Gang George Yin	Asymptotic properties of nonlinear autoregressive Markov processes with state-dependent switching.	J. Multivariate Analysis	2010	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick	Bisimulations for Nondeterministic Labeled Markov Processes	CoRR	2010	DBLP BibTeX RDF
1	Joffrey Villard, Pascal Bianchi, Eric Moulines, Pablo Piantanida	High-Rate Quantization for the Neyman-Pearson Detection of Hidden Markov Processes	CoRR	2010	DBLP BibTeX RDF
1	Kentaro Katahira, Kenta Suzuki, Kazuo Okanoya, Masato Okada	Complex sequencing rules of birdsong can be explained by simple hidden Markov processes	CoRR	2010	DBLP BibTeX RDF
1	Peter Sunehag, Marcus Hutter	Consistency of Feature Markov Processes	CoRR	2010	DBLP BibTeX RDF
1	Ludovic Pietre-Cambacedes, Marc Bouissou	Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes).	SMC	2010	DBLP DOI BibTeX RDF
1	Alexandru Mereacre	Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes.	AlgoSyn	2010	DBLP BibTeX RDF
1	Alexandre R. Mesquita, João Pedro Hespanha	Construction of Lyapunov functions for piecewise-deterministic Markov processes.	CDC	2010	DBLP DOI BibTeX RDF
1	Oswaldo Luiz V. Costa, François Dufour	Singular perturbation for the discounted continuous control of piecewise deterministic Markov processes.	CDC	2010	DBLP DOI BibTeX RDF
1	Mathukumalli Vidyasagar	Reduced-order modeling of Markov and hidden Markov processes via aggregation.	CDC	2010	DBLP DOI BibTeX RDF
1	Ludovic Pietre-Cambacedes, Marc Bouissou	Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP).	EDCC	2010	DBLP DOI BibTeX RDF	BDMP, security, dynamic modeling, attack trees
1	Peter Sunehag, Marcus Hutter	Consistency of Feature Markov Processes.	ALT	2010	DBLP DOI BibTeX RDF
1	András Horváth, Lorenzo Ridi, Enrico Vicario	Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.	QEST	2010	DBLP DOI BibTeX RDF
1	Ainhoa Llorente, Raghavan Manmatha, Stefan M. Rüger	Image retrieval using Markov Random Fields and global image features.	CIVR	2010	DBLP DOI BibTeX RDF	Markov processes, nonparametric statistics
1	Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros	On the connections between PCTL and dynamic programming.	HSCC	2010	DBLP DOI BibTeX RDF	pctl, dynamic programming, markov processes, integral equation
1	Nelson Antunes, Gonçalo Jacinto, António Pacheco	An analytical framework to infer multihop path reliability in MANETs.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	multihop path reliability, piecewise deterministic markov processes, mobility, mobile ad hoc networks, random walk
1	Peter M. van de Ven, Augustus J. E. M. Janssen, Johan van Leeuwaarden	Optimal tradeoff between exposed and hidden nodes in large wireless networks.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	carrier-sensing range, exposed nodes, multi-access, wireless networks, throughput, markov processes, hidden nodes
1	Christian Eisentraut, Holger Hermanns, Lijun Zhang 0001	On Probabilistic Automata in Continuous Time.	LICS	2010	DBLP DOI BibTeX RDF	weak bisimulation semantics, Markov processes, process algebra, nondeterminism, discrete time, continuous time
1	Víctor Suñé, Juan A. Carrasco, Hédi Nabli, Bruno Sericola	Comment on "Performability Analysis: A New Algorithm".	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Fault tolerance, performability, performance, reliability, Markov processes, uniformization, repairable systems
1	Serigne N. Lô, Stephane Heritier, Malcolm Hudson	Saddlepoint approximation for semi-Markov processes with application to a cardiovascular randomised study.	Computational Statistics & Data Analysis	2009	DBLP DOI BibTeX RDF
1	Jussi Poikonen, Jarkko Paavola, Valery P. Ipatov	Aggregated Renewal Markov Processes With Applications in Simulating Mobile Broadcast Systems.	IEEE T. Vehicular Technology	2009	DBLP DOI BibTeX RDF
1	Márcio das Chagas Moura, Enrique López Droguett	Mathematical formulation and numerical treatment based on transition frequency densities and quadrature methods for non-homogeneous semi-Markov processes.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Tusheng Zhang	Variational Inequalities and Optimization for Markov Processes Associated with Semi-Dirichlet Forms.	SIAM J. Control and Optimization	2009	DBLP DOI BibTeX RDF
1	S. Y. Hwang, Ishwar V. Basawa	Branching Markov processes and related asymptotics.	J. Multivariate Analysis	2009	DBLP DOI BibTeX RDF
1	Yariv Ephraim, William J. J. Roberts	An EM Algorithm for Markov Modulated Markov Processes.	IEEE Transactions on Signal Processing	2009	DBLP DOI BibTeX RDF
1	Armen E. Allahverdyan, Aram Galstyan	On Maximum a Posteriori Estimation of Hidden Markov Processes	CoRR	2009	DBLP BibTeX RDF
1	Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters	The compositional construction of Markov processes	CoRR	2009	DBLP BibTeX RDF