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.