Stem stochast$ (all stems)

401 papers:

CBSE-2015-NandiMO #component #contract #probability #realtime #runtime

Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.

CASE-2015-ChenW #design #probability #robust

H∞ robust filter design for a class of nonlinear stochastic poisson jump systems (BSC, CFW), pp. 1557–1561.

CASE-2015-XuZLW #order #probability #scheduling #throughput

Stochastic customer order scheduling to maximize throughput (XX, YZ, HL, MW), pp. 665–670.

DAC-2015-ChenH #equivalence #logic #probability

Equivalence among stochastic logic circuits and its application (THC, JPH), p. 6.

DAC-2015-Hayes #challenge #probability

Introduction to stochastic computing and its challenges (JPH), p. 3.

DAC-2015-WangSBS #feedback #implementation #probability

Randomness meets feedback: stochastic implementation of logistic map dynamical system (ZW, NS, KB, AS), p. 7.

DATE-2015-JiRML #hardware #implementation #logic #network #probability #using

A hardware implementation of a radial basis function neural network using stochastic logic (YJ, FR, CM, DJL), pp. 880–883.

DATE-2015-MajumderLBP #analysis #architecture #manycore #probability

NoC-enabled multicore architectures for stochastic analysis of biomolecular reactions (TM, XL, PB, PP), pp. 1102–1107.

DATE-2015-ZhaoQ #design #probability #synthesis

A general design of stochastic circuit and its synthesis (ZZ, WQ), pp. 1467–1472.

TACAS-2015-BassetKTW #game studies #multi #probability #synthesis

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.

ICALP-v1-2015-HuangL #approximate #combinator #optimisation #probability #problem

Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.

ICML-2015-BachmanP #collaboration #generative #network #probability

Variational Generative Stochastic Networks with Collaborative Shaping (PB, DP), pp. 1964–1972.

ICML-2015-CsibaQR #adaptation #coordination #probability

Stochastic Dual Coordinate Ascent with Adaptive Probabilities (DC, ZQ, PR), pp. 674–683.

ICML-2015-FilipponeE #linear #probability #process #scalability

Enabling scalable stochastic gradient-based inference for Gaussian processes by employing the Unbiased LInear System SolvEr (ULISSE) (MF, RE), pp. 1015–1024.

ICML-2015-FrostigGKS #algorithm #approximate #empirical #named #performance #probability

Un-regularizing: approximate proximal point and faster stochastic algorithms for empirical risk minimization (RF, RG, SK, AS), pp. 2540–2548.

ICML-2015-HanMS #probability #scalability

Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.

ICML-2015-HoangHL #big data #framework #modelling #probability #process

A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.

ICML-2015-HsiehYD #named #parallel #probability

PASSCoDe: Parallel ASynchronous Stochastic dual Co-ordinate Descent (CJH, HFY, ISD), pp. 2370–2379.

ICML-2015-KomiyamaHN #analysis #multi #probability #problem

Optimal Regret Analysis of Thompson Sampling in Stochastic Multi-armed Bandit Problem with Multiple Plays (JK, JH, HN), pp. 1152–1161.

ICML-2015-RajkumarGL0 #probability #ranking #set

Ranking from Stochastic Pairwise Preferences: Recovering Condorcet Winners and Tournament Solution Sets at the Top (AR, SG, LHL, SA), pp. 665–673.

ICML-2015-SaRO #convergence #matrix #probability #problem

Global Convergence of Stochastic Gradient Descent for Some Non-convex Matrix Problems (CDS, CR, KO), pp. 2332–2341.

ICML-2015-ShahKG #algorithm #empirical #probability #process

An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process (AS, DAK, ZG), pp. 1594–1603.

ICML-2015-Shamir #algorithm #convergence #exponential #probability

A Stochastic PCA and SVD Algorithm with an Exponential Convergence Rate (OS), pp. 144–152.

ICML-2015-TheisH #probability #streaming

A trust-region method for stochastic variational inference with applications to streaming data (LT, MDH), pp. 2503–2511.

ICML-2015-WangFS #for free #monte carlo #privacy #probability

Privacy for Free: Posterior Sampling and Stochastic Gradient Monte Carlo (YXW, SEF, AJS), pp. 2493–2502.

ICML-2015-ZhangL #coordination #empirical #probability

Stochastic Primal-Dual Coordinate Method for Regularized Empirical Risk Minimization (YZ, XL), pp. 353–361.

ICML-2015-ZhaoYZL #adaptation #multi #probability

Adaptive Stochastic Alternating Direction Method of Multipliers (PZ, JY, TZ, PL), pp. 69–77.

ICML-2015-ZhaoZ #optimisation #probability

Stochastic Optimization with Importance Sampling for Regularized Loss Minimization (PZ, TZ), pp. 1–9.

KDD-2015-AhnKLRW #distributed #matrix #probability #scalability #using

Large-Scale Distributed Bayesian Matrix Factorization using Stochastic Gradient MCMC (SA, AK, NL, SR, MW), pp. 9–18.

KDD-2015-SatoN #online #probability

Stochastic Divergence Minimization for Online Collapsed Variational Bayes Zero Inference of Latent Dirichlet Allocation (IS, HN), pp. 1035–1044.

KDD-2015-TranHXFB #coordination #probability #scalability

Scaling Up Stochastic Dual Coordinate Ascent (KT, SH, LX, TF, MB), pp. 1185–1194.

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.

MoDELS-2015-SongLASDC #architecture #formal method #probability #using #verification

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) (SS, YL, MA, JS, JSD, TC), p. 449.

OOPSLA-2015-LeSS #compilation #debugging #probability

Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.

SAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self

Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.

SAC-2015-CruzPQSSOBO #algorithm #game studies #named #probability #using

Amê: an environment to learn and analyze adversarial search algorithms using stochastic card games (ABC, LP, JQ, US, SS, AO, EB, ESO), pp. 208–213.

VMCAI-2015-RandourRS #probability #problem

Variations on the Stochastic Shortest Path Problem (MR, JFR, OS), pp. 1–18.

CASE-2014-FrigerioM #energy #policy #probability

Energy saving policies for a machine tool with warm-up, stochastic arrivals and buffer information (NF, AM), pp. 646–651.

CASE-2014-HuangJXGX #energy #nondeterminism #probability #scheduling

EV charging load scheduling following uncertain renewable energy supply by stochastic matching (QH, QSJ, LX, XG, XX), pp. 137–142.

CASE-2014-HuangL #multi #probability

Stochastic chiller sequencing control for multiple-chiller plants (GH, ZL), pp. 1085–1090.

CASE-2014-LiLT #petri net #probability #process #scheduling

A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.

CASE-2014-LongLXJ #distributed #probability

A scenario-based distributed stochastic MPC for building temperature regulation (YL, SL, LX, KHJ), pp. 1091–1096.

CASE-2014-XuLYM #integer #probability #programming

A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.

CASE-2014-YuanLJ #health #probability #problem #scheduling

Home health care crew scheduling and routing problem with stochastic service times (BY, RL, ZJ), pp. 564–569.

DATE-2014-AlaghiH #performance #probability #using

Fast and accurate computation using stochastic circuits (AA, JPH), pp. 1–4.

DATE-2014-HaddadTBF #independence #modelling #on the #probability

On the assumption of mutual independence of jitter realizations in P-TRNG stochastic models (PH, YT, FB, VF), pp. 1–6.

DATE-2014-SarafBLR #probability #using

IIR filters using stochastic arithmetic (NS, KB, DJL, MDR), pp. 1–6.

DATE-2014-ShenCQ #mobile #probability

Battery aware stochastic QoS boosting in mobile computing devices (HS, QC, QQ), pp. 1–4.

DATE-2014-ZhangB #analysis #probability

Stochastic analysis of Bubble Razor (GZ, PAB), pp. 1–6.

VLDB-2014-YunYHVD #algorithm #distributed #matrix #multi #named #probability

NOMAD: Nonlocking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion (HY, HFY, CJH, SVNV, ISD), pp. 975–986.

FoSSaCS-2014-Chatterjee0GO #game studies #probability

Perfect-Information Stochastic Mean-Payoff Parity Games (KC, LD, HG, YO), pp. 210–225.

FoSSaCS-2014-Chatterjee0NV #complexity #game studies #probability

The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies (KC, LD, SN, MYV), pp. 242–257.

PLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code

Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.

ICALP-v1-2014-EsfandiariHKLMR #online #order #probability #scheduling

Online Stochastic Reordering Buffer Scheduling (HE, MH, MRK, VL, HM, HR), pp. 465–476.

LATA-2014-DingSXHMC #modelling #probability

Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.

CIKM-2014-KangLSSK #coordination #distributed #probability

Data/Feature Distributed Stochastic Coordinate Descent for Logistic Regression (DK, WL, KS, LS, UK), pp. 1269–1278.

CIKM-2014-YuSYL #distributed #matrix #probability

Distributed Stochastic ADMM for Matrix Factorization (ZQY, XJS, LY, WJL), pp. 1259–1268.

ICML-c1-2014-AzadiS #multi #probability #towards

Towards an optimal stochastic alternating direction method of multipliers (SA, SS), pp. 620–628.

ICML-c1-2014-Shalev-Shwartz0 #coordination #probability

Accelerated Proximal Stochastic Dual Coordinate Ascent for Regularized Loss Minimization (SSS, TZ), pp. 64–72.

ICML-c1-2014-Suzuki #coordination #multi #probability

Stochastic Dual Coordinate Ascent with Alternating Direction Method of Multipliers (TS), pp. 736–744.

ICML-c1-2014-ZhongK #multi #performance #probability

Fast Stochastic Alternating Direction Method of Multipliers (WZ, JTYK), pp. 46–54.

ICML-c1-2014-ZhouT #generative #network #predict #probability

Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction (JZ, OGT), pp. 745–753.

ICML-c2-2014-AhnSW #distributed #probability

Distributed Stochastic Gradient MCMC (SA, BS, MW), pp. 1044–1052.

ICML-c2-2014-AzarLB #correlation #feedback #online #optimisation #probability

Online Stochastic Optimization under Correlated Bandit Feedback (MGA, AL, EB), pp. 1557–1565.

ICML-c2-2014-BalleHP #comparison #empirical #learning #probability

Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison (BB, WLH, JP), pp. 1386–1394.

ICML-c2-2014-BengioLAY #generative #network #probability

Deep Generative Stochastic Networks Trainable by Backprop (YB, EL, GA, JY), pp. 226–234.

ICML-c2-2014-CelikkayaS #markov #probability #process

Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.

ICML-c2-2014-ChenFG #monte carlo #probability

Stochastic Gradient Hamiltonian Monte Carlo (TC, EBF, CG), pp. 1683–1691.

ICML-c2-2014-Hernandez-LobatoHG #matrix #modelling #probability #scalability

Stochastic Inference for Scalable Probabilistic Modeling of Binary Matrices (JMHL, NH, ZG), pp. 379–387.

ICML-c2-2014-JohnsonW #modelling #probability

Stochastic Variational Inference for Bayesian Time Series Models (MJ, ASW), pp. 1854–1862.

ICML-c2-2014-KusnerTWA #probability

Stochastic Neighbor Compression (MJK, ST, KQW, KA), pp. 622–630.

ICML-c2-2014-LiuWRBS #algorithm #coordination #parallel #probability

An Asynchronous Parallel Stochastic Coordinate Descent Algorithm (JL, SW, CR, VB, SS), pp. 469–477.

ICML-c2-2014-RezendeMW #approximate #generative #modelling #probability

Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.

ICML-c2-2014-SatoN #analysis #approximate #equation #probability #process #using

Approximation Analysis of Stochastic Gradient Langevin Dynamics by using Fokker-Planck Equation and Ito Process (IS, HN), pp. 982–990.

ICML-c2-2014-SeldinS #algorithm #probability

One Practical Algorithm for Both Stochastic and Adversarial Bandits (YS, AS), pp. 1287–1295.

ICML-c2-2014-Sohl-DicksteinPG #optimisation #performance #probability #scalability

Fast large-scale optimization by unifying stochastic gradient and quasi-Newton methods (JSD, BP, SG), pp. 604–612.

ICML-c2-2014-TitsiasL #probability

Doubly Stochastic Variational Bayes for non-Conjugate Inference (MKT, MLG), pp. 1971–1979.

ICML-c2-2014-ToulisAR #analysis #linear #modelling #probability #statistics

Statistical analysis of stochastic gradient methods for generalized linear models (PT, EA, JR), pp. 667–675.

ICPR-2014-AliNB #classification #constraints #image #probability #scalability

Boosting Stochastic Newton with Entropy Constraint for Large-Scale Image Classification (WBHA, RN, MB), pp. 232–237.

ICPR-2014-Martinez-VargasHAAC #component #constraints #probability #recursion

Recursive Separation of Stationary Components by Subspace Projection and Stochastic Constraints (JDMV, CCH, AMÁM, CDAM, GCD), pp. 3469–3474.

KDD-2014-LiuGXXGP #modelling #probability #process #workflow

Proactive workflow modeling by stochastic processes with application to healthcare operation and management (CL, YG, HX, KX, WG, MP), pp. 1593–1602.

KDD-2014-LiZCS #optimisation #performance #probability

Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.

RecSys-2014-PetroniQ #clustering #distributed #graph #matrix #named #probability

GASGD: stochastic gradient descent for distributed asynchronous matrix completion via graph partitioning (FP, LQ), pp. 241–248.

SEKE-2014-FernandesALG #modelling #probability #process #reduction

A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.

SIGIR-2014-LuoZY #game studies #probability

Win-win search: dual-agent stochastic game in session search (JL, SZ, HY), pp. 587–596.

QAPL-2014-Feng #distributed #hybrid #modelling #probability #using

Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.

QAPL-2014-LatellaLMS #communication

Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.

ICSE-2014-SuR #analysis #empirical #parametricity #probability

Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.

LICS-CSL-2014-BilokonE #approach #probability #process

A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.

CASE-2013-BentahaBD #composition #probability

A decomposition method for stochastic partial disassembly line balancing with profit maximization (MLB, OB, AD), pp. 404–409.

CASE-2013-ChenK #distributed #probability

Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.

DAC-2013-AlaghiLH #probability #realtime

Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.

DAC-2013-AxerE #fault #probability #scheduling

Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.

DATE-2013-GielenM #modelling #probability #simulation

Stochastic degradation modeling and simulation for analog integrated circuits in nanometer CMOS (GGEG, EM), pp. 326–331.

FASE-2013-BapodraH #abstraction #graph transformation #probability

Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.

TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability

PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.

TACAS-2013-KempfBM #nondeterminism #probability #scheduling

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.

STOC-2013-LiY #approximate #combinator #optimisation #probability

Stochastic combinatorial optimization via poisson approximation (JL, WY), pp. 971–980.

ICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random

A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.

ICALP-v2-2013-Basset #automaton #probability #process

A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.

ICALP-v2-2013-EtessamiSY #context-free grammar #probability #regular expression

Stochastic Context-Free Grammars, Regular Languages, and Newton’s Method (KE, AS, MY), pp. 199–211.

ICML-c1-2013-OuyangHTG #multi #probability

Stochastic Alternating Direction Method of Multipliers (HO, NH, LT, AGG), pp. 80–88.

ICML-c1-2013-RamdasS #optimisation #probability

Optimal rates for stochastic convex optimization under Tsybakov noise condition (AR, AS), pp. 365–373.

ICML-c1-2013-Shamir0 #convergence #optimisation #probability

Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.

ICML-c2-2013-RanganathWBX #adaptation #learning #probability

An Adaptive Learning Rate for Stochastic Variational Inference (RR, CW, DMB, EPX), pp. 298–306.

ICML-c2-2013-ValkoCM #optimisation #probability

Stochastic Simultaneous Optimistic Optimization (MV, AC, RM), pp. 19–27.

ICML-c3-2013-SodomkaHLG #game studies #learning #named #probability

Coco-Q: Learning in Stochastic Games with Side Payments (ES, EH, MLL, AG), pp. 1471–1479.

ICML-c3-2013-SzorenyiBHOJK #algorithm #distributed #probability

Gossip-based distributed stochastic bandit algorithms (BS, RBF, IH, RO, MJ, BK), pp. 19–27.

ICML-c3-2013-TarlowSCSZ #learning #probability

Stochastic k-Neighborhood Selection for Supervised and Unsupervised Learning (DT, KS, LC, IS, RSZ), pp. 199–207.

ICML-c3-2013-TeschSC #optimisation #probability

Expensive Function Optimization with Stochastic Binary Outcomes (MT, JGS, HC), pp. 1283–1291.

ICML-c3-2013-ZhangYJH #optimisation #probability

O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions (LZ, TY, RJ, XH), pp. 1121–1129.

KDD-2013-BahadoriLX #learning #performance #probability #process

Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.

KDD-2013-FouldsBDSW #probability

Stochastic collapsed variational Bayesian inference for latent Dirichlet allocation (JRF, LB, CD, PS, MW), pp. 446–454.

KDD-2013-Mu0ZT #probability #problem #scalability

Constrained stochastic gradient descent for large-scale least squares problem (YM, WD, TZ, DT), pp. 883–891.

QAPL-2013-BertrandS #automaton #game studies #infinity #probability

Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.

SAC-2013-Markovski #communication #coordination #probability #process #reliability

Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.

ASPLOS-2013-Schkufza0A #probability

Stochastic superoptimization (ES, RS, AA), pp. 305–316.

CAV-2013-BrimCDS #model checking #parametricity #probability #using

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.

LICS-2013-NainV #game studies #probability

Solving Partial-Information Stochastic Parity Games (SN, MYV), pp. 341–348.

CASE-2012-ChenK #polynomial #probability

Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.

CASE-2012-KimM #modelling #on the #probability #random #throughput

On the throughput of deterministic flow lines with random state dependent setups: Stochastic models and applications (WsK, JRM), pp. 650–655.

DAC-2012-SloanSK #design #on the #probability

On software design for stochastic processors (JS, JS, RK), pp. 918–923.

VLDB-2012-HalimIKY #adaptation #database #in memory #probability #robust #towards

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores (FH, SI, PK, RHCY), pp. 502–513.

TACAS-2012-ChenFKPS #automation #probability #verification

Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.

STOC-2012-EtessamiSY #algorithm #branch #context-free grammar #multi #polynomial #probability #process

Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars (KE, AS, MY), pp. 579–588.

ICALP-v1-2012-CostelloTT #probability

Stochastic Matching with Commitment (KPC, PT, PT), pp. 822–833.

ICALP-v1-2012-GortzNS #probability

Stochastic Vehicle Routing with Recourse (ILG, VN, RS), pp. 411–423.

ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability

Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.

CIKM-2012-HuangCLL #predict #probability #process #social #using

Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.

CIKM-2012-SmuckerC #probability #simulation

Stochastic simulation of time-biased gain (MDS, CLAC), pp. 2040–2044.

ICML-2012-AhnBW #probability

Bayesian Posterior Sampling via Stochastic Gradient Fisher Scoring (SA, AKB, MW), p. 230.

ICML-2012-AvronKKS #performance #probability

Efficient and Practical Stochastic Subgradient Descent for Nuclear Norm Regularization (HA, SK, SPK, VS), p. 46.

ICML-2012-BartokZS #adaptation #algorithm #finite #monitoring #probability

An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.

ICML-2012-CotterSS #kernel #probability

The Kernelized Stochastic Batch Perceptron (AC, SSS, NS), p. 98.

ICML-2012-Honorio #convergence #learning #modelling #optimisation #probability

Convergence Rates of Biased Stochastic Optimization for Learning Sparse Ising Models (JH), p. 144.

ICML-2012-KalyanakrishnanTAS #multi #probability #set

PAC Subset Selection in Stochastic Multi-armed Bandits (SK, AT, PA, PS), p. 34.

ICML-2012-MimnoHB #probability

Sparse stochastic inference for latent Dirichlet allocation (DMM, MDH, DMB), p. 197.

ICML-2012-OuyangG #probability

Stochastic Smoothing for Nonsmooth Minimizations: Accelerating SGD by Exploiting Structure (HO, AGG), p. 198.

ICML-2012-PaisleyBJ #probability

Variational Bayesian Inference with Stochastic Search (JWP, DMB, MIJ), p. 177.

ICML-2012-RakhlinSS #optimisation #probability

Making Gradient Descent Optimal for Strongly Convex Stochastic Optimization (AR, OS, KS), p. 204.

ICML-2012-YangMJZZ #kernel #learning #multi #probability #programming

Multiple Kernel Learning from Noisy Labels by Stochastic Programming (TY, MM, RJ, LZ, YZ), p. 21.

ICML-2012-YangO #clustering #composition #matrix #probability #rank

Clustering by Low-Rank Doubly Stochastic Matrix Decomposition (ZY, EO), p. 94.

SAC-2012-BoumazaB #collaboration #probability

Stochastic search for global neighbors selection in collaborative filtering (AMB, AB), pp. 232–237.

SAC-2012-ThanhZ #algorithm #probability #simulation

Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.

HPCA-2012-BalakrishnanS #behaviour #named #probability #using

WEST: Cloning data cache behavior using Stochastic Traces (GB, YS), pp. 387–398.

LICS-2012-ChatterjeeD #game studies #how #probability

Partial-Observation Stochastic Games: How to Win When Belief Fails (KC, LD), pp. 175–184.

SAT-2012-BalintS #probability

Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.

ASE-2011-WongC #dependence #probability

Generalizing evolutionary coupling with stochastic dependencies (SW, YC), pp. 293–302.

CASE-2011-ChuYSS #probability #simulation #validation

Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.

DAC-2011-AadithyaVDR #impact analysis #named #predict #probability #random

MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs (KVA, SV, AD, JSR), pp. 292–297.

DAC-2011-GongYH #analysis #monte carlo #orthogonal #performance #probability

Fast non-monte-carlo transient noise analysis for high-precision analog/RF circuits by stochastic orthogonal polynomials (FG, HY, LH), pp. 298–303.

DAC-2011-IqbalSH #dependence #fault #monte carlo #named #power management #probability #scheduling

SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies (NI, MAS, JH), pp. 134–139.

DATE-2011-MaricauG #analysis #probability #reliability

Stochastic circuit reliability analysis (EM, GGEG), pp. 1285–1290.

ICDAR-2011-AlvaroSB #2d #context-free grammar #probability #recognition #using

Recognition of Printed Mathematical Expressions Using Two-Dimensional Stochastic Context-Free Grammars (FA, JAS, JMB), pp. 1225–1229.

TACAS-2011-TeigeF #probability #problem #satisfiability

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.

STOC-2011-HansenKLMT #algorithm #game studies #probability

Exact algorithms for solving stochastic games: extended abstract (KAH, MK, NL, PBM, EPT), pp. 205–214.

ICALP-v1-2011-BorosEFGMM #analysis #approximate #game studies #probability

Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (EB, KME, MF, VG, KM, BM), pp. 147–158.

ICALP-v1-2011-HuangP #game studies #probability

Automatizability and Simple Stochastic Games (LH, TP), pp. 605–617.

ICALP-v2-2011-BrazdilBEK #approximate #game studies #probability #termination

Approximating the Termination Value of One-Counter MDPs and Stochastic Games (TB, VB, KE, AK), pp. 332–343.

ICML-2011-AroraGKF #clustering #matrix

Clustering by Left-Stochastic Matrix Factorization (RA, MRG, AK, MF), pp. 761–768.

ICML-2011-LeeW #identification #learning #online #probability

Manifold Identification of Dual Averaging Methods for Regularized Stochastic Online Learning (SL, SJW), pp. 1121–1128.

ICML-2011-MachartPARG #kernel #learning #probability #rank

Stochastic Low-Rank Kernel Learning for Regression (PM, TP, SA, LR, HG), pp. 969–976.

ICML-2011-WellingT #learning #probability

Bayesian Learning via Stochastic Gradient Langevin Dynamics (MW, YWT), pp. 681–688.

KDD-2011-GemullaNHS #distributed #matrix #probability #scalability

Large-scale matrix factorization with distributed stochastic gradient descent (RG, EN, PJH, YS), pp. 69–77.

RecSys-2011-JamaliHE #network #probability #rating #recommendation #social

A generalized stochastic block model for recommendation in social rating networks (MJ, TH, ME), pp. 53–60.

RecSys-2011-PizzatoS #collaboration #people #probability #recommendation

Stochastic matching and collaborative filtering to recommend people to people (LASP, CS), pp. 341–344.

SEKE-2011-El-KharboutlyG #analysis #architecture #concurrent #probability #reliability #using

Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets (REK, SSG), pp. 635–639.

QAPL-2011-BortolussiGH #probability

HYPE with stochastic events (LB, VG, JH), pp. 120–133.

QAPL-2011-SongNN #probability #π-calculus

A Stochastic Broadcast π-Calculus (LS, FN, BFN), pp. 74–88.

SAC-2011-TeixeiraLOM #modelling #probability

Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.

CADE-2011-Platzer #difference #hybrid #logic #probability #source code

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.

CAV-2011-SistlaZF #probability

Monitorability of Stochastic Dynamical Systems (APS, MZ, YF), pp. 720–736.

CASE-2010-QiC #constraints #optimisation #probability

Stochastic optimization of hydro-thermal system with annual water consumption constraints (YQ, XC), pp. 1001–1006.

DAC-2010-El-MoselhyD #probability

Stochastic dominant singular vectors method for variation-aware extraction (TAEM, LD), pp. 667–672.

DAC-2010-NadakuditiM #cost analysis #on the

On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.

DAC-2010-ShanbhagAKJ #probability

Stochastic computation (NRS, RAA, RK, DLJ), pp. 859–864.

DATE-2010-NarayananSKJ #probability #scalability

Scalable stochastic processors (SN, JS, RK, DLJ), pp. 335–338.

FASE-2010-TorriniHR #graph transformation #probability #simulation

Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.

ICALP-v2-2010-BrazdilEKL #scheduling

Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.

LATA-2010-WeinbergN #context-free grammar #probability

Extending Stochastic Context-Free Grammars for an Application in Bioinformatics (FW, MEN), pp. 585–595.

GT-VMT-2010-TorriniHRB #graph transformation #probability

Stochastic Graph Transformation with Regions (PT, RH, IR, GB).

ICGT-2010-Donyina #modelling #probability #resource management #simulation

Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.

ICML-2010-LangT #probability #reasoning #relational

Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds (TL, MT), pp. 583–590.

ICPR-2010-AvenelMP #probability #set

Stochastic Filtering of Level Sets for Curve Tracking (CA, ÉM, PP), pp. 3553–3556.

ICPR-2010-PrasadBSCN #adaptation #probability #recognition

Stochastic Segment Model Adaptation for Offline Handwriting Recognition (RP, AB, KS, HC, PN), pp. 1993–1996.

ICPR-2010-SethiC #analysis #motivation #probability #process #video

A Neurobiologically Motivated Stochastic Method for Analysis of Human Activities in Video (RJS, AKRC), pp. 281–285.

ICPR-2010-WijnhovenW #detection #performance #probability #using

Fast Training of Object Detection Using Stochastic Gradient Descent (RGJW, PHNdW), pp. 424–427.

KR-2010-HajishirziA #probability #reasoning

Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).

SEKE-2010-WangXLS #debugging #optimisation #probability

A Stochastic Model for Optimizing the Patching Time of Software Bugs (YW, DX, WML, DBS), pp. 88–92.

QAPL-2010-CoppoDDGT #calculus #probability

Stochastic Calculus of Wrapped Compartments (MC, FD, MD, EG, AT), pp. 82–98.

SAC-2010-AminBFJ #approach #probability

A stochastic approach to candidate disease gene subnetwork extraction (MSA, AB, RLFJ, HMJ), pp. 1534–1538.

SAC-2010-MylavarapuSB #approach #capacity #framework #probability

An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.

SAT-2010-BalintF #probability #satisfiability

Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.

VMCAI-2010-Esparza #analysis #probability #process

Analysis of Systems with Stochastic Process Creation (JE), p. 1.

CASE-2009-ZiedSN #maintenance #probability #random

An optimal production/maintenance planning under stochastic random demand, service level and failure rate (ZH, SD, NR), pp. 292–297.

DAC-2009-BurnhamYH #probability

A stochastic jitter model for analyzing digital timing-recovery circuits (JRB, CKKY, HAH), pp. 116–121.

DAC-2009-GongYH #incremental #named #parallel #probability #process

PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation (FG, HY, LH), pp. 764–769.

DAC-2009-KimRH #analysis #probability

Stochastic steady-state and AC analyses of mixed-signal systems (JK, JR, MAH), pp. 376–381.

ICDAR-2009-KatayamaUS #order #probability

Stochastic Model of Stroke Order Variation (YK, SU, HS), pp. 803–807.

ICDAR-2009-NatarajanSBP #modelling #probability #recognition

Stochastic Segment Modeling for Offline Handwriting Recognition (PN, KS, AB, RP), pp. 971–975.

STOC-2009-GuptaK #approximate #probability

A constant-factor approximation for stochastic Steiner forest (AG, AK), pp. 659–668.

STOC-2009-GuptaKR #design #network #online #probability

Online and stochastic survivable network design (AG, RK, RR), pp. 685–694.

ICALP-v2-2009-BouyerF #game studies #probability #reachability

Reachability in Stochastic Timed Games (PB, VF), pp. 103–114.

ICALP-v2-2009-ChatterjeeDH #bibliography #game studies #probability

A Survey of Stochastic Games with Limsup and Liminf Objectives (KC, LD, TAH), pp. 1–15.

ICALP-v2-2009-GriponS #concurrent #game studies #probability

Qualitative Concurrent Stochastic Games with Imperfect Information (VG, OS), pp. 200–211.

ICALP-v2-2009-NicolaLLM #calculus #probability #process

Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.

ICALP-v2-2009-UmmelsW #complexity #game studies #multi #nash #probability

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (MU, DW), pp. 297–308.

CIKM-2009-YeCCZ #distributed #probability

Stochastic gradient boosted distributed decision trees (JY, JHC, JC, ZZ), pp. 2061–2064.

ICML-2009-LangT #approximate #probability #relational

Approximate inference for planning in stochastic relational worlds (TL, MT), pp. 585–592.

ICML-2009-Shalev-ShwartzT #probability

Stochastic methods for l1 regularized loss minimization (SSS, AT), pp. 929–936.

ICML-2009-WoodAGJT #probability #sequence

A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.

ICML-2009-YiWSS #probability #using

Stochastic search using the natural gradient (YS, DW, TS, JS), pp. 1161–1168.

KDD-2009-SatuluriP #clustering #community #graph #probability #scalability #using

Scalable graph clustering using stochastic flows: applications to community discovery (VS, SP), pp. 737–746.

QAPL-2009-LanevePZ #probability #process

From Biochemistry to Stochastic Processes (CL, SP, GZ), pp. 167–185.

SAC-2009-CipciganR #difference #equation #probability

Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.

SAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation

Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.

ICSE-2009-MenziesWBH #how #probability #process #using

How to avoid drastic software process change (using stochastic stability) (TM, SW, BWB, JH), pp. 540–550.

CSL-2009-UmmelsW #game studies #nash #probability #problem

Decision Problems for Nash Equilibria in Stochastic Games (MU, DW), pp. 515–529.

ICLP-2009-Simari #behaviour #modelling #probability #reasoning

Stochastic Reasoning with Models of Agent Behavior (GIS), pp. 538–539.

ICST-2009-AndresMN #probability #testing

Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.

LICS-2009-BertrandGG #decidability #game studies #probability

Qualitative Determinacy and Decidability of Stochastic Games with Signals (NB, BG, HG), pp. 319–328.

SAT-2009-BelovS #probability #process #satisfiability

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability (AB, ZS), pp. 258–264.

VMCAI-2009-GondiPS #monitoring #probability

Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.

CASE-2008-AdamekSS #hybrid #nondeterminism #probability

Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.

CASE-2008-BrantleyLCC #design #empirical #optimisation #probability

Optimal sampling in design of experiment for simulation-based stochastic optimization (MWB, LHL, CHC, AC), pp. 388–393.

CASE-2008-MittalYBB #difference #equation #modelling #multi #performance #probability #using

Dynamics and performance modeling of multi-stage manufacturing systems using nonlinear stochastic differential equations (UM, HY, STSB, LGB), pp. 498–503.

DAC-2008-JungRP #manycore #modelling #probability

Stochastic modeling of a thermally-managed multi-core system (HJ, PR, MP), pp. 728–733.

DAC-2008-MoselhyD #equation #performance #probability

Stochastic integral equation solver for efficient variation-aware interconnect extraction (TM, LD), pp. 415–420.

DAC-2008-QianR #logic #polynomial #probability #robust #synthesis

The synthesis of robust polynomial arithmetic with stochastic logic (WQ, MDR), pp. 648–653.

DATE-2008-TanQ #framework #markov #power management #probability #using

A Framework of Stochastic Power Management Using Hidden Markov Model (YT, QQ), pp. 92–97.

FoSSaCS-2008-AbdullaHAMS #game studies #probability

Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.

FoSSaCS-2008-GimbertH #game studies #probability #random

Simple Stochastic Games with Few Random Vertices Are Easy to Solve (HG, FH), pp. 5–19.

FoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation

Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.

FoSSaCS-2008-KlinS #calculus #probability #process #semantics

Structural Operational Semantics for Stochastic Process Calculi (BK, VS), pp. 428–442.

ICALP-A-2008-EtessamiWY #game studies #probability #recursion

Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.

LATA-2008-RegnaultST #2d #analysis #automaton #on the #probability

On the Analysis of “Simple” 2D Stochastic Cellular Automata (DR, NS, ET), pp. 452–463.

SFM-2008-DegasperiG #analysis #modelling #probability

Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions (AD, SG), pp. 1–20.

SFM-2008-Zavattaro #automaton #probability

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.

ICPR-2008-KimuraPTYK #markov #modelling #probability #random #visual notation

Dynamic Markov random fields for stochastic modeling of visual attention (AK, DP, TT, JY, KK), pp. 1–5.

ICPR-2008-LevadaMT #image #markov #modelling #on the #probability #random

On the asymptotic variances of Gaussian Markov Random Field model hyperparameters in stochastic image modeling (ALML, NDAM, AT), pp. 1–4.

ICPR-2008-LiLWLD #probability #sketching

Object-of-interest extraction by integrating stochastic inference with learnt active shape sketch (HL, LL, TW, XL, LD), pp. 1–4.

ICPR-2008-LiuLLJT #graph #probability #representation

Layered shape matching and registration: Stochastic sampling with hierarchical graph representation (XL, LL, HL, HJ, WT), pp. 1–4.

ICPR-2008-Patanavijit #estimation #multi #probability #robust

A robust iterative multiframe SRR based on Hampel stochastic estimation with Hampel-Tikhonov regularization (VP), pp. 1–4.

SEKE-2008-ParveenATMF #analysis #detection #probability #towards

Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls (TP, WHA, SRT, GAM, RF), pp. 802–807.

QAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.

SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification

A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.

SAC-2008-TakasuA #analysis #documentation #information management #layout #probability

Information extraction from scanned documents by stochastic page layout analysis (AT, KA), pp. 447–448.

ICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.

VMCAI-2008-SistlaS #monitoring #probability

Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.

CASE-2007-DingAS #modelling #probability

Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines (SD, RAT, JGS), pp. 77–81.

CASE-2007-DingSA #modelling #probability

Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines (SD, JGS, RAT), p. 91–?.

DAC-2007-FettBR

Synthesizing Stochasticity in Biochemical Systems (BF, JB, MDR), pp. 640–645.

DATE-2007-QiuTW #modelling #optimisation #power management #probability #robust

Stochastic modeling and optimization for robust power management in a partially observable system (QQ, YT, QW), pp. 779–784.

DATE-2007-ZhuP #algorithm #graph #probability #random

Random sampling of moment graph: a stochastic Krylov-reduction algorithm (ZZ, JRP), pp. 1502–1507.

DATE-2007-ZhuZCXZ #grid #probability #process

A sparse grid based spectral stochastic collocation method for variations-aware capacitance extraction of interconnects under nanometer process technology (HZ, XZ, WC, JX, DZ), pp. 1514–1519.

FoSSaCS-2007-Chatterjee #game studies #probability #synthesis

Optimal Strategy Synthesis in Stochastic Müller Games (KC), pp. 138–152.

ICALP-2007-GimbertZ #game studies #probability

Perfect Information Stochastic Priority Games (HG, WZ), pp. 850–861.

ICALP-2007-KatrielKU #nondeterminism #probability #problem

Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems (IK, CKM, EU), pp. 171–182.

LATA-2007-OgasawaraK #approximate #performance #product line

Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation (KO, SK), pp. 461–472.

SEFM-2007-MerayoN #consistency #probability #testing

Testing conformance on Stochastic Stream X-Machines (MGM, MN), pp. 227–236.

SFM-2007-Balbo #petri net #probability

Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.

SFM-2007-ClarkGHT #algebra #probability #process

Stochastic Process Algebras (AC, SG, JH, MT), pp. 132–179.

SFM-2007-KwiatkowskaNP #model checking #probability

Stochastic Model Checking (MZK, GN, DP), pp. 220–270.

KDD-2007-CotofreiS #data mining #mining #probability #process

Stochastic processes and temporal data mining (PC, KS), pp. 183–190.

SEKE-2007-AlencarRSF #classification #modelling #probability #project management

Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project Management (AJA, GGR, EAS, ALF), pp. 151–156.

QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming

Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.

QAPL-2007-Smith #communication #modelling #probability #protocol #source code

Stochastic Modelling of Communication Protocols from Source Code (MJAS), pp. 129–145.

SAC-2007-BordeauxS #constraints #framework #on the #probability

On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.

DAC-2006-GhantaVBP #analysis #correlation #power management #probability #scalability

Stochastic variational analysis of large power grids considering intra-die correlations (PG, SBKV, SB, RP), pp. 211–216.

STOC-2006-FleischerKLS #multi #probability

Simple cost sharing schemes for multicommodity rent-or-buy and stochastic Steiner tree (LF, JK, SL, GS), pp. 663–670.

STOC-2006-LeviRS #algorithm #modelling #probability

Provably near-optimal sampling-based algorithms for Stochastic inventory control models (RL, RR, DBS), pp. 739–748.

ICALP-v2-2006-EtessamiY #concurrent #game studies #probability #recursion

Recursive Concurrent Stochastic Games (KE, MY), pp. 324–335.

ICGT-2006-MendizabalD #analysis #distributed #graph grammar #non-functional #probability #using

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars (OMM, FLD), pp. 275–290.

ICML-2006-RudaryS #modelling #predict #probability

Predictive linear-Gaussian models of controlled stochastic dynamical systems (MRR, SPS), pp. 777–784.

ICML-2006-VishwanathanSSM #probability #random

Accelerated training of conditional random fields with stochastic gradient methods (SVNV, NNS, MWS, KPM), pp. 969–976.

ICML-2006-WingateS #kernel #linear #modelling #predict #probability

Kernel Predictive Linear Gaussian models for nonlinear stochastic dynamical systems (DW, SPS), pp. 1017–1024.

ICPR-v2-2006-PriorW #fault #parametricity #probability #random #using

Parameter Tuning using the Out-of-Bootstrap Generalisation Error Estimate for Stochastic Discrimination and Random Forests (MP, TW), pp. 498–501.

ICPR-v3-2006-PlotzFHKLMMSSS #automation #detection #modelling #music #probability #using

Automatic Detection of Song Changes in Music Mixes Using Stochastic Models (TP, GAF, PH, SK, KL, TM, MM, LS, MS, HS), pp. 665–668.

ICPR-v3-2006-YeungS #framework #probability #set #symmetry

Stochastic Framework for Symmetric Affine Matching between Point Sets (SKY, PS), pp. 790–793.

ICPR-v3-2006-ZhuDJ #modelling #probability

Compound Stochastic Models For Fingerprint Individuality (YZ, SCD, AKJ), pp. 532–535.

QAPL-2005-McIverM06 #calculus #game studies #novel #probability #μ-calculus

A Novel Stochastic Game Via the Quantitative μ-calculus (AM, CM), pp. 195–212.

QAPL-2006-Bortolussi #concurrent #constraints #probability #programming

Stochastic Concurrent Constraint Programming (LB), pp. 65–80.

QAPL-2006-VigliottiH #calculus #probability

Stochastic Ambient Calculus (MGV, PGH), pp. 169–186.

QAPL-2006-WolfBM06a #nondeterminism #probability #semantics

Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.

SAC-2006-AltLM #linear #on the #probability #problem #using

On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.

SAC-2006-Lecca #algorithm #probability #π-calculus

A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus (PL), pp. 137–144.

SAC-2006-SemghouniSAB #probability #realtime #transaction

Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.

HPDC-2006-ZhengYS #algorithm #grid #how #novel #probability #scheduling

How to avoid herd: a novel stochastic algorithm in grid scheduling (QZ, HY, YS), pp. 267–278.

ISSTA-2006-SevcikovaBSB #approach #automation #probability #statistics #testing

Automated testing of stochastic systems: a statistically grounded approach (HS, AB, DS, WGB), pp. 215–224.

LICS-2006-BrazdilBFK #game studies #probability

Stochastic Games with Branching-Time Winning Objectives (TB, VB, VF, AK), pp. 349–358.

LICS-2006-Kozen #induction #probability #process #proving

Coinductive Proof Principles for Stochastic Processes (DK), pp. 359–366.

CASE-2005-TanonkouBBX #approach #probability #problem #using

Solving a stochastic inventory-location problem using Lagrangian relaxation approach (GAT, LB, RB, XX), pp. 279–284.

DATE-2005-GhantaVPW #analysis #grid #power management #probability #process

Stochastic Power Grid Analysis Considering Process Variations (PG, SBKV, RP, JMW), pp. 964–969.

ICDAR-2005-HandleyNZ #comprehension #context-free grammar #documentation #probability #using

Document Understanding System Using Stochastic Context-Free Grammars (JCH, AMN, RZ), pp. 511–515.

SIGMOD-2005-XieYC #on the #probability

On Joining and Caching Stochastic Streams (JX, JY, YC), pp. 359–370.

FoSSaCS-2005-CattaniSKN #nondeterminism #probability

Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.

CIAA-2005-HigueraPT #automaton #finite #learning #probability #recognition

Learning Stochastic Finite Automata for Musical Style Recognition (CdlH, FP, FT), pp. 345–346.

ICALP-2005-ChatterjeeAH #complexity #game studies #probability

The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.

ICALP-2005-EtessamiY #game studies #markov #probability #process #recursion

Recursive Markov Decision Processes and Recursive Stochastic Games (KE, MY), pp. 891–903.

ICALP-2005-GuptaP #probability

Stochastic Steiner Trees Without a Root (AG, MP), pp. 1051–1063.

ECMDA-FA-2005-TabuchiSN #algebra #analysis #design #modelling #performance #probability #process #uml

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra (NT, NS, HN), pp. 41–58.

SAC-2005-PandeyGM #algorithm #learning #probability #scheduling

Stochastic scheduling of active support vector learning algorithms (GP, HG, PM), pp. 38–42.

CAV-2005-SenVA #model checking #on the #probability #statistics

On Statistical Model Checking of Stochastic Systems (KS, MV, GA), pp. 266–280.

DAC-2004-PantBZSP #analysis #approach #grid #power management #probability

A stochastic approach To power grid analysis (SP, DB, VZ, SS, RP), pp. 171–176.

VLDB-2004-ZhuR #consistency #data flow #probability #scalability

Stochastic Consistency, and Scalable Pull-Based Caching for Erratic Data Sources (SZ, CVR), pp. 192–203.

FoSSaCS-2004-Zielonka #game studies #probability

Perfect-Information Stochastic Parity Games (WZ), pp. 499–513.

STOC-2004-GuptaPRS #algorithm #approximate #optimisation #probability

Boosted sampling: approximation algorithms for stochastic optimization (AG, MP, RR, AS), pp. 417–426.

CIAA-2004-Shan #graph grammar #modelling #probability

Stochastic Context-Free Graph Grammars for Glycoprotein Modelling (BS), pp. 247–258.

SEFM-2004-BertoliniFFO #analysis #automaton #generative #network #probability #testing #using

Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis (CB, AGF, PF, FMO), pp. 251–260.

SFM-2004-Bravetti #probability #realtime

Real Time and Stochastic Time (MB), pp. 132–180.

ICGT-2004-HeckelLM #graph transformation #probability

Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.

ICML-2004-Zhang #algorithm #linear #predict #probability #problem #scalability #using

Solving large scale linear prediction problems using stochastic gradient descent algorithms (TZ0).

ICPR-v1-2004-MaedaKI #clustering #data-driven #database #probability #process #segmentation

Segmentation of Range Data Based on A Stochastic Clustering Method with Competitive Process (MM, KK, KI), pp. 624–627.

ICPR-v2-2004-OdobezG #modelling #probability

Embedding Motion in Model-Based Stochastic Tracking (JMO, DGP), pp. 815–818.

ICPR-v2-2004-WillisSC #3d #probability

Surface Sculpting with Stochastic Deformable 3D Surfaces (ARW, JS, DBC), pp. 249–252.

ICPR-v4-2004-ImbaultL #approach #optimisation #parametricity #probability

A Stochastic Optimization Approach for Parameter Tuning of Support Vector Machines (FI, KL), pp. 597–600.

SAC-2004-LeccaPLC #predict #probability #π-calculus

Predicting cell adhesion probability via the biochemical stochastic π-calculus (PL, CP, CL, GC), pp. 211–212.

CC-2004-OzerNG #approximate #probability #using

Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors (EÖ, AN, DG), pp. 250–264.

CSL-2004-ChatterjeeMJ #game studies #nash #on the #probability

On Nash Equilibria in Stochastic Games (KC, RM, MJ), pp. 26–40.

DATE-2003-DumitrasM #communication #probability

On-Chip Stochastic Communication (TD, RM), pp. 10790–10795.

ICDAR-2003-KangK #probability #recognition #representation

Handwritten Hangul Character Recognition with Hierarchical Stochastic Character Representation (KWK, JHK), p. 212–?.

FoSSaCS-2003-Doberkat #probability

The Converse of a Stochastic Relation (EED), pp. 233–249.

STOC-2003-AdlerHKV #network #peer-to-peer #probability #process

A stochastic process on the hypercube with applications to peer-to-peer networks (MA, EH, RMK, VVV), pp. 575–584.

CIAA-2003-DaleyEM #automaton #probability #retrieval

Bag Automata and Stochastic Retrieval of Biomolecules in Solution (MD, MGE, IM), pp. 239–250.

DLT-2003-FalcoGL #modelling #probability

Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models (DdF, MG, VL), pp. 242–253.

ICALP-2003-Doberkat #bisimulation #category theory #probability

Semi-pullbacks and Bisimulations in Categories of Stochastic Relations (EED), pp. 996–1007.

ICML-2003-LiWL #classification #generative #keyword #probability #using

Text Classification Using Stochastic Keyword Generation (CL, JRW, HL), pp. 464–471.

ICML-2003-RuckertK #learning #probability

Stochastic Local Search in k-Term DNF Learning (UR, SK), pp. 648–655.

CSL-2003-ChatterjeeJH #game studies #probability

Simple Stochastic Parity Games (KC, MJ, TAH), pp. 100–113.

ICALP-2002-AblayevMP #bound #branch #probability #quantum #source code

Quantum and Stochastic Branching Programs of Bounded Width (FMA, CM, CP), pp. 343–354.

ICALP-2002-Merkle #probability #sequence

The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences (WM), pp. 390–400.

IFM-2002-LopezNR #algebra #probability #process

Stochastic Process Algebras Meet Eden (NL, MN, FR), pp. 29–48.

ICPR-v2-2002-CesarBB #graph #optimisation #probability #recognition #using

Inexact Graph Matching Using Stochastic Optimization Techniques for Facial Feature Recognition (RMC, EB, IB), pp. 465–468.

ICPR-v2-2002-KovacsS #animation #detection #probability

Creating Animations Combining Stochastic Paintbrush Transformation and Motion Detection (LK, TS), p. 1090–?.

ICPR-v2-2002-SeokL #algorithm #analysis #approach #difference #learning #probability

The Analysis of a Stochastic Differential Approach for Langevine Comepetitive Learning Algorithm (JS, JWL), pp. 80–83.

ICPR-v4-2002-Ichimura #estimation #image #monte carlo #probability #sequence #using

Stochastic Filtering for Motion Trajectory in Image Sequences Using a Monte Carlo Filter with Estimation of Hyper-Parameters (NI), pp. 68–73.

SEKE-2002-FarinaFO #automaton #modelling #network #probability #representation

Representing software usage models with stochastic automata networks (AGF, PF, FMO), pp. 401–407.

POPL-2002-RamseyP #monad #probability #λ-calculus

Stochastic λ calculus and monads of probability distributions (NR, AP), pp. 154–165.

DAC-2001-GorenSW #analysis #novel #pipes and filters #probability

A Novel Method for Stochastic Nonlinearity Analysis of a CMOS Pipeline ADC (DG, ES, IAW), pp. 127–132.

ICDAR-2001-KimSL #modelling #probability #using

Character Spotting Using Image-Based Stochastic Models (SKK, BKS, SWL), pp. 60–63.

ICDAR-2001-KoshinakaNY #dependence #probability #recognition #using #word

A Stochastic Model for Handwritten Word Recognition Using Context Dependency Between Character Patterns (TK, DN, KY), pp. 154–158.

TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.

ICML-2001-GlickmanS #learning #memory management #policy #probability #search-based

Evolutionary Search, Stochastic Policies with Memory, and Reinforcement Learning with Hidden State (MRG, KPS), pp. 194–201.

SAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier

Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.

SAT-2001-LynceBM #algorithm #probability #satisfiability

Stochastic Systematic Search Algorithms for Satisfiability (IL, LB, JMS), pp. 190–204.

DAC-2000-QiuWP #petri net #power management #probability #using

Dynamic power management of complex systems using generalized stochastic Petri nets (QQ, QW, MP), pp. 352–356.

DATE-2000-DemirF #evaluation #modelling #performance #probability

Stochastic Modeling and Performance Evaluation for Digital Clock and Data Recovery Circuits (AD, PF), pp. 340–344.

IFM-2000-HermannsKMS #algebra #model checking #probability #process #towards

Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.

ICML-2000-HuW #game studies #probability

Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.

ICPR-v2-2000-BurrellP #algorithm #detection #learning #online #parametricity #probability #process

Sequential Algorithms for Detecting Changes in Acting Stochastic Processes and On-Line Learning of their Operational Parameters (AB, TPK), pp. 2656–2659.

ICPR-v3-2000-Ney #classification #modelling #probability #recognition #speech

Stochastic Modeling: From Pattern Classification to Speech Recognition and Translation (HN), pp. 3025–3032.

ICPR-v4-2000-Perez-CortesAAL #parsing #probability

Stochastic Error-Correcting Parsing for OCR Post-Processing (JCPC, JCA, JA, RL), pp. 4405–4408.

PPDP-2000-Panangaden #logic #probability #process

From logic to stochastic processes (abstract only) (PP), pp. 1–2.

LCTES-2000-ChakravertyR #framework #probability #realtime

A Stochastic Framework for Co-synthesis of Real-Time Systems (SC, CPR), pp. 96–113.

TACAS-1999-GardnerL #probability #realtime

Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.

CIKM-1999-LiY #classification #probability #using

Text Classification Using ESC-based Stochastic Decision Lists (HL, KY), pp. 122–130.

ICML-1999-ThrunLF #learning #markov #modelling #monte carlo #parametricity #probability #process

Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes (ST, JL, DF), pp. 415–424.

POPL-1999-GuptaJP #concurrent #constraints #probability #process #source code

Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.

VLDB-1998-Slutz #probability #sql #testing

Massive Stochastic Testing of SQL (DRS), pp. 618–622.

ACIR-1998-ZaragozaG #information management #information retrieval #modelling #probability

Coupled Hierarchical IR and Stochastic Models for Surface Information Extraction (HZ, PG).

ICML-1998-KollerF #approximate #learning #probability #process #using

Using Learning for Approximation in Stochastic Processes (DK, RF), pp. 287–295.

ICML-1998-MitaimK #adaptation #fuzzy #probability

Stochastic Resonance with Adaptive Fuzzy Systems (SM, BK), pp. 377–385.

ICPR-1998-Aviles-Cruz #algorithm #data fusion #probability #segmentation #using

Unsupervised texture segmentation using stochastic version of the EM algorithm and data fusion (CAC), pp. 1005–1009.

ICPR-1998-HanKKL #network #probability #segmentation

Temporal segmentation and selective attention in the stochastic oscillator neural network (SKH, WSK, HK, SWL), pp. 259–261.

JICSLP-1998-Ruiz-AndinoR #integration #optimisation #probability

Integration of CLP and Stochastic Optimisation Strategies (ARA, JJR), pp. 351–352.

PODS-1997-NerjesMW #multi #probability

Stochastic Service Guarantees for Continuous Data on Multi-Zone Disks (GN, PM, GW), pp. 154–160.

DLT-1997-Zhiltsova #context-free grammar #probability

An Optimal Coding for Stochastic Context-Free Languages with Unique Derivation (LPZ), pp. 539–550.

ICSE-1997-KusumotoMKHTS #petri net #probability

A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.

DAC-1996-MarculescuMP #generative #probability #sequence #synthesis

Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.

TACAS-1996-HermannsMR #algebra #analysis #probability #process

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.

ICPR-1996-AstromH #analysis #detection #modelling #probability

Stochastic modelling and analysis of sub-pixel edge detection (KÅ, AH), pp. 86–90.

ICPR-1996-AstromH96a #analysis #probability

Stochastic analysis of scale-space smoothing (KÅ, AH), pp. 305–309.

ICPR-1996-CharvillatT #3d #modelling #probability

Registration of stereo-based 3D maps for object modeling: a stochastic yet intelligent solution (VC, BT), pp. 780–785.

ICPR-1996-KitamotoT #classification #image #probability

A stochastic model of mixels and image classification (AK, MT), pp. 745–749.

PLILP-1996-StuckeyT #constraints #logic programming #modelling #probability #theorem proving #using

Models for Using Stochastic Constraint Solvers in Constraint Logic Programming (PJS, VT), pp. 423–437.

ICDAR-v1-1995-OlivierPAL #modelling #probability #recognition #using #word

Recognition of handwritten words using stochastic models (CO, TP, MA, YL), pp. 19–23.

ICDAR-v1-1995-SaonBG #modelling #probability #recognition #word

Stochastic trajectory modeling for recognition of unconstrained handwritten words (GS, AB, YG), pp. 508–511.

STOC-1995-RaghavanU #probability

Stochastic contention resolution with short delays (PR, EU), pp. 229–237.

ICALP-1995-NikoletseasRSY #graph #memory management #probability

Stochastic Graphs Have Short Memory: Fully Dynamic Connectivity in Poly-Log Expected Time (SEN, JHR, PGS, MY), pp. 159–170.

ICML-1995-KimuraYK #learning #probability

Reinforcement Learning by Stochastic Hill Climbing on Discounted Reward (HK, MY, SK), pp. 295–303.

SEKE-1995-Gattiker #functional #petri net #probability #representation

Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.

CAV-1995-AzizSB #logic #probability

It Usually Works: The Temporal Logic of Stochastic Systems (AA, VS, FB), pp. 155–165.

LICS-1995-Edalat #probability #process

Domain Theory in Stochastic Processes (AE), pp. 244–254.

DAC-1994-MehrotraFL #approach #optimisation #probability

Stochastic Optimization Approach to Transistor Sizing for CMOS VLSI Circuits (SM, PDF, WL), pp. 36–40.

ICML-1994-AbeM #predict #probability

A New Method for Predicting Protein Secondary Structures Based on Stochastic Tree Grammars (NA, HM), pp. 3–11.

SAC-1994-RaoI #approach #probability #problem

A stochastic approach to the bin-packing problem (RLR, SSI), pp. 261–265.

ICDAR-1993-ParkL #modelling #multi #probability #recognition

Large-set handwritten character recognition with multiple stochastic models (HSP, SWL), pp. 143–146.

ICML-1993-Kaelbling #learning #probability

Hierarchical Learning in Stochastic Domains: Preliminary Results (LPK), pp. 167–173.

ML-1992-KononenkoK #generative #learning #multi #optimisation #probability

Learning as Optimization: Stochastic Generation of Multiple Knowledge (IK, MK), pp. 257–262.

ML-1992-Mahadevan #learning #modelling #probability

Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions (SM), pp. 290–299.

DAC-1991-Najm #probability #process

Transition Density, A Stochastic Measure of Activity in Digital Circuits (FNN), pp. 644–649.

SIGMOD-1991-TsangarisN #approach #clustering #probability

A Stochastic Approach for Clustering in Object Bases (MMT, JFN), pp. 12–21.

ML-1991-BennettD #probability

Comparing Stochastic Planning to the Acquisition of Increasingly Permissive Plans (SB, GD), pp. 586–590.

ML-1991-YamanishiK #learning #probability #search-based #sequence

Learning Stochastic Motifs from Genetic Sequences (KY, AK), pp. 467–471.

SIGIR-1991-Lelu #algorithm #automation #generative #hypermedia #incremental #information retrieval #probability

Automatic Generation of Hypertext Links in Information Retrieval Systems: A Stochastic and an Incremental Algorithm (AL), pp. 326–335.

DAC-1990-SaabR #effectiveness #evolution #heuristic #layout #performance #probability #problem

Stochastic Evolution: a Fast Effective Heuristic for Some Generic Layout Problems (YS, VBR), pp. 26–31.

SIGMOD-1989-SalzaT #database #dependence #probability #query #relational

Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence (SS, MT), pp. 8–14.

PPEALS-1988-Nicol #network #parallel #probability #simulation

Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks (DMN), pp. 124–137.

SIGIR-1987-OommenM #automaton #clustering #learning #performance #probability #using

Fast Object Partitioning Using Stochastic Learning Automata (BJO, DCYM), pp. 111–122.

DAC-1985-RoseBT #analysis #design #performance #probability #tool support

Integrating stochastic performance analysis with system design tools (CWR, MB, YT), pp. 482–488.

STOC-1971-Santos #algebra #probability

Algebraic Structure Theory of Stochastic Machines (ESS), pp. 219–243.