37 papers:
CASE-2015-BaeM #markov #modelling #multi #random- Markovian modeling of multiclass deterministic flow lines with random arrivals: The case of a single-channel (SYB, JRM), pp. 649–654.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability- SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
QAPL-2015-BortolussiNGGHL #adaptation #markov #named- CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
TACAS-2014-BaierKKM #markov #modelling- Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
ICALP-v1-2014-CzumajV #markov- Thorp Shuffling, Butterflies, and Non-Markovian Couplings (AC, BV), pp. 344–355.
ICPR-2014-SinghKZ #detection #difference #image #markov #multi #scalability- A Multilayer Markovian Model for Change Detection in Aerial Image Pairs with Large Time Differences (PS, ZK, JZ), pp. 924–929.
KDD-2013-HallakCM #markov #process- Model selection in markovian processes (AH, DDC, SM), pp. 374–382.
- CASE-2012-WuY #estimation #linear #markov #metric #using
- State estimation for Markovian Jump Linear System using quantized measurements (HW, HY), pp. 527–531.
- ICPR-2012-HaindlRH #markov
- Potts compound Markovian texture model (MH, VR, VH), pp. 29–32.
- ICPR-2012-UchidaFOF #markov
- Non-Markovian dynamic time warping (SU, MF, KO, YF), pp. 2294–2297.
- QAPL-2012-Bernardo #bisimulation #concurrent #markov #process
- Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.
- ICALP-v2-2011-CardelliLM #composition #logic #markov
- Modular Markovian Logic (LC, KGL, RM), pp. 380–391.
CSL-2011-CardelliLM #axiom #logic #markov #metric- Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
DATE-2010-CaoN #markov #protocol- High-fidelity markovian power model for protocols (JC, AN), pp. 267–270.
- CASE-2009-VazquezS #markov #modelling #performance #petri net
- Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.
VLDB-2009-LetchnerRBP #markov- Lahar Demonstration: Warehousing Markovian Streams (JL, CR, MB, MP), pp. 1610–1613.
- QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing
- Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.
- QAPL-2009-MuraPPR #markov
- Exploiting non-Markovian Bio-Processes (IM, DP, CP, AR), pp. 83–98.
ICEIS-DISI-2008-SharifimehrS #modelling- Dynamic Semi-Markovian Workload Modeling (NS, SS), pp. 125–130.
- ICPR-2008-SezerMAC #detection #markov #named
- NorMaL: Non-compact Markovian Likelihood for change detection (OGS, JLM, YA, DBC), pp. 1–4.
ICDAR-2007-LemaitreGP #2d #analysis #approach #layout #markov- Preliminary experiments in layout analysis of handwritten letters based on textural and spatial information and a 2D Markovian approach (ML, EG, FJP), pp. 1023–1027.
SFM-2007-Bernardo #behaviour #bibliography #markov- A Survey of Markovian Behavioral Equivalences (MB), pp. 180–219.
- DATE-2006-RongP #algorithm #formal method #markov #online #process
- Determining the optimal timeout values for a power-managed system based on the theory of Markovian processes: offline and online algorithms (PR, MP), pp. 1128–1133.
- ICPR-v1-2006-CarterYF #approach #behaviour #markov #recognition
- A Combined Bayesian Markovian Approach for Behaviour Recognition (NLC, DPY, JMF), pp. 761–764.
- ICPR-v3-2006-NicolasPH #approach #documentation #markov #segmentation
- A Markovian Approach for Handwritten Document Segmentation (SN, TP, LH), pp. 292–295.
DAC-2003-RongP #approach #markov #mobile #network- Extending the lifetime of a network of battery-powered mobile devices by remote processing: a markovian decision-based approach (PR, MP), pp. 906–911.
ICML-2002-KakadeTR #markov- An Alternate Objective Function for Markovian Fields (SK, YWT, STR), pp. 275–282.
- ICPR-v3-2002-HallouliLS #case study #comparative #data fusion #markov #recognition
- A Comparative Study between Decision Fusion and Data Fusion in Markovian Printed Character Recognition (KH, LLS, MS), pp. 147–150.
- ICDAR-2001-MarukatatAGD #hybrid #modelling #recognition
- Sentence Recognition through Hybrid Neuro-Markovian Modeling (SM, TA, PG, BD), pp. 731–737.
- ICPR-v3-2000-OukilS #algorithm #energy #markov #random
- Markovian Random Fields Energy Minimization Algorithms (AO, AS), pp. 3522–3525.
- ICDAR-1999-WimmerDG #recognition #taxonomy #word
- Dictionary Preselection in a Neuro-Markovian Word Recognition System (ZW, BD, PG), pp. 539–542.
CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification- TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
- ICML-1998-PendrithM #analysis #learning #markov
- An Analysis of Direct Reinforcement Learning in Non-Markovian Domains (MDP, MM), pp. 421–429.
- ICDAR-1997-MiledOCL #markov #recognition
- Coupling observation/letter for a Markovian modelisation applied to the recognition of Arabic handwriting (HM, CO, MC, YL), pp. 580–583.
- ICML-1997-SuematsuHL #approach #learning #markov
- A Bayesian Approach to Model Learning in Non-Markovian Environments (NS, AH, SL), pp. 349–357.
- ICDAR-v2-1995-BouchaffraM #approach #information retrieval #markov #random
- A Markovian random field approach to information retrieval (DB, JGM), pp. 997–1002.
- ICML-1994-SinghJJ #learning #markov #process
- Learning Without State-Estimation in Partially Observable Markovian Decision Processes (SPS, TSJ, MIJ), pp. 284–292.
