BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (70)
system (46)
process (44)
use (41)
game (38)

Stem stochast$ (all stems)

401 papers:

CBSECBSE-2015-NandiMO #component #contract #probability #realtime #runtime
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
CASECASE-2015-ChenW #design #probability #robust
H∞ robust filter design for a class of nonlinear stochastic poisson jump systems (BSC, CFW), pp. 1557–1561.
CASECASE-2015-XuZLW #order #probability #scheduling #throughput
Stochastic customer order scheduling to maximize throughput (XX, YZ, HL, MW), pp. 665–670.
DACDAC-2015-ChenH #equivalence #logic #probability
Equivalence among stochastic logic circuits and its application (THC, JPH), p. 6.
DACDAC-2015-Hayes #challenge #probability
Introduction to stochastic computing and its challenges (JPH), p. 3.
DACDAC-2015-WangSBS #feedback #implementation #probability
Randomness meets feedback: stochastic implementation of logistic map dynamical system (ZW, NS, KB, AS), p. 7.
DATEDATE-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.
DATEDATE-2015-MajumderLBP #analysis #architecture #manycore #probability
NoC-enabled multicore architectures for stochastic analysis of biomolecular reactions (TM, XL, PB, PP), pp. 1102–1107.
DATEDATE-2015-ZhaoQ #design #probability #synthesis
A general design of stochastic circuit and its synthesis (ZZ, WQ), pp. 1467–1472.
TACASTACAS-2015-BassetKTW #game studies #multi #probability #synthesis
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.
ICALPICALP-v1-2015-HuangL #approximate #combinator #optimisation #probability #problem
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points (LH, JL), pp. 910–921.
ICMLICML-2015-BachmanP #collaboration #generative #network #probability
Variational Generative Stochastic Networks with Collaborative Shaping (PB, DP), pp. 1964–1972.
ICMLICML-2015-CsibaQR #adaptation #coordination #probability
Stochastic Dual Coordinate Ascent with Adaptive Probabilities (DC, ZQ, PR), pp. 674–683.
ICMLICML-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.
ICMLICML-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.
ICMLICML-2015-HanMS #probability #scalability
Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.
ICMLICML-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.
ICMLICML-2015-HsiehYD #named #parallel #probability
PASSCoDe: Parallel ASynchronous Stochastic dual Co-ordinate Descent (CJH, HFY, ISD), pp. 2370–2379.
ICMLICML-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.
ICMLICML-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.
ICMLICML-2015-SaRO #convergence #matrix #probability #problem
Global Convergence of Stochastic Gradient Descent for Some Non-convex Matrix Problems (CDS, CR, KO), pp. 2332–2341.
ICMLICML-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.
ICMLICML-2015-Shamir #algorithm #convergence #exponential #probability
A Stochastic PCA and SVD Algorithm with an Exponential Convergence Rate (OS), pp. 144–152.
ICMLICML-2015-TheisH #probability #streaming
A trust-region method for stochastic variational inference with applications to streaming data (LT, MDH), pp. 2503–2511.
ICMLICML-2015-WangFS #for free #monte carlo #privacy #probability
Privacy for Free: Posterior Sampling and Stochastic Gradient Monte Carlo (YXW, SEF, AJS), pp. 2493–2502.
ICMLICML-2015-ZhangL #coordination #empirical #probability
Stochastic Primal-Dual Coordinate Method for Regularized Empirical Risk Minimization (YZ, XL), pp. 353–361.
ICMLICML-2015-ZhaoYZL #adaptation #multi #probability
Adaptive Stochastic Alternating Direction Method of Multipliers (PZ, JY, TZ, PL), pp. 69–77.
ICMLICML-2015-ZhaoZ #optimisation #probability
Stochastic Optimization with Importance Sampling for Regularized Loss Minimization (PZ, TZ), pp. 1–9.
KDDKDD-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.
KDDKDD-2015-SatoN #online #probability
Stochastic Divergence Minimization for Online Collapsed Variational Bayes Zero Inference of Latent Dirichlet Allocation (IS, HN), pp. 1035–1044.
KDDKDD-2015-TranHXFB #coordination #probability #scalability
Scaling Up Stochastic Dual Coordinate Ascent (KT, SH, LX, TF, MB), pp. 1185–1194.
SEKESEKE-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.
MoDELSMoDELS-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.
OOPSLAOOPSLA-2015-LeSS #compilation #debugging #probability
Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.
SACSAC-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.
SACSAC-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.
VMCAIVMCAI-2015-RandourRS #probability #problem
Variations on the Stochastic Shortest Path Problem (MR, JFR, OS), pp. 1–18.
CASECASE-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.
CASECASE-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.
CASECASE-2014-HuangL #multi #probability
Stochastic chiller sequencing control for multiple-chiller plants (GH, ZL), pp. 1085–1090.
CASECASE-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.
CASECASE-2014-LongLXJ #distributed #probability
A scenario-based distributed stochastic MPC for building temperature regulation (YL, SL, LX, KHJ), pp. 1091–1096.
CASECASE-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.
CASECASE-2014-YuanLJ #health #probability #problem #scheduling
Home health care crew scheduling and routing problem with stochastic service times (BY, RL, ZJ), pp. 564–569.
DATEDATE-2014-AlaghiH #performance #probability #using
Fast and accurate computation using stochastic circuits (AA, JPH), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-SarafBLR #probability #using
IIR filters using stochastic arithmetic (NS, KB, DJL, MDR), pp. 1–6.
DATEDATE-2014-ShenCQ #mobile #probability
Battery aware stochastic QoS boosting in mobile computing devices (HS, QC, QQ), pp. 1–4.
DATEDATE-2014-ZhangB #analysis #probability
Stochastic analysis of Bubble Razor (GZ, PAB), pp. 1–6.
VLDBVLDB-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.
FoSSaCSFoSSaCS-2014-Chatterjee0GO #game studies #probability
Perfect-Information Stochastic Mean-Payoff Parity Games (KC, LD, HG, YO), pp. 210–225.
FoSSaCSFoSSaCS-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.
PLDIPLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code
Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
ICALPICALP-v1-2014-EsfandiariHKLMR #online #order #probability #scheduling
Online Stochastic Reordering Buffer Scheduling (HE, MH, MRK, VL, HM, HR), pp. 465–476.
LATALATA-2014-DingSXHMC #modelling #probability
Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.
CIKMCIKM-2014-KangLSSK #coordination #distributed #probability
Data/Feature Distributed Stochastic Coordinate Descent for Logistic Regression (DK, WL, KS, LS, UK), pp. 1269–1278.
CIKMCIKM-2014-YuSYL #distributed #matrix #probability
Distributed Stochastic ADMM for Matrix Factorization (ZQY, XJS, LY, WJL), pp. 1259–1268.
ICMLICML-c1-2014-AzadiS #multi #probability #towards
Towards an optimal stochastic alternating direction method of multipliers (SA, SS), pp. 620–628.
ICMLICML-c1-2014-Shalev-Shwartz0 #coordination #probability
Accelerated Proximal Stochastic Dual Coordinate Ascent for Regularized Loss Minimization (SSS, TZ), pp. 64–72.
ICMLICML-c1-2014-Suzuki #coordination #multi #probability
Stochastic Dual Coordinate Ascent with Alternating Direction Method of Multipliers (TS), pp. 736–744.
ICMLICML-c1-2014-ZhongK #multi #performance #probability
Fast Stochastic Alternating Direction Method of Multipliers (WZ, JTYK), pp. 46–54.
ICMLICML-c1-2014-ZhouT #generative #network #predict #probability
Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction (JZ, OGT), pp. 745–753.
ICMLICML-c2-2014-AhnSW #distributed #probability
Distributed Stochastic Gradient MCMC (SA, BS, MW), pp. 1044–1052.
ICMLICML-c2-2014-AzarLB #correlation #feedback #online #optimisation #probability
Online Stochastic Optimization under Correlated Bandit Feedback (MGA, AL, EB), pp. 1557–1565.
ICMLICML-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.
ICMLICML-c2-2014-BengioLAY #generative #network #probability
Deep Generative Stochastic Networks Trainable by Backprop (YB, EL, GA, JY), pp. 226–234.
ICMLICML-c2-2014-CelikkayaS #markov #probability #process
Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
ICMLICML-c2-2014-ChenFG #monte carlo #probability
Stochastic Gradient Hamiltonian Monte Carlo (TC, EBF, CG), pp. 1683–1691.
ICMLICML-c2-2014-Hernandez-LobatoHG #matrix #modelling #probability #scalability
Stochastic Inference for Scalable Probabilistic Modeling of Binary Matrices (JMHL, NH, ZG), pp. 379–387.
ICMLICML-c2-2014-JohnsonW #modelling #probability
Stochastic Variational Inference for Bayesian Time Series Models (MJ, ASW), pp. 1854–1862.
ICMLICML-c2-2014-KusnerTWA #probability
Stochastic Neighbor Compression (MJK, ST, KQW, KA), pp. 622–630.
ICMLICML-c2-2014-LiuWRBS #algorithm #coordination #parallel #probability
An Asynchronous Parallel Stochastic Coordinate Descent Algorithm (JL, SW, CR, VB, SS), pp. 469–477.
ICMLICML-c2-2014-RezendeMW #approximate #generative #modelling #probability
Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICMLICML-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.
ICMLICML-c2-2014-SeldinS #algorithm #probability
One Practical Algorithm for Both Stochastic and Adversarial Bandits (YS, AS), pp. 1287–1295.
ICMLICML-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.
ICMLICML-c2-2014-TitsiasL #probability
Doubly Stochastic Variational Bayes for non-Conjugate Inference (MKT, MLG), pp. 1971–1979.
ICMLICML-c2-2014-ToulisAR #analysis #linear #modelling #probability #statistics
Statistical analysis of stochastic gradient methods for generalized linear models (PT, EA, JR), pp. 667–675.
ICPRICPR-2014-AliNB #classification #constraints #image #probability #scalability
Boosting Stochastic Newton with Entropy Constraint for Large-Scale Image Classification (WBHA, RN, MB), pp. 232–237.
ICPRICPR-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.
KDDKDD-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.
KDDKDD-2014-LiZCS #optimisation #performance #probability
Efficient mini-batch training for stochastic optimization (ML, TZ, YC, AJS), pp. 661–670.
RecSysRecSys-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.
SEKESEKE-2014-FernandesALG #modelling #probability #process #reduction
A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SIGIRSIGIR-2014-LuoZY #game studies #probability
Win-win search: dual-agent stochastic game in session search (JL, SZ, HY), pp. 587–596.
QAPLQAPL-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.
QAPLQAPL-2014-LatellaLMS #communication
Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
ICSEICSE-2014-SuR #analysis #empirical #parametricity #probability
Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
LICSLICS-CSL-2014-BilokonE #approach #probability #process
A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
CASECASE-2013-BentahaBD #composition #probability
A decomposition method for stochastic partial disassembly line balancing with profit maximization (MLB, OB, AD), pp. 404–409.
CASECASE-2013-ChenK #distributed #probability
Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.
DACDAC-2013-AlaghiLH #probability #realtime
Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
DACDAC-2013-AxerE #fault #probability #scheduling
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DATEDATE-2013-GielenM #modelling #probability #simulation
Stochastic degradation modeling and simulation for analog integrated circuits in nanometer CMOS (GGEG, EM), pp. 326–331.
FASEFASE-2013-BapodraH #abstraction #graph transformation #probability
Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
TACASTACAS-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.
TACASTACAS-2013-KempfBM #nondeterminism #probability #scheduling
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.
STOCSTOC-2013-LiY #approximate #combinator #optimisation #probability
Stochastic combinatorial optimization via poisson approximation (JL, WY), pp. 971–980.
ICALPICALP-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.
ICALPICALP-v2-2013-Basset #automaton #probability #process
A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.
ICALPICALP-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.
ICMLICML-c1-2013-OuyangHTG #multi #probability
Stochastic Alternating Direction Method of Multipliers (HO, NH, LT, AGG), pp. 80–88.
ICMLICML-c1-2013-RamdasS #optimisation #probability
Optimal rates for stochastic convex optimization under Tsybakov noise condition (AR, AS), pp. 365–373.
ICMLICML-c1-2013-Shamir0 #convergence #optimisation #probability
Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes (OS, TZ), pp. 71–79.
ICMLICML-c2-2013-RanganathWBX #adaptation #learning #probability
An Adaptive Learning Rate for Stochastic Variational Inference (RR, CW, DMB, EPX), pp. 298–306.
ICMLICML-c2-2013-ValkoCM #optimisation #probability
Stochastic Simultaneous Optimistic Optimization (MV, AC, RM), pp. 19–27.
ICMLICML-c3-2013-SodomkaHLG #game studies #learning #named #probability
Coco-Q: Learning in Stochastic Games with Side Payments (ES, EH, MLL, AG), pp. 1471–1479.
ICMLICML-c3-2013-SzorenyiBHOJK #algorithm #distributed #probability
Gossip-based distributed stochastic bandit algorithms (BS, RBF, IH, RO, MJ, BK), pp. 19–27.
ICMLICML-c3-2013-TarlowSCSZ #learning #probability
Stochastic k-Neighborhood Selection for Supervised and Unsupervised Learning (DT, KS, LC, IS, RSZ), pp. 199–207.
ICMLICML-c3-2013-TeschSC #optimisation #probability
Expensive Function Optimization with Stochastic Binary Outcomes (MT, JGS, HC), pp. 1283–1291.
ICMLICML-c3-2013-ZhangYJH #optimisation #probability
O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions (LZ, TY, RJ, XH), pp. 1121–1129.
KDDKDD-2013-BahadoriLX #learning #performance #probability #process
Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.
KDDKDD-2013-FouldsBDSW #probability
Stochastic collapsed variational Bayesian inference for latent Dirichlet allocation (JRF, LB, CD, PS, MW), pp. 446–454.
KDDKDD-2013-Mu0ZT #probability #problem #scalability
Constrained stochastic gradient descent for large-scale least squares problem (YM, WD, TZ, DT), pp. 883–891.
QAPLQAPL-2013-BertrandS #automaton #game studies #infinity #probability
Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.
SACSAC-2013-Markovski #communication #coordination #probability #process #reliability
Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
ASPLOSASPLOS-2013-Schkufza0A #probability
Stochastic superoptimization (ES, RS, AA), pp. 305–316.
CAVCAV-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.
LICSLICS-2013-NainV #game studies #probability
Solving Partial-Information Stochastic Parity Games (SN, MYV), pp. 341–348.
CASECASE-2012-ChenK #polynomial #probability
Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.
CASECASE-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.
DACDAC-2012-SloanSK #design #on the #probability
On software design for stochastic processors (JS, JS, RK), pp. 918–923.
VLDBVLDB-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.
TACASTACAS-2012-ChenFKPS #automation #probability #verification
Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
STOCSTOC-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.
ICALPICALP-v1-2012-CostelloTT #probability
Stochastic Matching with Commitment (KPC, PT, PT), pp. 822–833.
ICALPICALP-v1-2012-GortzNS #probability
Stochastic Vehicle Routing with Recourse (ILG, VN, RS), pp. 411–423.
ICGTICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
CIKMCIKM-2012-HuangCLL #predict #probability #process #social #using
Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.
CIKMCIKM-2012-SmuckerC #probability #simulation
Stochastic simulation of time-biased gain (MDS, CLAC), pp. 2040–2044.
ICMLICML-2012-AhnBW #probability
Bayesian Posterior Sampling via Stochastic Gradient Fisher Scoring (SA, AKB, MW), p. 230.
ICMLICML-2012-AvronKKS #performance #probability
Efficient and Practical Stochastic Subgradient Descent for Nuclear Norm Regularization (HA, SK, SPK, VS), p. 46.
ICMLICML-2012-BartokZS #adaptation #algorithm #finite #monitoring #probability
An adaptive algorithm for finite stochastic partial monitoring (GB, NZ, CS), p. 231.
ICMLICML-2012-CotterSS #kernel #probability
The Kernelized Stochastic Batch Perceptron (AC, SSS, NS), p. 98.
ICMLICML-2012-Honorio #convergence #learning #modelling #optimisation #probability
Convergence Rates of Biased Stochastic Optimization for Learning Sparse Ising Models (JH), p. 144.
ICMLICML-2012-KalyanakrishnanTAS #multi #probability #set
PAC Subset Selection in Stochastic Multi-armed Bandits (SK, AT, PA, PS), p. 34.
ICMLICML-2012-MimnoHB #probability
Sparse stochastic inference for latent Dirichlet allocation (DMM, MDH, DMB), p. 197.
ICMLICML-2012-OuyangG #probability
Stochastic Smoothing for Nonsmooth Minimizations: Accelerating SGD by Exploiting Structure (HO, AGG), p. 198.
ICMLICML-2012-PaisleyBJ #probability
Variational Bayesian Inference with Stochastic Search (JWP, DMB, MIJ), p. 177.
ICMLICML-2012-RakhlinSS #optimisation #probability
Making Gradient Descent Optimal for Strongly Convex Stochastic Optimization (AR, OS, KS), p. 204.
ICMLICML-2012-YangMJZZ #kernel #learning #multi #probability #programming
Multiple Kernel Learning from Noisy Labels by Stochastic Programming (TY, MM, RJ, LZ, YZ), p. 21.
ICMLICML-2012-YangO #clustering #composition #matrix #probability #rank
Clustering by Low-Rank Doubly Stochastic Matrix Decomposition (ZY, EO), p. 94.
SACSAC-2012-BoumazaB #collaboration #probability
Stochastic search for global neighbors selection in collaborative filtering (AMB, AB), pp. 232–237.
SACSAC-2012-ThanhZ #algorithm #probability #simulation
Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
HPCAHPCA-2012-BalakrishnanS #behaviour #named #probability #using
WEST: Cloning data cache behavior using Stochastic Traces (GB, YS), pp. 387–398.
LICSLICS-2012-ChatterjeeD #game studies #how #probability
Partial-Observation Stochastic Games: How to Win When Belief Fails (KC, LD), pp. 175–184.
ICSTSAT-2012-BalintS #probability
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.
ASEASE-2011-WongC #dependence #probability
Generalizing evolutionary coupling with stochastic dependencies (SW, YC), pp. 293–302.
CASECASE-2011-ChuYSS #probability #simulation #validation
Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-2011-MaricauG #analysis #probability #reliability
Stochastic circuit reliability analysis (EM, GGEG), pp. 1285–1290.
ICDARICDAR-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.
TACASTACAS-2011-TeigeF #probability #problem #satisfiability
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
STOCSTOC-2011-HansenKLMT #algorithm #game studies #probability
Exact algorithms for solving stochastic games: extended abstract (KAH, MK, NL, PBM, EPT), pp. 205–214.
ICALPICALP-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.
ICALPICALP-v1-2011-HuangP #game studies #probability
Automatizability and Simple Stochastic Games (LH, TP), pp. 605–617.
ICALPICALP-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.
ICMLICML-2011-AroraGKF #clustering #matrix
Clustering by Left-Stochastic Matrix Factorization (RA, MRG, AK, MF), pp. 761–768.
ICMLICML-2011-LeeW #identification #learning #online #probability
Manifold Identification of Dual Averaging Methods for Regularized Stochastic Online Learning (SL, SJW), pp. 1121–1128.
ICMLICML-2011-MachartPARG #kernel #learning #probability #rank
Stochastic Low-Rank Kernel Learning for Regression (PM, TP, SA, LR, HG), pp. 969–976.
ICMLICML-2011-WellingT #learning #probability
Bayesian Learning via Stochastic Gradient Langevin Dynamics (MW, YWT), pp. 681–688.
KDDKDD-2011-GemullaNHS #distributed #matrix #probability #scalability
Large-scale matrix factorization with distributed stochastic gradient descent (RG, EN, PJH, YS), pp. 69–77.
RecSysRecSys-2011-JamaliHE #network #probability #rating #recommendation #social
A generalized stochastic block model for recommendation in social rating networks (MJ, TH, ME), pp. 53–60.
RecSysRecSys-2011-PizzatoS #collaboration #people #probability #recommendation
Stochastic matching and collaborative filtering to recommend people to people (LASP, CS), pp. 341–344.
SEKESEKE-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.
QAPLQAPL-2011-BortolussiGH #probability
HYPE with stochastic events (LB, VG, JH), pp. 120–133.
QAPLQAPL-2011-SongNN #probability #π-calculus
A Stochastic Broadcast π-Calculus (LS, FN, BFN), pp. 74–88.
SACSAC-2011-TeixeiraLOM #modelling #probability
Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.
CADECADE-2011-Platzer #difference #hybrid #logic #probability #source code
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CAVCAV-2011-SistlaZF #probability
Monitorability of Stochastic Dynamical Systems (APS, MZ, YF), pp. 720–736.
CASECASE-2010-QiC #constraints #optimisation #probability
Stochastic optimization of hydro-thermal system with annual water consumption constraints (YQ, XC), pp. 1001–1006.
DACDAC-2010-El-MoselhyD #probability
Stochastic dominant singular vectors method for variation-aware extraction (TAEM, LD), pp. 667–672.
DACDAC-2010-NadakuditiM #cost analysis #on the
On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.
DACDAC-2010-ShanbhagAKJ #probability
Stochastic computation (NRS, RAA, RK, DLJ), pp. 859–864.
DATEDATE-2010-NarayananSKJ #probability #scalability
Scalable stochastic processors (SN, JS, RK, DLJ), pp. 335–338.
FASEFASE-2010-TorriniHR #graph transformation #probability #simulation
Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
ICALPICALP-v2-2010-BrazdilEKL #scheduling
Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
LATALATA-2010-WeinbergN #context-free grammar #probability
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics (FW, MEN), pp. 585–595.
GT-VMTGT-VMT-2010-TorriniHRB #graph transformation #probability
Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
ICGTICGT-2010-Donyina #modelling #probability #resource management #simulation
Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.
ICMLICML-2010-LangT #probability #reasoning #relational
Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds (TL, MT), pp. 583–590.
ICPRICPR-2010-AvenelMP #probability #set
Stochastic Filtering of Level Sets for Curve Tracking (CA, ÉM, PP), pp. 3553–3556.
ICPRICPR-2010-PrasadBSCN #adaptation #probability #recognition
Stochastic Segment Model Adaptation for Offline Handwriting Recognition (RP, AB, KS, HC, PN), pp. 1993–1996.
ICPRICPR-2010-SethiC #analysis #motivation #probability #process #video
A Neurobiologically Motivated Stochastic Method for Analysis of Human Activities in Video (RJS, AKRC), pp. 281–285.
ICPRICPR-2010-WijnhovenW #detection #performance #probability #using
Fast Training of Object Detection Using Stochastic Gradient Descent (RGJW, PHNdW), pp. 424–427.
KRKR-2010-HajishirziA #probability #reasoning
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).
SEKESEKE-2010-WangXLS #debugging #optimisation #probability
A Stochastic Model for Optimizing the Patching Time of Software Bugs (YW, DX, WML, DBS), pp. 88–92.
QAPLQAPL-2010-CoppoDDGT #calculus #probability
Stochastic Calculus of Wrapped Compartments (MC, FD, MD, EG, AT), pp. 82–98.
SACSAC-2010-AminBFJ #approach #probability
A stochastic approach to candidate disease gene subnetwork extraction (MSA, AB, RLFJ, HMJ), pp. 1534–1538.
SACSAC-2010-MylavarapuSB #approach #capacity #framework #probability
An optimized capacity planning approach for virtual infrastructure exhibiting stochastic workload (SM, VS, PB), pp. 386–390.
ICSTSAT-2010-BalintF #probability #satisfiability
Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.
VMCAIVMCAI-2010-Esparza #analysis #probability #process
Analysis of Systems with Stochastic Process Creation (JE), p. 1.
CASECASE-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.
DACDAC-2009-BurnhamYH #probability
A stochastic jitter model for analyzing digital timing-recovery circuits (JRB, CKKY, HAH), pp. 116–121.
DACDAC-2009-GongYH #incremental #named #parallel #probability #process
PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation (FG, HY, LH), pp. 764–769.
DACDAC-2009-KimRH #analysis #probability
Stochastic steady-state and AC analyses of mixed-signal systems (JK, JR, MAH), pp. 376–381.
ICDARICDAR-2009-KatayamaUS #order #probability
Stochastic Model of Stroke Order Variation (YK, SU, HS), pp. 803–807.
ICDARICDAR-2009-NatarajanSBP #modelling #probability #recognition
Stochastic Segment Modeling for Offline Handwriting Recognition (PN, KS, AB, RP), pp. 971–975.
STOCSTOC-2009-GuptaK #approximate #probability
A constant-factor approximation for stochastic Steiner forest (AG, AK), pp. 659–668.
STOCSTOC-2009-GuptaKR #design #network #online #probability
Online and stochastic survivable network design (AG, RK, RR), pp. 685–694.
ICALPICALP-v2-2009-BouyerF #game studies #probability #reachability
Reachability in Stochastic Timed Games (PB, VF), pp. 103–114.
ICALPICALP-v2-2009-ChatterjeeDH #bibliography #game studies #probability
A Survey of Stochastic Games with Limsup and Liminf Objectives (KC, LD, TAH), pp. 1–15.
ICALPICALP-v2-2009-GriponS #concurrent #game studies #probability
Qualitative Concurrent Stochastic Games with Imperfect Information (VG, OS), pp. 200–211.
ICALPICALP-v2-2009-NicolaLLM #calculus #probability #process
Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.
ICALPICALP-v2-2009-UmmelsW #complexity #game studies #multi #nash #probability
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (MU, DW), pp. 297–308.
CIKMCIKM-2009-YeCCZ #distributed #probability
Stochastic gradient boosted distributed decision trees (JY, JHC, JC, ZZ), pp. 2061–2064.
ICMLICML-2009-LangT #approximate #probability #relational
Approximate inference for planning in stochastic relational worlds (TL, MT), pp. 585–592.
ICMLICML-2009-Shalev-ShwartzT #probability
Stochastic methods for l1 regularized loss minimization (SSS, AT), pp. 929–936.
ICMLICML-2009-WoodAGJT #probability #sequence
A stochastic memoizer for sequence data (FW, CA, JG, LJ, YWT), pp. 1129–1136.
ICMLICML-2009-YiWSS #probability #using
Stochastic search using the natural gradient (YS, DW, TS, JS), pp. 1161–1168.
KDDKDD-2009-SatuluriP #clustering #community #graph #probability #scalability #using
Scalable graph clustering using stochastic flows: applications to community discovery (VS, SP), pp. 737–746.
QAPLQAPL-2009-LanevePZ #probability #process
From Biochemistry to Stochastic Processes (CL, SP, GZ), pp. 167–185.
SACSAC-2009-CipciganR #difference #equation #probability
Interlaced Euler scheme for stiff systems of stochastic differential equations (IC, MR), pp. 989–994.
SACSAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation
Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.
ICSEICSE-2009-MenziesWBH #how #probability #process #using
How to avoid drastic software process change (using stochastic stability) (TM, SW, BWB, JH), pp. 540–550.
CSLCSL-2009-UmmelsW #game studies #nash #probability #problem
Decision Problems for Nash Equilibria in Stochastic Games (MU, DW), pp. 515–529.
ICLPICLP-2009-Simari #behaviour #modelling #probability #reasoning
Stochastic Reasoning with Models of Agent Behavior (GIS), pp. 538–539.
ICSTICST-2009-AndresMN #probability #testing
Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.
LICSLICS-2009-BertrandGG #decidability #game studies #probability
Qualitative Determinacy and Decidability of Stochastic Games with Signals (NB, BG, HG), pp. 319–328.
ICSTSAT-2009-BelovS #probability #process #satisfiability
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability (AB, ZS), pp. 258–264.
VMCAIVMCAI-2009-GondiPS #monitoring #probability
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
CASECASE-2008-AdamekSS #hybrid #nondeterminism #probability
Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASECASE-2008-BrantleyLCC #design #empirical #optimisation #probability
Optimal sampling in design of experiment for simulation-based stochastic optimization (MWB, LHL, CHC, AC), pp. 388–393.
CASECASE-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.
DACDAC-2008-JungRP #manycore #modelling #probability
Stochastic modeling of a thermally-managed multi-core system (HJ, PR, MP), pp. 728–733.
DACDAC-2008-MoselhyD #equation #performance #probability
Stochastic integral equation solver for efficient variation-aware interconnect extraction (TM, LD), pp. 415–420.
DACDAC-2008-QianR #logic #polynomial #probability #robust #synthesis
The synthesis of robust polynomial arithmetic with stochastic logic (WQ, MDR), pp. 648–653.
DATEDATE-2008-TanQ #framework #markov #power management #probability #using
A Framework of Stochastic Power Management Using Hidden Markov Model (YT, QQ), pp. 92–97.
FoSSaCSFoSSaCS-2008-AbdullaHAMS #game studies #probability
Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.
FoSSaCSFoSSaCS-2008-GimbertH #game studies #probability #random
Simple Stochastic Games with Few Random Vertices Are Easy to Solve (HG, FH), pp. 5–19.
FoSSaCSFoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation
Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.
FoSSaCSFoSSaCS-2008-KlinS #calculus #probability #process #semantics
Structural Operational Semantics for Stochastic Process Calculi (BK, VS), pp. 428–442.
ICALPICALP-A-2008-EtessamiWY #game studies #probability #recursion
Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.
LATALATA-2008-RegnaultST #2d #analysis #automaton #on the #probability
On the Analysis of “Simple” 2D Stochastic Cellular Automata (DR, NS, ET), pp. 452–463.
SFMSFM-2008-DegasperiG #analysis #modelling #probability
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions (AD, SG), pp. 1–20.
SFMSFM-2008-Zavattaro #automaton #probability
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2008-LiuLLJT #graph #probability #representation
Layered shape matching and registration: Stochastic sampling with hierarchical graph representation (XL, LL, HL, HJ, WT), pp. 1–4.
ICPRICPR-2008-Patanavijit #estimation #multi #probability #robust
A robust iterative multiframe SRR based on Hampel stochastic estimation with Hampel-Tikhonov regularization (VP), pp. 1–4.
SEKESEKE-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.
QAPLQAPL-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.
SACSAC-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.
SACSAC-2008-TakasuA #analysis #documentation #information management #layout #probability
Information extraction from scanned documents by stochastic page layout analysis (AT, KA), pp. 447–448.
ICLPICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.
VMCAIVMCAI-2008-SistlaS #monitoring #probability
Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.
CASECASE-2007-DingAS #modelling #probability
Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines (SD, RAT, JGS), pp. 77–81.
CASECASE-2007-DingSA #modelling #probability
Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines (SD, JGS, RAT), p. 91–?.
DACDAC-2007-FettBR
Synthesizing Stochasticity in Biochemical Systems (BF, JB, MDR), pp. 640–645.
DATEDATE-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.
DATEDATE-2007-ZhuP #algorithm #graph #probability #random
Random sampling of moment graph: a stochastic Krylov-reduction algorithm (ZZ, JRP), pp. 1502–1507.
DATEDATE-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.
FoSSaCSFoSSaCS-2007-Chatterjee #game studies #probability #synthesis
Optimal Strategy Synthesis in Stochastic Müller Games (KC), pp. 138–152.
ICALPICALP-2007-GimbertZ #game studies #probability
Perfect Information Stochastic Priority Games (HG, WZ), pp. 850–861.
ICALPICALP-2007-KatrielKU #nondeterminism #probability #problem
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems (IK, CKM, EU), pp. 171–182.
LATALATA-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.
SEFMSEFM-2007-MerayoN #consistency #probability #testing
Testing conformance on Stochastic Stream X-Machines (MGM, MN), pp. 227–236.
SFMSFM-2007-Balbo #petri net #probability
Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
SFMSFM-2007-ClarkGHT #algebra #probability #process
Stochastic Process Algebras (AC, SG, JH, MT), pp. 132–179.
SFMSFM-2007-KwiatkowskaNP #model checking #probability
Stochastic Model Checking (MZK, GN, DP), pp. 220–270.
KDDKDD-2007-CotofreiS #data mining #mining #probability #process
Stochastic processes and temporal data mining (PC, KS), pp. 183–190.
SEKESEKE-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.
QAPLQAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming
Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
QAPLQAPL-2007-Smith #communication #modelling #probability #protocol #source code
Stochastic Modelling of Communication Protocols from Source Code (MJAS), pp. 129–145.
SACSAC-2007-BordeauxS #constraints #framework #on the #probability
On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.
DACDAC-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.
STOCSTOC-2006-FleischerKLS #multi #probability
Simple cost sharing schemes for multicommodity rent-or-buy and stochastic Steiner tree (LF, JK, SL, GS), pp. 663–670.
STOCSTOC-2006-LeviRS #algorithm #modelling #probability
Provably near-optimal sampling-based algorithms for Stochastic inventory control models (RL, RR, DBS), pp. 739–748.
ICALPICALP-v2-2006-EtessamiY #concurrent #game studies #probability #recursion
Recursive Concurrent Stochastic Games (KE, MY), pp. 324–335.
ICGTICGT-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.
ICMLICML-2006-RudaryS #modelling #predict #probability
Predictive linear-Gaussian models of controlled stochastic dynamical systems (MRR, SPS), pp. 777–784.
ICMLICML-2006-VishwanathanSSM #probability #random
Accelerated training of conditional random fields with stochastic gradient methods (SVNV, NNS, MWS, KPM), pp. 969–976.
ICMLICML-2006-WingateS #kernel #linear #modelling #predict #probability
Kernel Predictive Linear Gaussian models for nonlinear stochastic dynamical systems (DW, SPS), pp. 1017–1024.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2006-YeungS #framework #probability #set #symmetry
Stochastic Framework for Symmetric Affine Matching between Point Sets (SKY, PS), pp. 790–793.
ICPRICPR-v3-2006-ZhuDJ #modelling #probability
Compound Stochastic Models For Fingerprint Individuality (YZ, SCD, AKJ), pp. 532–535.
QAPLQAPL-2005-McIverM06 #calculus #game studies #novel #probability #μ-calculus
A Novel Stochastic Game Via the Quantitative μ-calculus (AM, CM), pp. 195–212.
QAPLQAPL-2006-Bortolussi #concurrent #constraints #probability #programming
Stochastic Concurrent Constraint Programming (LB), pp. 65–80.
QAPLQAPL-2006-VigliottiH #calculus #probability
Stochastic Ambient Calculus (MGV, PGH), pp. 169–186.
QAPLQAPL-2006-WolfBM06a #nondeterminism #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
SACSAC-2006-AltLM #linear #on the #probability #problem #using
On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.
SACSAC-2006-Lecca #algorithm #probability #π-calculus
A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus (PL), pp. 137–144.
SACSAC-2006-SemghouniSAB #probability #realtime #transaction
Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.
HPDCHPDC-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.
ISSTAISSTA-2006-SevcikovaBSB #approach #automation #probability #statistics #testing
Automated testing of stochastic systems: a statistically grounded approach (HS, AB, DS, WGB), pp. 215–224.
LICSLICS-2006-BrazdilBFK #game studies #probability
Stochastic Games with Branching-Time Winning Objectives (TB, VB, VF, AK), pp. 349–358.
LICSLICS-2006-Kozen #induction #probability #process #proving
Coinductive Proof Principles for Stochastic Processes (DK), pp. 359–366.
CASECASE-2005-TanonkouBBX #approach #probability #problem #using
Solving a stochastic inventory-location problem using Lagrangian relaxation approach (GAT, LB, RB, XX), pp. 279–284.
DATEDATE-2005-GhantaVPW #analysis #grid #power management #probability #process
Stochastic Power Grid Analysis Considering Process Variations (PG, SBKV, RP, JMW), pp. 964–969.
ICDARICDAR-2005-HandleyNZ #comprehension #context-free grammar #documentation #probability #using
Document Understanding System Using Stochastic Context-Free Grammars (JCH, AMN, RZ), pp. 511–515.
SIGMODSIGMOD-2005-XieYC #on the #probability
On Joining and Caching Stochastic Streams (JX, JY, YC), pp. 359–370.
FoSSaCSFoSSaCS-2005-CattaniSKN #nondeterminism #probability
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
CIAACIAA-2005-HigueraPT #automaton #finite #learning #probability #recognition
Learning Stochastic Finite Automata for Musical Style Recognition (CdlH, FP, FT), pp. 345–346.
ICALPICALP-2005-ChatterjeeAH #complexity #game studies #probability
The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.
ICALPICALP-2005-EtessamiY #game studies #markov #probability #process #recursion
Recursive Markov Decision Processes and Recursive Stochastic Games (KE, MY), pp. 891–903.
ICALPICALP-2005-GuptaP #probability
Stochastic Steiner Trees Without a Root (AG, MP), pp. 1051–1063.
ECMFAECMDA-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.
SACSAC-2005-PandeyGM #algorithm #learning #probability #scheduling
Stochastic scheduling of active support vector learning algorithms (GP, HG, PM), pp. 38–42.
CAVCAV-2005-SenVA #model checking #on the #probability #statistics
On Statistical Model Checking of Stochastic Systems (KS, MV, GA), pp. 266–280.
DACDAC-2004-PantBZSP #analysis #approach #grid #power management #probability
A stochastic approach To power grid analysis (SP, DB, VZ, SS, RP), pp. 171–176.
VLDBVLDB-2004-ZhuR #consistency #data flow #probability #scalability
Stochastic Consistency, and Scalable Pull-Based Caching for Erratic Data Sources (SZ, CVR), pp. 192–203.
FoSSaCSFoSSaCS-2004-Zielonka #game studies #probability
Perfect-Information Stochastic Parity Games (WZ), pp. 499–513.
STOCSTOC-2004-GuptaPRS #algorithm #approximate #optimisation #probability
Boosted sampling: approximation algorithms for stochastic optimization (AG, MP, RR, AS), pp. 417–426.
CIAACIAA-2004-Shan #graph grammar #modelling #probability
Stochastic Context-Free Graph Grammars for Glycoprotein Modelling (BS), pp. 247–258.
SEFMSEFM-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.
SFMSFM-2004-Bravetti #probability #realtime
Real Time and Stochastic Time (MB), pp. 132–180.
ICGTICGT-2004-HeckelLM #graph transformation #probability
Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.
ICMLICML-2004-Zhang #algorithm #linear #predict #probability #problem #scalability #using
Solving large scale linear prediction problems using stochastic gradient descent algorithms (TZ0).
ICPRICPR-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.
ICPRICPR-v2-2004-OdobezG #modelling #probability
Embedding Motion in Model-Based Stochastic Tracking (JMO, DGP), pp. 815–818.
ICPRICPR-v2-2004-WillisSC #3d #probability
Surface Sculpting with Stochastic Deformable 3D Surfaces (ARW, JS, DBC), pp. 249–252.
ICPRICPR-v4-2004-ImbaultL #approach #optimisation #parametricity #probability
A Stochastic Optimization Approach for Parameter Tuning of Support Vector Machines (FI, KL), pp. 597–600.
SACSAC-2004-LeccaPLC #predict #probability #π-calculus
Predicting cell adhesion probability via the biochemical stochastic π-calculus (PL, CP, CL, GC), pp. 211–212.
CCCC-2004-OzerNG #approximate #probability #using
Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors (, AN, DG), pp. 250–264.
CSLCSL-2004-ChatterjeeMJ #game studies #nash #on the #probability
On Nash Equilibria in Stochastic Games (KC, RM, MJ), pp. 26–40.
DATEDATE-2003-DumitrasM #communication #probability
On-Chip Stochastic Communication (TD, RM), pp. 10790–10795.
ICDARICDAR-2003-KangK #probability #recognition #representation
Handwritten Hangul Character Recognition with Hierarchical Stochastic Character Representation (KWK, JHK), p. 212–?.
FoSSaCSFoSSaCS-2003-Doberkat #probability
The Converse of a Stochastic Relation (EED), pp. 233–249.
STOCSTOC-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.
CIAACIAA-2003-DaleyEM #automaton #probability #retrieval
Bag Automata and Stochastic Retrieval of Biomolecules in Solution (MD, MGE, IM), pp. 239–250.
DLTDLT-2003-FalcoGL #modelling #probability
Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models (DdF, MG, VL), pp. 242–253.
ICALPICALP-2003-Doberkat #bisimulation #category theory #probability
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations (EED), pp. 996–1007.
ICMLICML-2003-LiWL #classification #generative #keyword #probability #using
Text Classification Using Stochastic Keyword Generation (CL, JRW, HL), pp. 464–471.
ICMLICML-2003-RuckertK #learning #probability
Stochastic Local Search in k-Term DNF Learning (UR, SK), pp. 648–655.
CSLCSL-2003-ChatterjeeJH #game studies #probability
Simple Stochastic Parity Games (KC, MJ, TAH), pp. 100–113.
ICALPICALP-2002-AblayevMP #bound #branch #probability #quantum #source code
Quantum and Stochastic Branching Programs of Bounded Width (FMA, CM, CP), pp. 343–354.
ICALPICALP-2002-Merkle #probability #sequence
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences (WM), pp. 390–400.
IFMIFM-2002-LopezNR #algebra #probability #process
Stochastic Process Algebras Meet Eden (NL, MN, FR), pp. 29–48.
ICPRICPR-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.
ICPRICPR-v2-2002-KovacsS #animation #detection #probability
Creating Animations Combining Stochastic Paintbrush Transformation and Motion Detection (LK, TS), p. 1090–?.
ICPRICPR-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.
ICPRICPR-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.
SEKESEKE-2002-FarinaFO #automaton #modelling #network #probability #representation
Representing software usage models with stochastic automata networks (AGF, PF, FMO), pp. 401–407.
POPLPOPL-2002-RamseyP #monad #probability #λ-calculus
Stochastic λ calculus and monads of probability distributions (NR, AP), pp. 154–165.
DACDAC-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.
ICDARICDAR-2001-KimSL #modelling #probability #using
Character Spotting Using Image-Based Stochastic Models (SKK, BKS, SWL), pp. 60–63.
ICDARICDAR-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.
TACASTACAS-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.
ICMLICML-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.
ICSTSAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier
Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.
ICSTSAT-2001-LynceBM #algorithm #probability #satisfiability
Stochastic Systematic Search Algorithms for Satisfiability (IL, LB, JMS), pp. 190–204.
DACDAC-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.
DATEDATE-2000-DemirF #evaluation #modelling #performance #probability
Stochastic Modeling and Performance Evaluation for Digital Clock and Data Recovery Circuits (AD, PF), pp. 340–344.
IFMIFM-2000-HermannsKMS #algebra #model checking #probability #process #towards
Towards Model Checking Stochastic Process Algebra (HH, JPK, JMK, MS), pp. 420–439.
ICMLICML-2000-HuW #game studies #probability
Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.
ICPRICPR-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.
ICPRICPR-v3-2000-Ney #classification #modelling #probability #recognition #speech
Stochastic Modeling: From Pattern Classification to Speech Recognition and Translation (HN), pp. 3025–3032.
ICPRICPR-v4-2000-Perez-CortesAAL #parsing #probability
Stochastic Error-Correcting Parsing for OCR Post-Processing (JCPC, JCA, JA, RL), pp. 4405–4408.
PPDPPPDP-2000-Panangaden #logic #probability #process
From logic to stochastic processes (abstract only) (PP), pp. 1–2.
LCTESLCTES-2000-ChakravertyR #framework #probability #realtime
A Stochastic Framework for Co-synthesis of Real-Time Systems (SC, CPR), pp. 96–113.
TACASTACAS-1999-GardnerL #probability #realtime
Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.
CIKMCIKM-1999-LiY #classification #probability #using
Text Classification Using ESC-based Stochastic Decision Lists (HL, KY), pp. 122–130.
ICMLICML-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.
POPLPOPL-1999-GuptaJP #concurrent #constraints #probability #process #source code
Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.
VLDBVLDB-1998-Slutz #probability #sql #testing
Massive Stochastic Testing of SQL (DRS), pp. 618–622.
ECIRACIR-1998-ZaragozaG #information management #information retrieval #modelling #probability
Coupled Hierarchical IR and Stochastic Models for Surface Information Extraction (HZ, PG).
ICMLICML-1998-KollerF #approximate #learning #probability #process #using
Using Learning for Approximation in Stochastic Processes (DK, RF), pp. 287–295.
ICMLICML-1998-MitaimK #adaptation #fuzzy #probability
Stochastic Resonance with Adaptive Fuzzy Systems (SM, BK), pp. 377–385.
ICPRICPR-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.
ICPRICPR-1998-HanKKL #network #probability #segmentation
Temporal segmentation and selective attention in the stochastic oscillator neural network (SKH, WSK, HK, SWL), pp. 259–261.
ICLPJICSLP-1998-Ruiz-AndinoR #integration #optimisation #probability
Integration of CLP and Stochastic Optimisation Strategies (ARA, JJR), pp. 351–352.
PODSPODS-1997-NerjesMW #multi #probability
Stochastic Service Guarantees for Continuous Data on Multi-Zone Disks (GN, PM, GW), pp. 154–160.
DLTDLT-1997-Zhiltsova #context-free grammar #probability
An Optimal Coding for Stochastic Context-Free Languages with Unique Derivation (LPZ), pp. 539–550.
ICSEICSE-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.
DACDAC-1996-MarculescuMP #generative #probability #sequence #synthesis
Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation (DM, RM, MP), pp. 696–701.
TACASTACAS-1996-HermannsMR #algebra #analysis #probability #process
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.
ICPRICPR-1996-AstromH #analysis #detection #modelling #probability
Stochastic modelling and analysis of sub-pixel edge detection (, AH), pp. 86–90.
ICPRICPR-1996-AstromH96a #analysis #probability
Stochastic analysis of scale-space smoothing (, AH), pp. 305–309.
ICPRICPR-1996-CharvillatT #3d #modelling #probability
Registration of stereo-based 3D maps for object modeling: a stochastic yet intelligent solution (VC, BT), pp. 780–785.
ICPRICPR-1996-KitamotoT #classification #image #probability
A stochastic model of mixels and image classification (AK, MT), pp. 745–749.
PPDPPLILP-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.
ICDARICDAR-v1-1995-OlivierPAL #modelling #probability #recognition #using #word
Recognition of handwritten words using stochastic models (CO, TP, MA, YL), pp. 19–23.
ICDARICDAR-v1-1995-SaonBG #modelling #probability #recognition #word
Stochastic trajectory modeling for recognition of unconstrained handwritten words (GS, AB, YG), pp. 508–511.
STOCSTOC-1995-RaghavanU #probability
Stochastic contention resolution with short delays (PR, EU), pp. 229–237.
ICALPICALP-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.
ICMLICML-1995-KimuraYK #learning #probability
Reinforcement Learning by Stochastic Hill Climbing on Discounted Reward (HK, MY, SK), pp. 295–303.
SEKESEKE-1995-Gattiker #functional #petri net #probability #representation
Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.
CAVCAV-1995-AzizSB #logic #probability
It Usually Works: The Temporal Logic of Stochastic Systems (AA, VS, FB), pp. 155–165.
LICSLICS-1995-Edalat #probability #process
Domain Theory in Stochastic Processes (AE), pp. 244–254.
DACDAC-1994-MehrotraFL #approach #optimisation #probability
Stochastic Optimization Approach to Transistor Sizing for CMOS VLSI Circuits (SM, PDF, WL), pp. 36–40.
ICMLICML-1994-AbeM #predict #probability
A New Method for Predicting Protein Secondary Structures Based on Stochastic Tree Grammars (NA, HM), pp. 3–11.
SACSAC-1994-RaoI #approach #probability #problem
A stochastic approach to the bin-packing problem (RLR, SSI), pp. 261–265.
ICDARICDAR-1993-ParkL #modelling #multi #probability #recognition
Large-set handwritten character recognition with multiple stochastic models (HSP, SWL), pp. 143–146.
ICMLICML-1993-Kaelbling #learning #probability
Hierarchical Learning in Stochastic Domains: Preliminary Results (LPK), pp. 167–173.
ICMLML-1992-KononenkoK #generative #learning #multi #optimisation #probability
Learning as Optimization: Stochastic Generation of Multiple Knowledge (IK, MK), pp. 257–262.
ICMLML-1992-Mahadevan #learning #modelling #probability
Enhancing Transfer in Reinforcement Learning by Building Stochastic Models of Robot Actions (SM), pp. 290–299.
DACDAC-1991-Najm #probability #process
Transition Density, A Stochastic Measure of Activity in Digital Circuits (FNN), pp. 644–649.
SIGMODSIGMOD-1991-TsangarisN #approach #clustering #probability
A Stochastic Approach for Clustering in Object Bases (MMT, JFN), pp. 12–21.
ICMLML-1991-BennettD #probability
Comparing Stochastic Planning to the Acquisition of Increasingly Permissive Plans (SB, GD), pp. 586–590.
ICMLML-1991-YamanishiK #learning #probability #search-based #sequence
Learning Stochastic Motifs from Genetic Sequences (KY, AK), pp. 467–471.
SIGIRSIGIR-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.
DACDAC-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.
SIGMODSIGMOD-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.
PPoPPPPEALS-1988-Nicol #network #parallel #probability #simulation
Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks (DMN), pp. 124–137.
SIGIRSIGIR-1987-OommenM #automaton #clustering #learning #performance #probability #using
Fast Object Partitioning Using Stochastic Learning Automata (BJO, DCYM), pp. 111–122.
DACDAC-1985-RoseBT #analysis #design #performance #probability #tool support
Integrating stochastic performance analysis with system design tools (CWR, MB, YT), pp. 482–488.
STOCSTOC-1971-Santos #algebra #probability
Algebraic Structure Theory of Stochastic Machines (ESS), pp. 219–243.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.