BibSLEIGH — probabilist stem

Used together with:

model (250)
analysi (93)
base (87)
system (84)
use (84)

Stem probabilist$ (all stems)

1017 papers:

DAC-2015-MundhenkSLFC #analysis #architecture #model checking #probability #security #using: Security analysis of automotive architectures using probabilistic model checking (PM, SS, ML, SAF, SC), p. 6.
DAC-2015-TretterKT #multi #probability: Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts (AT, PK, LT), p. 6.
DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards: Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
DATE-2015-IqtedarHSH #analysis #distributed #probability: Formal probabilistic analysis of distributed dynamic thermal management (SI, OH, MS, JH), pp. 1221–1224.
SIGMOD-2015-PengW #probability #query: k-Hit Query: Top-k Query with Probabilistic Utility Function (PP, RCWW), pp. 577–592.
VLDB-2015-GatterbauerS #approximate #database #probability: Approximate Lifted Inference with Probabilistic Databases (WG, DS), pp. 629–640.
VLDB-2015-ParkMS #pipes and filters #probability #query #using: Processing of Probabilistic Skyline Queries Using MapReduce (YP, JKM, KS), pp. 1406–1417.
VLDB-2015-VattaniCL #probability: Optimal Probabilistic Cache Stampede Prevention (AV, FC, KL), pp. 886–897.
ESOP-2015-GordonRSBRGT #probability #query #source code #spreadsheet: Probabilistic Programs as Spreadsheet Queries (ADG, CVR, MS, JB, NR, TG, DT), pp. 1–25.
ESOP-2015-TorontoMH #probability #source code: Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.
FoSSaCS-2015-ChadhaSVB #automaton #decidability #probability: Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.
FoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning: Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.
TACAS-2015-ChistikovDM #approximate #estimation #probability #smt #source code: Approximate Counting in SMT and Value Estimation for Probabilistic Programs (DVC, RD, RM), pp. 320–334.
TACAS-2015-KiniV #automaton #ltl #probability: Limit Deterministic and Probabilistic Automata for LTL ∖ GU (DK, MV), pp. 628–642.
PLDI-2015-NoriORV #performance #probability #source code #synthesis: Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.
DLT-2015-GainutdinovaY #automaton #probability #problem #quantum: Unary Probabilistic and Quantum Automata on Promise Problems (AG, AY), pp. 252–263.
ICALP-v1-2015-DoronT #approximate #graph #on the #probability #problem: On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace (DD, ATS), pp. 419–431.
ICALP-v2-2015-Boreale #analysis #approximate #generative #probability: Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
ICALP-v2-2015-Chatterjee0V #complexity #component #probability #synthesis: The Complexity of Synthesis from Probabilistic Components (KC, LD, MYV), pp. 108–120.
ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability: Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
FM-2015-EisentrautGHS0 #bisimulation #probability: Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
CHI-2015-SchwarzMH #architecture #feedback #generative #interactive #probability #user interface: An Architecture for Generating Interactive Feedback in Probabilistic User Interfaces (JS, JM, SEH), pp. 2545–2554.
HCI-UC-2015-FrauCT #mobile #predict #probability #prototype #visualisation: Graphic Visualization of Probabilistic Traffic/Trajectory Predictions in Mobile Applications. A First Prototype and Evaluations for General Aviation Purposes (GF, FDC, DT), pp. 154–164.
CAiSE-2015-BrownL #probability #quality: Probabilistic Keys for Data Quality Management (PB, SL), pp. 118–132.
ECIR-2015-TsaiKH #approximate #distance #multi #probability: Approximating Weighted Hamming Distance by Probabilistic Selection for Multiple Hash Tables (CYT, YHK, WHH), pp. 123–134.
ICML-2015-FouldsKG #framework #modelling #network #probability #programming #topic: Latent Topic Networks: A Versatile Probabilistic Programming Framework for Topic Models (JRF, SHK, LG), pp. 777–786.
ICML-2015-Hernandez-Lobato #feature model #multi #probability: A Probabilistic Model for Dirty Multi-task Feature Selection (DHL, JMHL, ZG), pp. 1073–1082.
ICML-2015-Hernandez-Lobato15b #learning #network #probability #scalability: Probabilistic Backpropagation for Scalable Learning of Bayesian Neural Networks (JMHL, RA), pp. 1861–1869.
ICML-2015-XinW #adaptation #probability #rank: Pushing the Limits of Affine Rank Minimization by Adapting Probabilistic PCA (BX, DPW), pp. 419–427.
ICML-2015-ZhuE #approach #hybrid #probability #random #using: A Hybrid Approach for Probabilistic Inference using Random Projections (MZ, SE), pp. 2039–2047.
KDD-2015-DuncanE #modelling #probability: Probabilistic Modeling of a Sales Funnel to Prioritize Leads (BAD, CPE), pp. 1751–1758.
KDD-2015-Gomez-Rodriguez #machine learning #modelling #network #probability #problem #research #social: Diffusion in Social and Information Networks: Research Problems, Probabilistic Models and Machine Learning Methods (MGR, LS), pp. 2315–2316.
KDD-2015-HanT #community #network #probability #social: Probabilistic Community and Role Model for Social Networks (YH, JT), pp. 407–416.
KDD-2015-LakretzCFR #modelling #probability #visual notation: Probabilistic Graphical Models of Dyslexia (YL, GC, NF, MRZ), pp. 1919–1928.
MLDM-2015-AkbariniaM #probability #streaming: Aggregation-Aware Compression of Probabilistic Streaming Time Series (RA, FM), pp. 232–247.
RecSys-2015-ChaneyBE #network #personalisation #probability #recommendation #social #using: A Probabilistic Model for Using Social Networks in Personalized Item Recommendation (AJBC, DMB, TER), pp. 43–50.
RecSys-2015-KoukiFFEG #flexibility #framework #hybrid #named #probability #recommendation: HyPER: A Flexible and Extensible Probabilistic Framework for Hybrid Recommender Systems (PK, SF, JRF, ME, LG), pp. 99–106.
SEKE-2015-ChenZWLPW #mining #probability #specification: Mining Universal Specification Based on Probabilistic Model (DC, YZ, RW, XL, LP, WW), pp. 471–476.
SIGIR-2015-LiuAH #information retrieval #probability #using: Using Term Location Information to Enhance Probabilistic Information Retrieval (BL, XA, JXH), pp. 883–886.
SIGIR-2015-Paik #information retrieval #probability: A Probabilistic Model for Information Retrieval Based on Maximum Value Distribution (JHP), pp. 585–594.
SIGIR-2015-SchuthBBDGOTVVW #evaluation #multi #online #probability #retrieval: Probabilistic Multileave for Online Retrieval Evaluation (AS, RJB, FB, JvD, CG, HO, CNT, BV, JvdV, RW, DW, MdR), pp. 955–958.
MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
QAPL-2015-LeeV #bisimulation #branch #congruence #probability: Rooted branching bisimulation as a congruence for probabilistic transition systems (MDL, EPdV), pp. 79–94.
QAPL-2015-RosendahlK #analysis #probability: Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.
PADL-2015-ShterionovJ #implementation #performance #pipes and filters #probability: Implementation and Performance of Probabilistic Inference Pipelines (DSS, GJ), pp. 90–104.
POPL-2015-FioritiH #composition #probability #termination: Probabilistic Termination: Soundness, Completeness, and Compositionality (LMFF, HH), pp. 489–501.
POPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning: Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
SAC-2015-ShterionovJ #component #pipes and filters #probability: Crucial components in probabilistic inference pipelines (DSS, GJ), pp. 1887–1889.
SAC-2015-StracciaM #concept #estimation #fuzzy #learning #named #owl #probability #using: pFOIL-DL: learning (fuzzy) EL concept descriptions from crisp OWL data using a probabilistic ensemble estimation (US, MM), pp. 345–352.
ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation: Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
ESEC-FSE-2015-MorenoCGS #adaptation #approach #model checking #nondeterminism #probability #self: Proactive self-adaptation under uncertainty: a probabilistic model checking approach (GAM, JC, DG, BRS), pp. 1–12.
ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability: Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics: Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
ASPLOS-2015-MishraZLH #approach #constraints #energy #modelling #performance #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
CSL-2015-KupfermanV #finite #on the #probability: On Relative and Probabilistic Finite Counterability (OK, GV), pp. 175–192.
ICLP-2015-MartinezRIAT #learning #modelling #probability: Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT).
LICS-2015-AtseriasB #probability: Entailment among Probabilistic Implications (AA, JLB), pp. 621–632.
LICS-2015-BrazdilKKN #behaviour #probability: Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.
ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation: Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
DAC-2014-LiangC #analysis #clustering #named #network #probability #reduction #scalability #smarttech: ClusRed: Clustering and Network Reduction Based Probabilistic Optimal Power Flow Analysis for Large-Scale Smart Grids (YL, DC), p. 6.
DAC-2014-YounGK #debugging #locality #probability #statistics: Probabilistic Bug Localization via Statistical Inference based on Partially Observed Data (SY, CG, JK), p. 6.
DATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability: On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
DATE-2014-JalleKAQC #design #manycore: Bus designs for time-probabilistic multicore processors (JJ, LK, JA, EQ, FJC), pp. 1–6.
DATE-2014-LangeSJHLS #correlation #modelling #parametricity #probability #standard: Probabilistic standard cell modeling considering non-Gaussian parameters and correlations (AL, CS, RJ, JH, IL, US), pp. 1–4.
DRR-2014-PuriSH #modelling #probability: Probabilistic modeling of children’s handwriting (MP, SNS, LH), pp. 902103–13.
PODS-2014-FinkO #database #probability #query: A dichotomy for non-repeating queries with negation in probabilistic databases (RF, DO), pp. 144–155.
SIGMOD-2014-ChenW #knowledge base #probability: Knowledge expansion over probabilistic knowledge bases (YC, DZW), pp. 649–660.
SIGMOD-2014-ShenHW #network #probability #web: A probabilistic model for linking named entities in web text with heterogeneous information networks (WS, JH, JW), pp. 1199–1210.
ESOP-2014-CrubilleL #bisimulation #call-by #on the #probability #λ-calculus: On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (RC, UDL), pp. 209–228.
FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard: Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
FoSSaCS-2014-BertrandFHHH #probability: Active Diagnosis for Probabilistic Systems (NB, EF, SH, SH, LH), pp. 29–42.
FoSSaCS-2014-BonnetKL #analysis #parallel #probability #process: Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
FoSSaCS-2014-DArgenioGL #axiom #bisimulation #metric #probability: Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (PRD, DG, MDL), pp. 289–303.
TACAS-2014-DragerFKPU #probability #synthesis: Permissive Controller Synthesis for Probabilistic Systems (KD, VF, MZK, DP, MU), pp. 531–546.
TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process: Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier: Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
PLDI-2014-HurNRS #probability #slicing #source code: Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.
PLDI-2014-SampsonPMMGC #probability #verification: Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
SAS-2014-ChakarovS #fixpoint #invariant #probability: Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
ICALP-v2-2014-JungLGS #first-order #logic #probability: Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.
ICALP-v2-2014-KieferW #automaton #complexity #probability: Stability and Complexity of Minimising Probabilistic Automata (SK, BW), pp. 268–279.
LATA-2014-KleinMBK #automaton #model checking #probability #question: Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.
LATA-2014-LiPT #probability #process #simulation: Probabilistic Simulation for Probabilistic Data-Aware Business Processes (HL, FP, FT), pp. 503–515.
LATA-2014-Weidner #probability #regular expression: Probabilistic ω-Regular Expressions (TW), pp. 588–600.
FM-2014-FengZ #automaton #bisimulation #equivalence #probability: When Equivalence and Bisimulation Join Forces in Probabilistic Automata (YF, LZ), pp. 247–262.
FM-2014-HahnLSTZ #model checking #named #probability: iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
IFM-2014-KordyPS #framework #probability #security: A Probabilistic Framework for Security Scenarios with Dependent Actions (BK, MP, PS), pp. 256–271.
CHI-2014-SchwarzXMHH #classification #probability #using: Probabilistic palm rejection using spatiotemporal touch features and iterative classification (JS, RX, JM, SEH, CH), pp. 2009–2012.
CIKM-2014-LiZLW #classification #probability: Probabilistic Classifier Chain Inference via Gibbs Sampling (LL, LZ, GL, HW), pp. 1855–1858.
CIKM-2014-MaSYC #hashtag #modelling #probability #twitter: Tagging Your Tweets: A Probabilistic Modeling of Hashtag Annotation in Twitter (ZM, AS, QY, GC), pp. 999–1008.
CIKM-2014-PfeifferNB #learning #network #probability #using: Active Exploration in Networks: Using Probabilistic Relationships for Learning and Inference (JJPI, JN, PNB), pp. 639–648.
CIKM-2014-TakayamaTIOFC #detection #probability: A Word-Scale Probabilistic Latent Variable Model for Detecting Human Values (YT, YT, EI, DWO, KRF, ASC), pp. 1489–1498.
CIKM-2014-TongZC0 #graph #nondeterminism #performance #probability #scalability: Efficient Probabilistic Supergraph Search Over Large Uncertain Graphs (YT, XZ, CCC, LC), pp. 809–818.
CIKM-2014-YaoRSLF #locality #probability: Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches (LY, WR, QZS, XL, NJGF), pp. 1799–1802.
CIKM-2014-Zhang0T #collaboration #framework #named #probability #query: MaC: A Probabilistic Framework for Query Answering with Machine-Crowd Collaboration (CJZ, LC, YT), pp. 11–20.
CIKM-2014-ZhaoCN #approach #data type #probability: Truth Discovery in Data Streams: A Single-Pass Probabilistic Approach (ZZ, JC, WN), pp. 1589–1598.
ECIR-2014-HoulsbyC #probability #scalability: A Scalable Gibbs Sampler for Probabilistic Entity Linking (NH, MC), pp. 335–346.
ICML-c2-2014-FangCL #graph #learning: Graph-based Semi-supervised Learning: Realizing Pointwise Smoothness Probabilistically (YF, KCCC, HWL), pp. 406–414.
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-Hernandez-LobatoHG14a #matrix #probability: Probabilistic Matrix Factorization with Non-random Missing Data (JMHL, NH, ZG), pp. 1512–1520.
ICML-c2-2014-MukutaH #analysis #canonical #correlation #probability: Probabilistic Partial Canonical Correlation Analysis (YM, TH), pp. 1449–1457.
ICML-c2-2014-PaigeW #compilation #probability #programming language: A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
ICPR-2014-AghdamPS #adaptation #probability #segmentation: Adaptive Probabilistic Thresholding Method for Accurate Breast Region Segmentation in Mammograms (HHA, DP, AS), pp. 3357–3362.
ICPR-2014-HuML #composition #probability: Dynamic Task Decomposition for Probabilistic Tracking in Complex Scenes (TH, SM, OL), pp. 4134–4139.
ICPR-2014-QureshiHA #probability #using: A Probabilistic Model for the Optimal Configuration of Retinal Junctions Using Theoretically Proven Features (TAQ, AH, BAD), pp. 3304–3309.
KDD-2014-0001GHHLMSSZ #approach #probability: Knowledge vault: a web-scale approach to probabilistic knowledge fusion (XD, EG, GH, WH, NL, KM, TS, SS, WZ), pp. 601–610.
KDD-2014-GunnemannGF #detection #evolution #probability #rating #robust: Detecting anomalies in dynamic rating data: a robust probabilistic model for rating evolution (SG, NG, CF), pp. 841–850.
KDD-2014-KurashimaITS #network #probability #visualisation: Probabilistic latent network visualization: inferring and embedding diffusion networks (TK, TI, NT, HS), pp. 1236–1245.
KDD-2014-TangL #probability #scalability: Scalable histograms on large probabilistic data (MT, FL), pp. 631–640.
KDD-2014-ZhangCSWZ #network #probability #set #social: Minimizing seed set selection with probabilistic coverage guarantee in a social network (PZ, WC, XS, YW, JZ), pp. 1306–1315.
KR-2014-KisaBCD #diagrams #probability: Probabilistic Sentential Decision Diagrams (DK, GVdB, AC, AD).
KR-2014-Potyka #consistency #linear #logic #nondeterminism #probability #source code: Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).
RecSys-2014-AdamopoulosT14a #bias #collaboration #on the #probability #recommendation: On over-specialization and concentration bias of recommendations: probabilistic neighborhood selection in collaborative filtering systems (PA, AT), pp. 153–160.
SIGIR-2014-CaiLR #documentation #matrix #personalisation #probability #ranking: Personalized document re-ranking based on Bayesian probabilistic matrix factorization (FC, SL, MdR), pp. 835–838.
SIGIR-2014-LiuL #learning #probability #segmentation #word: Probabilistic ensemble learning for vietnamese word segmentation (WL, LL), pp. 931–934.
SIGIR-2014-ParkS #detection #higher-order #modelling #probability: Second order probabilistic models for within-document novelty detection in academic articles (LAFP, SS), pp. 1103–1106.
SIGIR-2014-YaoZJBCSY #modelling #probability #topic: Probabilistic text modeling with orthogonalized topics (EY, GZ, OJ, SB, KC, ZS, YY), pp. 907–910.
SIGIR-2014-ZhaoH #information retrieval #probability #proximity: An enhanced context-sensitive proximity model for probabilistic information retrieval (JZ, JXH), pp. 1131–1134.
OOPSLA-2014-ZhaoWZDSSW #automaton #predict #probability #sequence: Call sequence prediction through probabilistic calling automata (ZZ, BW, MZ, YD, JS, XS, YW), pp. 745–762.
POPL-2014-BartheFGSSB #encryption #implementation #probability #relational #verification: Probabilistic relational verification for cryptographic implementations (GB, CF, BG, PYS, NS, SZB), pp. 193–206.
POPL-2014-EhrhardTP #probability: Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
POPL-2014-GordonGRRBG #named #probability #programming language: Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
POPL-2014-LagoSA #functional #higher-order #induction #on the #probability #source code: On coinductive equivalences for higher-order probabilistic functional programs (UDL, DS, MA), pp. 297–308.
SAC-2014-BelbachirBM #modelling #probability: Probabilistic opinion models based on subjective sources (FB, MB, MMSM), pp. 925–926.
CAV-2014-ChatterjeeCD #analysis #probability: CEGAR for Qualitative Analysis of Probabilistic Systems (KC, MC, PD), pp. 473–490.
ICLP-J-2014-BellodiLRCZ #logic programming #probability: Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.
ICST-2014-PouldingW #automation #probability: Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles (SMP, HW), pp. 293–302.
LICS-CSL-2014-BaierDK #analysis #model checking #probability #trade-off: Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.
LICS-CSL-2014-BrazdilKKNK #automaton #multi #probability: Zero-reachability in probabilistic multi-counter automata (TB, SK, AK, PN, JPK), p. 10.
VMCAI-2014-KiniV #automaton #ltl #probability #safety #specification: Probabilistic Automata for Safety LTL Specifications (DK, MV), pp. 118–136.
DATE-2013-KosmidisAQC #design #realtime: A cache design for probabilistically analysable real-time systems (LK, JA, EQ, FJC), pp. 513–518.
DATE-2013-KosmidisCQABC #analysis #design #probability: Probabilistic timing analysis on conventional cache designs (LK, CC, EQ, JA, EDB, FJC), pp. 603–606.
DATE-2013-ZhaoLBT #detection #manycore #probability #runtime: Run-time probabilistic detection of miscalibrated thermal sensors in many-core systems (JZ, S(L, WB, RT), pp. 1395–1398.
DocEng-2013-AhmadullinD #composition #probability: Hierarchical probabilistic model for news composition (IA, NDV), pp. 141–150.
ICDAR-2013-FeildLS #probability #recognition #using: Using a Probabilistic Syllable Model to Improve Scene Text Recognition (JLF, EGLM, DAS), pp. 897–901.
ICDAR-2013-RoyG #documentation #forensics #probability #re-engineering: A Probabilistic Model for Reconstruction of Torn Forensic Documents (AR, UG), pp. 494–498.
VLDB-2013-0007TR #effectiveness #graph #keyword #performance #probability #query: Probabilistic Query Rewriting for Efficient and Effective Keyword Search on Graph Data (LZ, TT, AR), pp. 1642–1653.
VLDB-2013-DuanZCG #approach #database #keyword #probability: Supporting Keyword Search in Product Database: A Probabilistic Approach (HD, CZ, JC, AG), pp. 1786–1797.
VLDB-2013-DyllaMT #database #information management: A Temporal-Probabilistic Database Model for Information Extraction (MD, IM, MT), pp. 1810–1821.
VLDB-2013-MottinMRDPV #framework #optimisation #probability #problem: A Probabilistic Optimization Framework for the Empty-Answer Problem (DM, AM, SBR, GD, TP, YV), pp. 1762–1773.
VLDB-2013-ZhouTWN #2d #learning #named #predict #probability: R2-D2: a System to Support Probabilistic Path Prediction in Dynamic Environments via “Semi-Lazy” Learning (JZ, AKHT, WW, WSN), pp. 1366–1369.
VLDB-2014-NiedermayerZERM0K13 #nearest neighbour #nondeterminism #probability #query: Probabilistic Nearest Neighbor Queries on Uncertain Moving Object Trajectories (JN, AZ, TE, MR, NM, LC, HPK), pp. 205–216.
ESOP-2013-KatoenP #concurrent #implementation #modelling #probability: Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (JPK, DP), pp. 411–430.
FASE-2013-BouchouchaSL #behaviour #comprehension #modelling #probability #towards #using: Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs (AB, HAS, PL), pp. 99–113.
FoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification: A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
TACAS-2013-BhatBGR #functional #probability #source code: Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
TACAS-2013-EisentrautHST0 #automaton #probability: The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.
ICSM-2013-RosePFP #framework #probability #scalability #search-based #testing #towards: Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.
PLDI-2013-SankaranarayananCG #probability #source code #static analysis: Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.
STOC-2013-Ben-SassonCGT #on the #performance #proving: On the concrete efficiency of probabilistically-checkable proofs (EBS, AC, DG, ET), pp. 585–594.
DLT-2013-Regnault #automaton #probability #proving: Proof of a Phase Transition in Probabilistic Cellular Automata (DR), pp. 433–444.
ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem: Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
LATA-2013-Etessami #algorithm #infinity #probability #recursion #verification: Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems (KE), p. 12.
GT-VMT-2013-Giese #behaviour #graph transformation #probability: Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
HCI-III-2013-ShinKS #image #probability #retrieval #using: Affect-Based Retrieval of Landscape Images Using Probabilistic Affective Model (YS, EYK, TES), pp. 362–371.
CIKM-2013-KimNC #approach #modelling #probability #social #social media: Modeling dynamics of meta-populations with a probabilistic approach: global diffusion in social media (MK, DN, PC), pp. 489–498.
CIKM-2013-Lian0 #database #nondeterminism #probability #query: Causality and responsibility: probabilistic queries revisited in uncertain databases (XL, LC), pp. 349–358.
CIKM-2013-LiWZWW #probability #scalability #similarity: Computing term similarity by large probabilistic isA knowledge (PPL, HW, KQZ, ZW, XW), pp. 1401–1410.
CIKM-2013-ShirakawaNHN #metric #probability #semantics #similarity #using #wiki: Probabilistic semantic similarity measurements for noisy short texts using Wikipedia entities (MS, KN, TH, SN), pp. 903–908.
CIKM-2013-ZhangDDC #network #probability #social: Probabilistic solutions of influence propagation on social networks (MZ, CD, CHQD, EC), pp. 429–438.
ECIR-2013-MoensV #information retrieval #modelling #probability #topic: Monolingual and Cross-Lingual Probabilistic Topic Models and Their Applications in Information Retrieval (MFM, IV), pp. 874–877.
ECIR-2013-VulicM #framework #modelling #probability #topic: A Unified Framework for Monolingual and Cross-Lingual Relevance Modeling Based on Probabilistic Topic Models (IV, MFM), pp. 98–109.
ICML-c1-2013-HeaukulaniG #modelling #network #probability #social: Dynamic Probabilistic Models for Latent Feature Propagation in Social Networks (CH, ZG), pp. 275–283.
ICML-c1-2013-Hennig #optimisation #performance #probability: Fast Probabilistic Optimization from Noisy Gradients (PH), pp. 62–70.
ICML-c1-2013-XiaoG #adaptation #probability #sequence: Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
KDD-2013-ChenXJ #modelling #multi #probability #sequence: Multi-space probabilistic sequence modeling (SC, JX, TJ), pp. 865–873.
KDD-2013-LiuCZ #approach #performance #probability: Summarizing probabilistic frequent patterns: a fast approach (CL, LC, CZ), pp. 527–535.
KDD-2013-SongZSHUS #modelling #probability #reasoning #scalability: Modeling and probabilistic reasoning of population evacuation during large-scale disaster (XS, QZ, YS, TH, SU, RS), pp. 1231–1239.
KDD-2013-WangZR #comprehension #evolution #generative #probability #research: Understanding evolution of research themes: a probabilistic generative model for citations (XW, CZ, DR), pp. 1115–1123.
KDD-2013-ZhouTWN #approach #predict #probability: A “semi-lazy” approach to probabilistic path prediction (JZ, AKHT, WW, WSN), pp. 748–756.
MLDM-2013-WilliamsHFR #classification #distance #evaluation #probability: Area under the Distance Threshold Curve as an Evaluation Measure for Probabilistic Classifiers (SW, MH, JDF, DSR), pp. 644–657.
RecSys-2013-BelloginPC #collaboration #probability: Probabilistic collaborative filtering with negative cross entropy (AB, JP, PC), pp. 387–390.
SIGIR-2013-AnH #analysis #information retrieval #probability #semantics: Boosting novelty for biomedical information retrieval through probabilistic latent semantic analysis (XA, JXH), pp. 829–832.
QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process: The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
QAPL-2013-HanKKG #probability #specification: Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
QAPL-2013-McIverRS #algebra #concurrent #probability: Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.
POPL-2013-Goodman #probability #programming: The principles and practice of probabilistic programming (NDG), pp. 399–402.
SAC-2013-BifetPRH #adaptation #classification #data type #performance #probability: Efficient data stream classification via probabilistic adaptive windows (AB, BP, JR, GH), pp. 801–806.
SAC-2013-BlancoMLJ #approach #probability: A Kalman filter based approach to probabilistic gas distribution mapping (JLB, JGM, AJL, JGJ), pp. 217–222.
SAC-2013-MarianiO #probability: Probabilistic embedding: experiments with tuple-based probabilistic languages (SM, AO), pp. 1380–1382.
CAV-2013-ChakarovS #probability #program analysis: Probabilistic Program Analysis with Martingales (AC, SS), pp. 511–526.
CAV-2013-ChatterjeeGK #automaton #ltl #model checking #probability #synthesis: Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (KC, AG, JK), pp. 559–575.
CAV-2013-StewartEY #automaton #bound #model checking #polynomial #probability: Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata (AS, KE, MY), pp. 495–510.
ICLP-J-2013-SneyersSF #probability #reasoning: Probabilistic legal reasoning in CHRiSM (JS, DDS, TWF), pp. 769–781.
LICS-2013-Lynch #automaton #probability: Timed and Probabilistic I/O Automata (NAL), p. 12.
SAT-2013-FingerLGS #constraints #probability #satisfiability #using: Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability (MF, RL, CPG, BS), pp. 233–249.
CBSE-2012-BenesBCO #analysis #component #development #model checking #probability #reliability: Reliability analysis in component-based development via probabilistic model checking (NB, BB, IC, RO), pp. 83–92.
DATE-2012-AisoposMIIN #named #probability: PCASA: Probabilistic control-adjusted Selective Allocation for shared caches (KA, JM, RI, RI, DN), pp. 473–478.
DATE-2012-AxerSE #bound #probability: Probabilistic response time bound for CAN messages with arbitrary deadlines (PA, MS, RE), pp. 1114–1117.
DATE-2012-LinWCCCHYS #analysis #functional #mutation testing #probability: A probabilistic analysis method for functional qualification under Mutation Analysis (HYL, CYW, SCC, YCC, HMC, CYH, YCY, CCS), pp. 147–152.
DATE-2012-QuintonEBY #analysis #challenge #probability #roadmap: Challenges and new trends in probabilistic timing analysis (SQ, RE, DB, PMY), pp. 810–815.
SIGMOD-2012-LiG #online #probability #sequence: Online windowed subsequence matching over probabilistic sequences (ZL, TG), pp. 277–288.
SIGMOD-2012-RekatsinasDG #database #probability: Local structure and determinism in probabilistic databases (TR, AD, LG), pp. 373–384.
SIGMOD-2012-WuLWZ #comprehension #named #probability #taxonomy: Probase: a probabilistic taxonomy for text understanding (WW, HL, HW, KQZ), pp. 481–492.
VLDB-2012-BailisVFHS #bound: Probabilistically Bounded Staleness for Practical Partial Quorums (PB, SV, MJF, JMH, IS), pp. 776–787.
VLDB-2012-CautisK #complexity #probability #query #using #xml: Answering Queries using Views over Probabilistic XML: Complexity and Tractability (BC, EK), pp. 1148–1159.
VLDB-2012-FinkHO #compilation #database #probability: Aggregation in Probabilistic Databases via Knowledge Compilation (RF, LH, DO), pp. 490–501.
VLDB-2012-JhaS #database #probability: Probabilistic Databases with MarkoViews (AKJ, DS), pp. 1160–1171.
VLDB-2012-YuanWCW #database #graph #performance #probability #scalability #similarity: Efficient Subgraph Similarity Search on Large Probabilistic Graph Databases (YY, GW, LC, HW), pp. 800–811.
ESOP-2012-CousotM #abstract interpretation #probability: Probabilistic Abstract Interpretation (PC, MM), pp. 169–193.
FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
FoSSaCS-2012-ChenBW #complexity #on the #probability #similarity: On the Complexity of Computing Probabilistic Bisimilarity (DC, FvB, JW), pp. 437–451.
FoSSaCS-2012-DArgenioL #abstraction #bisimulation #congruence #probability #specification: Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (PRD, MDL), pp. 452–466.
FoSSaCS-2012-KieferMOWW #automaton #complexity #equivalence #on the #probability #problem: On the Complexity of the Equivalence Problem for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 467–481.
FoSSaCS-2012-NainV #probability: Synthesizing Probabilistic Composers (SN, MYV), pp. 421–436.
STOC-2012-KuperbergLP #combinator #probability: Probabilistic existence of rigid combinatorial structures (GK, SL, RP), pp. 1091–1106.
CIAA-2012-Oliveira #algebra #automaton #linear #probability: Typed Linear Algebra for Weigthed (Probabilistic) Automata (JNO), pp. 52–65.
ICALP-v1-2012-EtessamiSY #algorithm #branch #equation #markov #polynomial #probability #process: Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (KE, AS, MY), pp. 314–326.
IFM-2012-KazemeyniJOB #analysis #modelling #network #probability: MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis (FK, EBJ, OO, IB), pp. 143–157.
IFM-2012-TarasyukTL #formal method #modelling #probability #verification: Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B (AT, ET, LL), pp. 237–252.
SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process: Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
ICGT-2012-KrauseG #graph transformation #probability: Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
CIKM-2012-BerneckerEKRZ #database #fuzzy #probability #ranking: Probabilistic ranking in fuzzy object databases (TB, TE, HPK, MR, AZ), pp. 2647–2650.
CIKM-2012-EmrichKNRSZ #graph #monte carlo #nondeterminism #probability #query: Exploration of monte-carlo based probabilistic query processing in uncertain graphs (TE, HPK, JN, MR, AS, AZ), pp. 2728–2730.
CIKM-2012-IntagornL #approach #mining #probability #social: A probabilistic approach to mining geospatial knowledge from social annotations (SI, KL), pp. 1717–1721.
CIKM-2012-KozawaAK #database #gpu #mining #nondeterminism #probability: GPU acceleration of probabilistic frequent itemset mining from uncertain databases (YK, TA, HK), pp. 892–901.
CIKM-2012-KurlandSHRCR #framework #predict #probability: Back to the roots: a probabilistic framework for query-performance prediction (OK, AS, SH, FR, DC, OR), pp. 823–832.
CIKM-2012-Lehrack #database #probability #query: Applying weighted queries on probabilistic databases (SL), pp. 2209–2213.
CIKM-2012-LiKBCL #approach #named #probability #query #recommendation: DQR: a probabilistic approach to diversified query recommendation (RL, BK, BB, RC, EL), pp. 16–25.
CIKM-2012-NiuLGC #probability #problem #ranking: A new probabilistic model for top-k ranking problem (SN, YL, JG, XC), pp. 2519–2522.
CIKM-2012-OrangS #approach #correlation #nondeterminism #probability #query: A probabilistic approach to correlation queries in uncertain time series data (MO, NS), pp. 2229–2233.
CIKM-2012-Sadri #integration #on the #probability: On the foundations of probabilistic information integration (FS), pp. 882–891.
CIKM-2012-SouihliS #predict #probability #query #xml: Demonstrating ProApproX 2.0: a predictive query engine for probabilistic XML (AS, PS), pp. 2734–2736.
CIKM-2012-WuCLXBZ #matrix #probability: Leveraging tagging for neighborhood-aware probabilistic matrix factorization (LW, EC, QL, LX, TB, LZ), pp. 1854–1858.
CIKM-2012-ZhouLLZ #community #probability #topic: Topic-sensitive probabilistic model for expert finding in question answer communities (GZ, SL, KL, JZ), pp. 1662–1666.
ECIR-2012-Garcia-MoyaAL #modelling #probability #retrieval #sentiment: Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval (LGM, HAS, RBL), pp. 561–564.
ICML-2012-BonillaR #learning #probability #prototype: Discriminative Probabilistic Prototype Learning (EVB, ARK), p. 155.
ICML-2012-DanylukA #feature model #probability: Feature Selection via Probabilistic Outputs (APD, NA), p. 127.
ICML-2012-LiuW #modelling #multi #probability: TrueLabel + Confusions: A Spectrum of Probabilistic Models in Analyzing Multiple Ratings (CL, YMW), p. 6.
ICML-2012-MnihT #algorithm #modelling #performance #probability: A fast and simple algorithm for training neural probabilistic language models (AM, YWT), p. 58.
ICML-2012-ShanKRBSR #matrix #predict #probability #using: Gap Filling in the Plant Kingdom — Trait Prediction Using Hierarchical Probabilistic Matrix Factorization (HS, JK, PBR, AB, FS, MR), p. 47.
ICPR-2012-Capitaine #equivalence #probability: Set-valued Bayesian inference with probabilistic equivalence (HLC), pp. 2132–2135.
ICPR-2012-CrandallFP #modelling #probability #using #visual notation: Layer-finding in radar echograms using probabilistic graphical models (DJC, GCF, JP), pp. 1530–1533.
ICPR-2012-DuanPJ #multi #probability #realtime: Probabilistic depth map fusion for real-time multi-view stereo (YD, MP, YJ), pp. 368–371.
ICPR-2012-DuanZRTB #automation #automaton #probability #recognition: Timed and probabilistic automata for automatic animal Call Recognition (SD, JZ, PR, MWT, LB), pp. 2910–2913.
ICPR-2012-GhoseMOMLFVCSM12a #3d #energy #framework #graph #learning #probability #segmentation: Graph cut energy minimization in a probabilistic learning framework for 3D prostate segmentation in MRI (SG, JM, AO, RM, XL, JF, JCV, JC, DS, FM), pp. 125–128.
ICPR-2012-GkamasCN #probability #problem: A probabilistic formulation of the optical flow problem (TG, GKC, CN), pp. 754–757.
ICPR-2012-HagiyaK #adaptation #probability: Probabilistic keyboard adaptable to user and operating style based on syllable HMMs (TH, TK), pp. 65–68.
ICPR-2012-HanWHBR #generative #graph #probability: Sampling graphs from a probabilistic generative model (LH, RCW, ERH, LB, PR), pp. 1643–1646.
ICPR-2012-LiuLS #documentation #image #modelling #probability #using #visual notation: Document image matching using probabilistic graphical models (LL, YL, CYS), pp. 637–640.
ICPR-2012-MacriniWLG #parsing #probability #recognition: Probabilistic shape parsing for view-based object recognition (DM, CW, RL, MG), pp. 2303–2305.
ICPR-2012-RoyG #detection #framework #image #locality #probability: A probabilistic framework for logo detection and localization in natural scene images (AR, UG), pp. 2051–2054.
ICPR-2012-ScandaliarisS #distance #image #invariant #probability #representation: Probabilistic invariant image representation and associated distance measure (JS, AS), pp. 3569–3572.
ICPR-2012-WangJ12a #approach #novel #probability #recognition: A novel probabilistic approach utilizing clip attribute as hidden knowledge for event recognition (XW, QJ), pp. 3382–3385.
KDD-2012-ZhenY #learning #multimodal #probability: A probabilistic model for multimodal hash function learning (YZ, DYY), pp. 940–948.
KDIR-2012-BarbieriBCMR #modelling #probability #recommendation #sequence: Probabilistic Sequence Modeling for Recommender Systems (NB, AB, MC, GM, ER), pp. 75–84.
RecSys-2012-PraweshP #feedback #probability #recommendation: Probabilistic news recommender systems with feedback (SP, BP), pp. 257–260.
SIGIR-2012-JungL #matrix #probability: Inferring missing relevance judgments from crowd workers via probabilistic matrix factorization (HJJ, ML), pp. 1095–1096.
SIGIR-2012-ZhaoHW #information retrieval #probability: Rewarding term location information to enhance probabilistic information retrieval (JZ, JXH, SW), pp. 1137–1138.
QAPL-2012-CormieBowinsB #ltl #model checking #probability: Measuring Progress of Probabilistic LTL Model Checking (ECB, FvB), pp. 33–47.
POPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational: Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
RE-2012-CailliauL #analysis #framework #probability: A probabilistic framework for goal-oriented risk analysis (AC, AvL), pp. 201–210.
SAC-2012-MenorPB #kernel #predict #probability #using: Probabilistic prediction of protein phosphorylation sites using kernel machines (MM, GP, KB), pp. 1393–1398.
SAC-2012-MinervinidF #concept #learning #logic #probability: Learning probabilistic Description logic concepts: under different Assumptions on missing knowledge (PM, Cd, NF), pp. 378–383.
SAC-2012-SioutasPKT #named #network #probability #query: SART: dynamic P2P query processing in sensor networks with probabilistic guarantees (SS, AP, IK, DT), pp. 847–852.
ICSE-2012-SongHLSLD #approach #model checking #multi #probability: Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.
CAV-2012-EsparzaGK #probability #proving #source code #termination #using: Proving Termination of Probabilistic Programs Using Patterns (JE, AG, SK), pp. 123–138.
CAV-2012-KieferMOWW #named #probability #source code: APEX: An Analyzer for Open Probabilistic Programs (SK, ASM, JO, BW, JW), pp. 693–698.
CAV-2012-KomuravelliPC #abstraction #probability #refinement: Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.
CAV-2012-SongSLD #model checking #probability #realtime: A Model Checker for Hierarchical Probabilistic Real-Time Systems (SS, JS, YL, JSD), pp. 705–711.
ICLP-J-2012-GorlinRS #logic programming #model checking #probability: Model checking with probabilistic tabled logic programming (AG, CRR, SAS), pp. 681–700.
ICLP-J-2012-IslamRR #logic programming #probability #random #source code: Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.
ISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation: Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
LICS-2012-ChatterjeeT #automaton #decidability #infinity #probability #problem #word: Decidable Problems for Probabilistic Automata on Infinite Words (KC, MT), pp. 185–194.
LICS-2012-FijalkowGO #automaton #probability #problem: Deciding the Value 1 Problem for Probabilistic Leaktight Automata (NF, HG, YO), pp. 295–304.
LICS-2012-KomuravelliPC #learning #probability: Learning Probabilistic Systems from Tree Samples (AK, CSP, EMC), pp. 441–450.
VMCAI-2012-Bugaychenko #diagrams #model checking #multi #on the #probability: On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking (DB), pp. 104–118.
VMCAI-2012-SackZ #framework #probability: A General Framework for Probabilistic Characterizing Formulae (JS, LZ), pp. 396–411.
CASE-2011-MovafaghpourM #approach #linear #probability #programming: A linear programming approach for probabilistic robot path planning with missing information of outcomes (MAM, EM), pp. 126–132.
DATE-2011-AvinashENPP #design #energy #probability: Energy parsimonious circuit design through probabilistic pruning (LA, CCE, JLN, KVP, CP), pp. 764–769.
DocEng-2011-Damera-VenkataBO #automation #composition #documentation #probability: Probabilistic document model for automated document composition (NDV, JB, EOS), pp. 3–12.
ICDAR-2011-CelikY #2d #graph grammar #probability #recognition #using: Probabilistic Mathematical Formula Recognition Using a 2D Context-Free Graph Grammar (MC, BAY), pp. 161–166.
ICDAR-2011-SituLT #image #locality #probability #using #web: Text Localization in Web Images Using Probabilistic Candidate Selection Model (LS, RL, CLT), pp. 1359–1363.
SIGMOD-2011-IoannouNNV #database #named #probability: LinkDB: a probabilistic linkage database system (EI, WN, CN, YV), pp. 1307–1310.
SIGMOD-2011-KanagalLD #analysis #database #evaluation #probability #query #robust: Sensitivity analysis and explanations for robust query evaluation in probabilistic databases (BK, JL, AD), pp. 841–852.
SIGMOD-2011-LianC #graph #performance #probability #query #rdf: Efficient query answering in probabilistic RDF graphs (XL, LC), pp. 157–168.
SIGMOD-2011-LuADT #named #probability #query: Schema-as-you-go: on probabilistic tagging and querying of wide tables (ML, DA, BTD, AKHT), pp. 181–192.
SIGMOD-2011-SenellartS #approximate #lightweight #named #probability #query: ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.
SIGMOD-2011-ZhaiLG #algorithm #named #probability #similarity: ATLAS: a probabilistic algorithm for high dimensional similarity search (JZ, YL, JG), pp. 997–1008.
VLDB-2011-BerneckerEKRZZ #nearest neighbour #nondeterminism #performance #probability #query: Efficient Probabilistic Reverse Nearest Neighbor Query Processing on Uncertain Data (TB, TE, HPK, MR, SZ, AZ), pp. 669–680.
VLDB-2011-KhannaRT #database #difference #probability #query: Queries with Difference on Probabilistic Databases (SK, SR, VT), pp. 1051–1062.
VLDB-2011-PengDL #nondeterminism #optimisation #probability #query: Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDB-2012-KumarR11 #probability #using: Probabilistic Management of OCR Data using an RDBMS (AK, CR), pp. 322–333.
VLDB-2012-SuchanekAS11 #named #probability: PARIS: Probabilistic Alignment of Relations, Instances, and Schema (FMS, SA, PS), pp. 157–168.
FASE-2011-FengKP #automation #composition #learning #probability #reasoning: Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
FoSSaCS-2011-Mio #calculus #independence #probability #μ-calculus: Probabilistic Modal μ-Calculus with Independent Product (MM), pp. 290–304.
TACAS-2011-BartocciGKRS #probability: Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.
TACAS-2011-ForejtKNPQ #multi #probability #verification: Quantitative Multi-objective Verification for Probabilistic Systems (VF, MZK, GN, DP, HQ), pp. 112–127.
TACAS-2011-KieferW #on the #parallel #probability #process #source code: On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
TACAS-2011-TimmerSP #confluence #probability #reduction: Confluence Reduction for Probabilistic Systems (MT, MS, JvdP), pp. 311–325.
ICSM-2011-BakotaHKFG #probability #quality: A probabilistic software quality model (TB, PH, PK, RF, TG), pp. 243–252.
PEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code: Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
PLDI-2011-BeckmanN #composition #probability #scalability #specification #type system: Probabilistic, modular and scalable inference of typestate specifications (NEB, AVN), pp. 211–221.
SAS-2011-EsparzaG #abstraction #probability: Probabilistic Abstractions with Arbitrary Domains (JE, AG), pp. 334–350.
SAS-2011-MisailovicRR #program transformation: Probabilistically Accurate Program Transformations (SM, DMR, MCR), pp. 316–333.
ICALP-v2-2011-BrazdilKKV #analysis #bound #probability #recursion #runtime #source code: Runtime Analysis of Probabilistic Programs with Unbounded Recursion (TB, SK, AK, IHV), pp. 319–331.
ICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation: Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALP-v2-2011-ZhangB #model checking #probability: A Progress Measure for Explicit-State Probabilistic Model-Checkers (XZ, FvB), pp. 283–294.
SFM-2011-ForejtKNP #automation #probability #verification: Automated Verification Techniques for Probabilistic Systems (VF, MZK, GN, DP), pp. 53–113.
CIKM-2011-GaoL #adaptation #analysis #classification #probability #sentiment #using: A cross-domain adaptation method for sentiment classification using probabilistic latent analysis (SG, HL), pp. 1047–1052.
CIKM-2011-HofmannWR #probability: A probabilistic method for inferring preferences from clicks (KH, SW, MdR), pp. 249–258.
CIKM-2011-LianLC #consistency #database #low cost #probability: Cost-efficient repair in inconsistent probabilistic databases (XL, YL, LC), pp. 1731–1736.
CIKM-2011-QuC #probability: Sparse structured probabilistic projections for factorized latent spaces (XQ, XC), pp. 1389–1394.
CIKM-2011-SachanCFS #community #network #probability #social #topic: Probabilistic model for discovering topic based communities in social networks (MS, DC, TAF, LVS), pp. 2349–2352.
CIKM-2011-SoodL #detection #probability #using: Probabilistic near-duplicate detection using simhash (SS, DL), pp. 1117–1126.
CIKM-2011-TomasevRMI #approach #classification #nearest neighbour #probability: A probabilistic approach to nearest-neighbor classification: naive hubness bayesian kNN (NT, MR, DM, MI), pp. 2173–2176.
ICML-2011-AgovicBC #matrix #probability: Probabilistic Matrix Addition (AA, AB, SC), pp. 1025–1032.
ICML-2011-FrancZS #modelling #probability: Support Vector Machines as Probabilistic Models (VF, AZ, BS), pp. 665–672.
ICML-2011-GuanDJ #feature model #probability: A Unified Probabilistic Model for Global and Local Unsupervised Feature Selection (YG, JGD, MIJ), pp. 1073–1080.
KDD-2011-DengHZYL #modelling #network #probability #topic: Probabilistic topic models with biased propagation on heterogeneous information networks (HD, JH, BZ, YY, CXL), pp. 1271–1279.
KDIR-2011-Aladjem #modelling #probability: Probabilistic Modeling, Projection Pursuit and Blind Source Separation (MA), p. 9.
KDIR-2011-BarbieriCMR #approach #clustering #probability: Characterizing Relationships through Co-clustering — A Probabilistic Approach (NB, GC, GM, ER), pp. 64–73.
KEOD-2011-IshakLA #approach #learning #modelling #ontology #probability #visual notation: A Two-way Approach for Probabilistic Graphical Models Structure Learning and Ontology Enrichment (MBI, PL, NBA), pp. 189–194.
RecSys-2011-JojicSB #probability #similarity: A probabilistic definition of item similarity (OJ, MS, NB), pp. 229–236.
RecSys-2011-XinS #matrix #multi #probability #recommendation: Multi-value probabilistic matrix factorization for IP-TV recommendations (YX, HS), pp. 221–228.
SIGIR-2011-CetintasCSSD #modelling #online #probability: Forecasting counts of user visits for online display advertising with probabilistic latent class models (SC, DC, LS, BS, ZD), pp. 1217–1218.
SIGIR-2011-CetintasRSF #identification #modelling #network #people #probability #social: Identifying similar people in professional social networks with discriminative probabilistic models (SC, MR, LS, YF), pp. 1209–1210.
SIGIR-2011-MaLKL #modelling #probability #recommendation #web: Probabilistic factor models for web site recommendation (HM, CL, IK, MRL), pp. 265–274.
SIGIR-2011-ZhaoHH #information retrieval #named #probability #using: CRTER: using cross terms to enhance probabilistic information retrieval (JZ, JXH, BH), pp. 155–164.
LOPSTR-2011-SneyersS #probability #source code #termination: Probabilistic Termination of CHRiSM Programs (JS, DDS), pp. 221–236.
QAPL-2011-AssouramouD #analysis #hybrid #probability: Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
QAPL-2011-DengGHM #probability #process #testing: Real-Reward Testing for Probabilistic Processes (Extended Abstract) (YD, RJvG, MH, CM), pp. 61–73.
QAPL-2011-TracolDZ #automaton #probability: Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
SAC-2011-MitraZA #approach #experience #metric #pervasive #probability #quality: A probabilistic context-aware approach for quality of experience measurement in pervasive systems (KM, ABZ, CÅ), pp. 419–424.
ESEC-FSE-2011-RamamurthiRS #analysis #data flow #graph #probability #using: Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.
ICSE-2011-FilieriGT #model checking #performance #probability #runtime: Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
CC-2011-SunZC #analysis #java #points-to #probability: Probabilistic Points-to Analysis for Java (QS, JZ, YC), pp. 62–81.
CADE-2011-KlinovP #hybrid #probability #satisfiability: A Hybrid Method for Probabilistic Satisfiability (PK, BP), pp. 354–368.
CAV-2011-BrazdilKK #analysis #bound #performance #probability #source code: Efficient Analysis of Probabilistic Programs with an Unbounded Counter (TB, SK, AK), pp. 208–224.
CAV-2011-KieferMOWW #automaton #equivalence #probability: Language Equivalence for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 526–540.
CAV-2011-KwiatkowskaNP #probability #realtime #verification: PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
CSL-2011-LustigNV #component #probability #synthesis: Synthesis from Probabilistic Components (YL, SN, MYV), pp. 412–427.
ICLP-2011-MolinaroSS #abduction #logic #probability: Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.
ICLP-2011-NicholsonSS #generative #logic #music #probability #using: Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise (CJN, DDS, JS), pp. 231–239.
ICLP-J-2011-GutmannTKBR #logic #probability #programming: The magic of logical inference in probabilistic programming (BG, IT, AK, MB, LDR), pp. 663–680.
ICTSS-2011-Nunez #probability #testing: Formal Testing of Timed and Probabilistic Systems (MN), pp. 9–14.
LICS-2011-EhrhardPT #probability: The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
VMCAI-2011-ChadhaSV #automaton #probability: Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (RC, APS, MV), pp. 103–117.
VMCAI-2011-DelahayeKLLPSW #automaton #probability: Abstract Probabilistic Automata (BD, JPK, KGL, AL, MLP, FS, AW), pp. 324–339.
CASE-2010-MacwanNB #approach #bound #multi #novel #online #predict #probability: On-line target-motion prediction for autonomous multirobot search in realistic terrains with time-expanding boundaries: A novel probabilistic approach (AM, GN, BB), pp. 662–667.
CASE-2010-PintoKK #analysis #modelling #probability: A model-based end-to-end toolchain for the probabilistic analysis of complex systems (AP, SK, SK), pp. 994–1000.
DAC-2010-ZitterellS #approach #energy #online #probability #realtime #scheduling: A probabilistic and energy-efficient scheduling approach for online application in real-time systems (TZ, CS), pp. 42–47.
DATE-2010-LauLCB #probability: A general mathematical model of probabilistic ripple-carry adders (MSKL, KVL, YCC, AB), pp. 1100–1105.
DATE-2010-LeemCBJM #architecture #fault #named #probability: ERSA: Error Resilient System Architecture for probabilistic applications (LL, HC, JB, QAJ, SM), pp. 1560–1565.
PODS-2010-DeutchKM #fixpoint #markov #on the #probability #query: On probabilistic fixpoint and Markov chain query languages (DD, CK, TM), pp. 215–226.
SIGMOD-2010-ChenMK #database #probability #query: GRN model of probabilistic databases: construction, transition and querying (RC, YM, IK), pp. 291–302.
SIGMOD-2010-JestesLYY #probability #similarity #string: Probabilistic string similarity joins (JJ, FL, ZY, KY), pp. 327–338.
SIGMOD-2010-KanagalD #correlation #database #probability: Lineage processing over correlated probabilistic databases (BK, AD), pp. 675–686.
SIGMOD-2010-LianCS #consistency #database #probability #query: Consistent query answers in inconsistent probabilistic databases (XL, LC, SS), pp. 303–314.
SIGMOD-2010-PerezAJ #evaluation #probability #query: Evaluation of probabilistic threshold queries in MCDB (LLP, SA, CMJ), pp. 687–698.
VLDB-2010-BenediktKOS #markov #probability #xml: Probabilistic XML via Markov Chains (MB, EK, DO, PS), pp. 770–781.
VLDB-2010-LianC #probability #set #similarity: Set Similarity Join on Probabilistic Data (XL, LC), pp. 650–659.
VLDB-2010-LiD #dataset #probability #ranking: Ranking Continuous Probabilistic Datasets (JL, AD), pp. 638–649.
VLDB-2010-SenDG #database #evaluation #probability #query: Read-Once Functions and Query Evaluation in Probabilistic Databases (PS, AD, LG), pp. 1068–1079.
VLDB-2010-WangFGH #information management #probability #query: Querying Probabilistic Information Extraction (DZW, MJF, MNG, JMH), pp. 1057–1067.
VLDB-2010-WickMM #database #graph #probability #scalability: Scalable Probabilistic Databases with Factor Graphs and MCMC (MLW, AM, GM), pp. 794–804.
VLDB-2010-XuZTY #data-driven #database #distance #effectiveness #performance #probability #similarity: Efficient and Effective Similarity Search over Probabilistic Data based on Earth Mover’s Distance (JX, ZZ, AKHT, GY), pp. 758–769.
VLDB-2011-TodaCSM10 #approach #automation #interface #probability #web: A Probabilistic Approach for Automatically Filling Form-Based Web Interfaces (GAT, EC, ASdS, ESdM), pp. 151–160.
FoSSaCS-2010-GeorgievskaA #probability #testing: Retaining the Probabilities in Probabilistic Testing Theory (SG, SA), pp. 79–93.
TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement: PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
TACAS-2010-KwiatkowskaNPQ #probability #verification: Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.
CSMR-2010-CorazzaMS #approach #clustering #probability #towards: A Probabilistic Based Approach towards Software System Clustering (AC, SDM, GS), pp. 88–96.
PASTE-2010-FengG #fault #learning #locality #modelling #probability: Learning universal probabilistic models for fault localization (MF, RG), pp. 81–88.
SAS-2010-KatoenMMM #automation #generative #invariant #probability #source code: Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
ICALP-v2-2010-GimbertO #automaton #decidability #finite #probability #problem #word: Probabilistic Automata on Finite Words: Decidable and Undecidable Problems (HG, YO), pp. 527–538.
ICALP-v2-2010-McIverMM #composition #probability: Compositional Closure for Bayes Risk in Probabilistic Noninterference (AM, LM, CM), pp. 223–235.
LATA-2010-MarschallR #algorithm #analysis #automaton #pattern matching #probability: Exact Analysis of Horspool’s and Sunday’s Pattern Matching Algorithms with Probabilistic Arithmetic Automata (TM, SR), pp. 439–450.
IFM-2010-FranzleTE #hybrid #probability #smt: Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
IFM-2010-TarasyukTL #modelling #probability #towards: Towards Probabilistic Modelling in Event-B (AT, ET, LL), pp. 275–289.
SFM-2010-PierroHW #probability #program analysis #semantics: Probabilistic Semantics and Program Analysis (ADP, CH, HW), pp. 1–42.
CAiSE-2010-BlancoCMP #data flow #modelling #probability: Probabilistic Models to Reconcile Complex Data from Inaccurate Data Sources (LB, VC, PM, PP), pp. 83–97.
EDOC-2010-NarmanBKJ #analysis #hybrid #modelling #probability #quality #relational: Hybrid Probabilistic Relational Models for System Quality Analysis (PN, MB, JK, PJ), pp. 57–66.
CIKM-2010-ChenHZLRHP #automation #image #probability #topic: A probabilistic topic-connection model for automatic image annotation (XC, XH, ZZ, CL, GR, TH, EKP), pp. 899–908.
CIKM-2010-LinYC #probability #query: Selective data acquisition for probabilistic K-NN query (YCL, DNY, MSC), pp. 1357–1360.
CIKM-2010-RaghavanI #probability #retrieval #theory and practice: Probabilistic first pass retrieval for search advertising: from theory to practice (HR, RI), pp. 1019–1028.
CIKM-2010-WangCLC #approach #mining #modelling #probability: Accelerating probabilistic frequent itemset mining: a model-based approach (LW, RC, SDL, DWLC), pp. 429–438.
CIKM-2010-ZhangSZBA #documentation #mining #named #parallel #probability #topic: PTM: probabilistic topic mapping model for mining parallel document collections (DZ, JS, CZ, AB, NA), pp. 1653–1656.
ECIR-2010-PapapetrouSF #clustering #network #peer-to-peer #probability: Text Clustering for Peer-to-Peer Networks with Probabilistic Guarantees (OP, WS, NF), pp. 293–305.
ICML-2010-DembczynskiCH #classification #multi #probability: Bayes Optimal Multilabel Classification via Probabilistic Classifier Chains (KD, WC, EH), pp. 279–286.
ICML-2010-LangT #probability #reasoning #relational: Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds (TL, MT), pp. 583–590.
ICPR-2010-AkceB #probability: A Probabilistic Language Model for Hand Drawings (AA, TB), pp. 109–112.
ICPR-2010-AkgulE #approach #automation #probability: A Probabilistic Information Fusion Approach to MR-based Automated Diagnosis of Dementia (CBA, AE), pp. 265–268.
ICPR-2010-AmateR #learning #modelling #probability: Learning Probabilistic Models of Contours (LA, MJR), pp. 645–648.
ICPR-2010-BruneauGP #parametricity #probability: Aggregation of Probabilistic PCA Mixtures with a Variational-Bayes Technique Over Parameters (PB, MG, FP), pp. 702–705.
ICPR-2010-BuloP #clustering #difference #probability #using: Probabilistic Clustering Using the Baum-Eagon Inequality (SRB, MP), pp. 1429–1432.
ICPR-2010-HuangCWC #modelling #probability: Probabilistic Modeling of Dynamic Traffic Flow across Non-overlapping Camera Views (CH, WcC, SJW, JHC), pp. 3332–3335.
ICPR-2010-KimLL #approach #probability #segmentation: A Unified Probabilistic Approach to Feature Matching and Object Segmentation (THK, KML, SUL), pp. 464–467.
ICPR-2010-PuS #learning #probability #verification: Probabilistic Measure for Signature Verification Based on Bayesian Learning (DP, SNS), pp. 1188–1191.
KDD-2010-SunCCC #mining #nondeterminism #probability: Mining uncertain data with probabilistic guarantees (LS, RC, DWC, JC), pp. 273–282.
KDD-2010-YangO #feature model #predict #probability #using: Feature selection for support vector regression using probabilistic prediction (JBY, CJO), pp. 343–352.
KDD-2010-YinXHD #personalisation #predict #probability: A probabilistic model for personalized tag prediction (DY, ZX, LH, BDD), pp. 959–968.
KDD-2010-ZouGL #database #graph #nondeterminism #probability #semantics: Discovering frequent subgraphs over uncertain graph databases under probabilistic semantics (ZZ, HG, JL), pp. 633–642.
KR-2010-HajishirziA #probability #reasoning: Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).
KR-2010-Kern-IsbernerT #novel #probability #relational #semantics: Novel Semantical Approaches to Relational Probabilistic Conditionals (GKI, MT).
KR-2010-LutzS #logic #nondeterminism #probability: Probabilistic Description Logics for Subjective Uncertainty (CL, LS).
SIGIR-2010-GuoS #probability: Probabilistic latent maximal marginal relevance (SG, SS), pp. 833–834.
SIGIR-2010-HongSBWJ #classification #probability: A joint probabilistic classification model for resource selection (DH, LS, PB, MW, TJ), pp. 98–105.
SIGIR-2010-Lavrenko #information retrieval #modelling #probability: Introduction to probabilistic models in IR (VL), p. 905.
QAPL-2010-BarsottiW #abstraction #automation #probability #random #verification: Automatic Probabilistic Program Verification through Random Variable Abstraction (DB, NW), pp. 34–47.
QAPL-2010-GeorgievskaA #probability #process #testing: Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.
QAPL-2010-GuedemannO #analysis #modelling #probability #safety: Probabilistic Model-Based Safety Analysis (MG, FO), pp. 114–128.
QAPL-2010-NdukwuMc #abstraction #approach #independence #probability #source code: An expectation transformer approach to predicate abstraction and data independence for probabilistic programs (UN, AM), pp. 129–143.
SAC-2010-AlmeidaYA #anti #probability #reduction: Probabilistic anti-spam filtering with dimensionality reduction (TAA, AY, JA), pp. 1802–1806.
SAC-2010-BenaouichaTB #flexibility #probability #query: Flexible document-query matching based on a probabilistic content and structure score combination (MB, MT, MB), pp. 1728–1734.
SAC-2010-CarvalhoCB #constraints #probability #problem #reliability: Probabilistic constraints for reliability problems (EC, JC, PB), pp. 2055–2060.
SAC-2010-GhoulbeigiS #evolution #probability: Probabilistic developmental program evolution (EG, MVdS), pp. 1138–1142.
SAC-2010-KimKMY #multi #network #predict #probability #using: Probabilistic context prediction using time-inferred multiple pattern networks (YHK, WK, KM, YY), pp. 1015–1019.
SAC-2010-Mohy-ud-DinM #detection #probability: Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps (HMuD, AM), pp. 1294–1298.
SAC-2010-NinagawaE #modelling #network #predict #probability #using: Link prediction using probabilistic group models of network structure (AN, KE), pp. 1115–1116.
ICSE-2010-Meedeniya #architecture #evaluation #incremental #modelling #probability: An incremental methodology for quantitative software architecture evaluation with probabilistic models (IM), pp. 339–340.
ASPLOS-2010-BurckhardtKMN #debugging #probability #random: A randomized scheduler with probabilistic guarantees of finding bugs (SB, PK, MM, SN), pp. 167–178.
ASPLOS-2010-EyermanE #modelling #probability #scheduling #smt: Probabilistic job symbiosis modeling for SMT processor scheduling (SE, LE), pp. 91–102.
ASPLOS-2010-FengGAM #fault #named #probability #reliability #string: Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.
CAV-2010-ChatterjeeHJR #game studies #named #probability: Gist: A Solver for Probabilistic Games (KC, TAH, BJ, AR), pp. 665–669.
CAV-2010-ChatterjeeHJS #probability: Measuring and Synthesizing Systems in Probabilistic Environments (KC, TAH, BJ, RS), pp. 380–395.
CAV-2010-ZhangSRHH #hybrid #probability #safety #verification: Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
ICLP-2010-Fierens10 #logic #modelling #performance #probability: Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization (DF), pp. 74–83.
ICLP-2010-MantadelisJ10 #probability: Dedicated Tabling for a Probabilistic Setting (TM, GJ), pp. 124–133.
ICLP-2010-SimariS10 #abduction #logic programming #probability #source code: Abductive Inference in Probabilistic Logic Programs (GIS, VSS), pp. 192–201.
ICLP-J-2010-SneyersMVKS #learning #logic #probability: CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.
IJCAR-2010-BeierleFKT #automation #information management #probability #reasoning #relational #representation: Automated Reasoning for Relational Probabilistic Knowledge Representation (CB, MF, GKI, MT), pp. 218–224.
LICS-2010-AlvimAP #data flow #probability: Probabilistic Information Flow (MSA, MEA, CP), pp. 314–321.
LICS-2010-EisentrautHZ #automaton #on the #probability: On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.
LICS-2010-Goubault-Larrecq #probability: ω-QRB-Domains and the Probabilistic Powerdomain (JGL), pp. 352–361.
VMCAI-2010-Katoen #model checking #probability #roadmap: Advances in Probabilistic Model Checking (JPK), p. 25.
VMCAI-2010-WachterZ #probability: Best Probabilistic Transformers (BW, LZ), pp. 362–379.
ASE-2009-ZhangGTL #probability #sequence chart #syntax: A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
ICDAR-2009-ParakhinH #probability #ranking: Finding the Most Probable Ranking of Objects with Probabilistic Pairwise Preferences (MP, PMH), pp. 616–620.
ICDAR-2009-ZhuGGZ #framework #learning #online #probability #recognition: A Probabilistic Framework for Soft Target Learning in Online Cursive Handwriting Recognition (XZ, YG, FJG, LXZ), pp. 1246–1250.
PODS-2009-CohenKS #automaton #probability #xml: Running tree automata on probabilistic XML (SC, BK, YS), pp. 227–236.
PODS-2009-LiD #database #probability #query: Consensus answers for queries over probabilistic databases (JL, AD), pp. 259–268.
SIGMOD-2009-DalviBS #approach #probability #robust #web: Robust web extraction: an approach based on a probabilistic tree-edit model (NND, PB, FS), pp. 335–348.
SIGMOD-2009-HuangAKO #database #named #probability: MayBMS: a probabilistic database management system (JH, LA, CK, DO), pp. 1071–1074.
SIGMOD-2009-KanagalD #correlation #database #probability: Indexing correlated probabilistic databases (BK, AD), pp. 455–468.
SIGMOD-2009-LiYJ #distributed #probability #ranking: Ranking distributed probabilistic data (FL, KY, JJ), pp. 361–374.
VLDB-2009-CormodeDGM #probability: Probabilistic Histograms for Probabilistic Data (GC, AD, MNG, AM), pp. 526–537.
VLDB-2009-LiSD #approach #database #probability #ranking: A Unified Approach to Ranking in Probabilistic Databases (JL, BS, AD), pp. 502–513.
FoSSaCS-2009-AbbesB #algebra #concurrent #probability: Concurrency, σ-Algebras, and Probabilistic Fairness (SA, AB), pp. 380–394.
DLT-2009-BolligG #logic #probability: Weighted versus Probabilistic Logics (BB, PG), pp. 18–38.
IFM-2009-HasanAT #analysis #array #configuration management #fault #memory management #probability: Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (OH, NA, ST), pp. 277–291.
SEFM-2009-BertoliniM #model checking #probability #testing #user interface #using: Using Probabilistic Model Checking to Evaluate GUI Testing Techniques (CB, AM), pp. 115–124.
DHM-2009-BurghardtK #approach #behaviour #modelling #probability #smarttech: A Probabilistic Approach for Modeling Human Behavior in Smart Environments (CB, TK), pp. 202–210.
DHM-2009-MobusEGZ #empirical #modelling #probability: Probabilistic and Empirical Grounded Modeling of Agents in (Partial) Cooperative Traffic Scenarios (CM, ME, HG, MZ), pp. 423–432.
ICEIS-J-2009-Cuzzocrea #approximate #evaluation #named #probability #query #reduction #scalability: s-OLAP: Approximate OLAP Query Evaluation on Very Large Data Warehouses via Dimensionality Reduction and Probabilistic Synopses (AC), pp. 248–262.
ICEIS-SAIC-2009-ClariziaCSN #probability #semantics #web: Semantic Indexing of Web Pages Via Probabilistic Methods — In Search of Semantics Project (FC, FC, MDS, PN), pp. 134–140.
CIKM-2009-BohmFOPW #probability #query: Probabilistic skyline queries (CB, FF, AO, CP, BW), pp. 651–660.
CIKM-2009-CarteretteC #documentation #modelling #novel #probability #ranking #retrieval #topic: Probabilistic models of ranking novel documents for faceted topic retrieval (BC, PC), pp. 1287–1296.
CIKM-2009-ChenLAA #image #learning #modelling #online #probability #topic: Probabilistic models for topic learning from images and captions in online biomedical literatures (XC, CL, YA, PA), pp. 495–504.
CIKM-2009-GuYGC #data type #probability #query: Probabilistic moving range query over RFID spatio-temporal data streams (YG, GY, NG, YC), pp. 1413–1416.
CIKM-2009-LiuZY #analysis #collaboration #probability: Probabilistic latent preference analysis for collaborative filtering (NNL, MZ, QY), pp. 759–766.
CIKM-2009-YuLC #approach #information management #probability: An integrated discriminative probabilistic approach to information extraction (XY, WL, BC), pp. 325–334.
ECIR-2009-KimXC #probability #retrieval #semistructured data: A Probabilistic Retrieval Model for Semistructured Data (JK, XX, WBC), pp. 228–239.
ICML-2009-CaiWH #consistency #data analysis #probability: Probabilistic dyadic data analysis with local and global consistency (DC, XW, XH), pp. 105–112.
ICML-2009-RoyLW #consistency #learning #modelling #probability #visual notation: Learning structurally consistent undirected probabilistic graphical models (SR, TL, MWW), pp. 905–912.
KDD-2009-BerneckerKRVZ #database #mining #nondeterminism #probability: Probabilistic frequent itemset mining in uncertain databases (TB, HPK, MR, FV, AZ), pp. 119–128.
KDIR-2009-WangVH #documentation #probability #retrieval #using: Document Retrieval using a Probabilistic Knowledge Model (SW, SV, MH), pp. 26–33.
KEOD-2009-Haddad #approach #probability #representation #towards #word: Representation of Arabic Words — An Approach Towards Probabilistic Root-Pattern Relationships (BH), pp. 147–152.
MLDM-2009-BenabdeslemS #approach #clustering #probability: A Probabilistic Approach for Constrained Clustering with Topological Map (KB, JS), pp. 413–426.
MLDM-2009-NikolopoulosPKP #comprehension #framework #image #probability #semantics: An Evidence-Driven Probabilistic Inference Framework for Semantic Image Understanding (SN, GTP, IK, IP), pp. 525–539.
SIGIR-2009-LiLLL #framework #information retrieval #probability #ranking #topic: A probabilistic topic-based ranking framework for location-sensitive domain information retrieval (HL, ZL, WCL, DLL), pp. 331–338.
SIGIR-2009-NaN #probability #retrieval: A 2-poisson model for probabilistic coreference of named entities for improved text retrieval (SHN, HTN), pp. 275–282.
SIGIR-2009-Peng #analysis #equivalence #probability #semantics: Equivalence between nonnegative tensor factorization and tensorial probabilistic latent semantic analysis (WP), pp. 668–669.
QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing: Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.
QAPL-2009-GiroD #distributed #on the #power of #probability: On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
SAC-2009-CasadeiV #design #model checking #probability #self #simulation #using: Using probabilistic model checking and simulation for designing self-organizing systems (MC, MV), pp. 2103–2104.
SAC-2009-GiroD #automaton #on the #probability #verification: On the verification of probabilistic I/O automata with unspecified rates (SG, PRD), pp. 582–586.
SAC-2009-LeccaPPS #generative #network #parametricity #probability: A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
SAC-2009-LiuMYGF #corpus #mining #probability: A sentence level probabilistic model for evolutionary theme pattern mining from news corpora (SL, YM, WGY, NG, OF), pp. 1742–1747.
ESEC-FSE-2009-GrunskeZ #monitoring #probability: Monitoring probabilistic properties (LG, PZ), pp. 183–192.
ESEC-FSE-2009-MaiaKUM #modelling #probability #refinement #towards #using: Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.
ESEC-FSE-2009-PaveseBU #analysis #behaviour #modelling #probability: Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models (EP, VAB, SU), pp. 335–344.
HPCA-2009-HurL #feedback #memory management #probability: Feedback mechanisms for improving probabilistic memory prefetching (IH, CL), pp. 443–454.
SOSP-2009-ParkZXYKLL #execution #multi #named #probability #sketching: PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.
ICLP-2009-BroechelerSS #logic programming #probability #query #source code #using: Using Histograms to Better Answer Queries to Probabilistic Logic Programs (MB, GIS, VSS), pp. 40–54.
ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence: Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.
ICLP-2009-Raedt #learning #logic #probability #tutorial: Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.
LICS-2009-RougemontT #analysis #probability #process #statistics: Statistic Analysis for Probabilistic Processes (MdR, MT), pp. 299–308.
SAT-2009-HsuM #named #novel #probability: VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search (EIH, SAM), pp. 377–390.
VMCAI-2009-KattenbeltKNP #abstraction #probability #refinement: Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.
QoSA-2008-GallottiGMT #composition #model checking #predict #probability #quality: Quality Prediction of Service Compositions through Probabilistic Model Checking (SG, CG, RM, GT), pp. 119–134.
DAC-2008-LiangM #analysis #execution #modelling #probability: Cache modeling in probabilistic execution time analysis (YL, TM), pp. 319–324.
PODS-2008-CohenKS #constraints #probability #xml: Incorporating constraints in probabilistic XML (SC, BK, YS), pp. 109–118.
PODS-2008-Koch #approximate #database #probability #query: Approximating predicates and expressive queries on probabilistic databases (CK), pp. 99–108.
SIGMOD-2008-HuaPZL #approach #nondeterminism #probability #query #ranking: Ranking queries on uncertain data: a probabilistic threshold approach (MH, JP, WZ, XL), pp. 673–686.
SIGMOD-2008-KimelfeldKS #modelling #performance #probability #query #xml: Query efficiency in probabilistic XML models (BK, YK, YS), pp. 701–714.
SIGMOD-2008-PeiHTL #nondeterminism #probability #query #summary #tutorial: Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.
SIGMOD-2008-ReLBS #correlation #probability #query: Event queries on correlated probabilistic streams (CR, JL, MB, DS), pp. 715–728.
SIGMOD-2008-ZhangLY #probability: Finding frequent items in probabilistic data (QZ, FL, KY), pp. 819–832.
VLDB-2008-BalazinskaRS #aspect-oriented #data transformation #probability: Systems aspects of probabilistic data management (MB, CR, DS), pp. 1520–1521.
VLDB-2008-KochO #database #probability: Conditioning probabilistic databases (CK, DO), pp. 313–325.
VLDB-2008-ReS #approximate #database #probability: Approximate lineage for probabilistic databases (CR, DS), pp. 797–808.
VLDB-2008-SenDG #correlation #database #probability: Exploiting shared correlations in probabilistic databases (PS, AD, LG), pp. 809–820.
VLDB-2008-WangMGH #modelling #named #nondeterminism #probability #repository #scalability #visual notation: BayesStore: managing large, uncertain data repositories with probabilistic graphical models (DZW, EM, MNG, JMH), pp. 340–351.
FoSSaCS-2008-BaierBG #automaton #on the #probability #problem: On Decision Problems for Probabilistic Büchi Automata (CB, NB, MG), pp. 287–301.
TACAS-2008-AndresR #nondeterminism #probability: Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.
TACAS-2008-LegayMOW #automation #on the #probability #source code #verification: On Automated Verification of Probabilistic Programs (AL, ASM, JO, JW), pp. 173–187.
DLT-J-2007-Freivalds08 #automaton #finite #probability: Non-Constructive Methods for Finite Probabilistic Automata (RF), pp. 565–580.
FM-2008-McIverMG #probability #proving #refinement: Proofs and Refutations for Probabilistic Refinement (AKM, CCM, CG), pp. 100–115.
CAiSE-2008-IoannouNN #probability: Probabilistic Entity Linkage for Heterogeneous Information Spaces (EI, CN, WN), pp. 556–570.
CIKM-2008-ChiZGZ #personalisation #probability #recommendation: Probabilistic polyadic factorization and its application to personalized recommendation (YC, SZ, YG, YZ), pp. 941–950.
CIKM-2008-ChungLC #performance #probability #query: Efficient processing of probabilistic spatio-temporal range queries over moving objects (BSEC, WCL, ALPC), pp. 1399–1400.
CIKM-2008-MaYLK08a #matrix #named #probability #recommendation #social #using: SoRec: social recommendation using probabilistic matrix factorization (HM, HY, MRL, IK), pp. 931–940.
ECIR-2008-BlancoB #documentation #modelling #probability: Probabilistic Document Length Priors for Language Models (RB, AB), pp. 394–405.
ECIR-2008-LillisTCD #data fusion #probability #using: Extending Probabilistic Data Fusion Using Sliding Windows (DL, FT, RWC, JD), pp. 358–369.
ECIR-2008-NaKL08c #probability #similarity #using: Query-Based Inter-document Similarity Using Probabilistic Co-relevance Model (SHN, ISK, JHL), pp. 684–688.
ICML-2008-SalakhutdinovM08a #markov #matrix #monte carlo #probability #using: Bayesian probabilistic matrix factorization using Markov chain Monte Carlo (RS, AM), pp. 880–887.
ICML-2008-SokolovskaCY #learning #modelling #probability: The asymptotics of semi-supervised learning in discriminative probabilistic models (NS, OC, FY), pp. 984–991.
ICPR-2008-Bauckhage #classification #detection #probability: Probabilistic Diffusion Classifiers for Object Detection (CB), pp. 1–4.
ICPR-2008-DingB08a #difference #probability #recognition: Probabilistic mixtures of differential profiles for shape recognition (LD, MB), pp. 1–4.
ICPR-2008-DonoserMBK #approach #probability: A probabilistic approach for tracking fibers (MD, TM, HB, JK), pp. 1–4.
ICPR-2008-LefebvreG #probability #recognition #self: A probabilistic Self-Organizing Map for facial recognition (GL, CG), pp. 1–4.
ICPR-2008-TranTJ #anti #linear #network #probability: An adjustable combination of linear regression and modified probabilistic neural network for anti-spam filtering (TPT, PT, TJ), pp. 1–4.
ICPR-2008-WangM #invariant #probability #recognition #similarity #using: Scale invariant face recognition using probabilistic similarity measure (ZW, ZM), pp. 1–4.
ICPR-2008-WetzkerPKBAM #detection #generative #probability #roadmap #social #using: Detecting trends in social bookmarking systems using a probabilistic generative model and smoothing (RW, TP, AK, CB, TA, FM), pp. 1–4.
ICPR-2008-WooKK #probability: Probabilistic matching of line segments for their homography (JW, TK, ISK), pp. 1–4.
ICPR-2008-WuNC #image #probability: A probabilistic model for classifying segmented images (LW, PN, LNC), pp. 1–4.
ICPR-2008-WuWLL #probability: Probabilistic tracking on Riemannian manifolds (YW, BW, JL, HL), pp. 1–4.
ICPR-2008-YamaguchiM #categorisation #classification #image #probability #topic: Image categorization by a classifier based on probabilistic topic model (TY, MM), pp. 1–4.
KDD-2008-IwataYU #documentation #probability #semantics #topic #visualisation: Probabilistic latent semantic visualization: topic model for visualizing documents (TI, TY, NU), pp. 363–371.
RecSys-2008-WuWC #analysis #automation #incremental #probability #recommendation #semantics: Incremental probabilistic latent semantic analysis for automatic question recommendation (HW, YW, XC), pp. 99–106.
SIGIR-2008-DingLLP #clustering #probability #using: Posterior probabilistic clustering using NMF (CHQD, TL, DL, WP), pp. 831–832.
SIGIR-2008-WangS #modelling #probability #retrieval: Discriminative probabilistic models for passage based retrieval (MW, LS), pp. 419–426.
SIGIR-2008-XuA08a #modelling #multi #probability #retrieval: A new probabilistic retrieval model based on the dirichlet compound multinomial distribution (ZX, RA), pp. 427–434.
QAPL-2008-KattenbeltKNP #abstraction #game studies #probability: Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational: Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
QAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using: Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
QAPL-2008-TrckaG #bisimulation #branch #congruence #probability: Branching Bisimulation Congruence for Probabilistic Systems (NT, SG), pp. 129–143.
QAPL-2008-TzanisH #logic #probability: Probabilistic Logic over Paths (ET, RH), pp. 79–96.
SAC-2008-CasimiroLDBV #adaptation #framework #probability: A framework for dependable QoS adaptation in probabilistic environments (AC, PL, MD, AB, PV), pp. 2192–2196.
ICSE-2008-Grunske #probability #quality #specification: Specification patterns for probabilistic quality properties (LG), pp. 31–40.
PPoPP-2008-NurmiWB #parallel #probability: Probabilistic advanced reservations for batch-scheduled parallel machines (DN, RW, JB), pp. 289–290.
CAV-2008-HermannsWZ #probability: Probabilistic CEGAR (HH, BW, LZ), pp. 162–175.
ICLP-2008-Beauxis #concurrent #modelling #probability #security: Probabilistic and Concurrent Models for Security (RB), pp. 801–802.
ISSTA-2008-BaahPH #dependence #fault #graph #probability: The probabilistic program dependence graph and its application to fault diagnosis (GKB, AP, MJH), pp. 189–200.
LICS-2008-BrazdilFKK #probability #problem #satisfiability: The Satisfiability Problem for Probabilistic CTL (TB, VF, JK, AK), pp. 391–402.
ASE-2007-LinsteadRBLB #concept #mining #modelling #probability #topic: Mining concepts from code with probabilistic topic models (EL, PR, SKB, CVL, PB), pp. 461–464.
DAC-2007-KumarMCTH #approach #estimation #multi #performance #probability: A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices (AK, BM, HC, BDT, YH), pp. 726–731.
ICDAR-2007-KramerKKB #finite #metadata #probability #transducer #using: Bibliographic Meta-Data Extraction Using Probabilistic Finite State Transducers (MK, HK, DK, TMB), pp. 609–613.
PODS-2007-DalviS #challenge #probability: Management of probabilistic data: foundations and challenges (NND, DS), pp. 1–12.
PODS-2007-DalviS07a #probability #query: The dichotomy of conjunctive queries on probabilistic structures (NND, DS), pp. 293–302.
PODS-2007-JayramMMV #data type #probability #statistics: Estimating statistical aggregates on probabilistic data streams (TSJ, AM, SM, EV), pp. 243–252.
PODS-2007-KimelfeldS #probability: Maximally joining probabilistic data (BK, YS), pp. 303–312.
PODS-2007-SenellartA #complexity #on the #probability #xml: On the complexity of managing probabilistic XML data (PS, SA), pp. 283–292.
SIGMOD-2007-BravoR #optimisation #probability #query: Optimizing mpf queries: decision support and probabilistic inference (HCB, RR), pp. 701–712.
SIGMOD-2007-CormodeG #data type #probability #sketching: Sketching probabilistic data streams (GC, MNG), pp. 281–292.
VLDB-2007-DeshpandeS #database #modelling #probability #visual notation: Probabilistic Graphical Models and their Role in Databases (AD, SS), pp. 1435–1436.
VLDB-2007-KimelfeldS #probability #xml: Matching Twigs in Probabilistic XML (BK, YS), pp. 27–38.
VLDB-2007-PeiJLY #nondeterminism #probability: Probabilistic Skylines on Uncertain Data (JP, BJ, XL, YY), pp. 15–26.
VLDB-2007-ReS #database #optimisation #probability #query: Materialized Views in Probabilistic Databases for Information Exchange and Query Optimization (CR, DS), pp. 51–62.
ESOP-2007-DengGMZ #probability #testing: Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
ESOP-2007-HasuoK #algebra #probability #simulation: Probabilistic Anonymity Via Coalgebraic Simulations (IH, YK), pp. 379–394.
FoSSaCS-2007-BreugelSW #approximate #behaviour #probability #pseudo: Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (FvB, BS, JW), pp. 123–137.
FoSSaCS-2007-ParmaS #bisimulation #logic #probability: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (AP, RS), pp. 287–301.
TACAS-2007-HanK #model checking #probability: Counterexamples in Probabilistic Model Checking (TH, JPK), pp. 72–86.
TACAS-2007-JurdzinskiLS #automaton #model checking #probability: Model Checking Probabilistic Timed Automata with One or Two Clocks (MJ, FL, JS), pp. 170–184.
TACAS-2007-KatoenKZJ #bisimulation #model checking #probability: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (JPK, TK, ISZ, DNJ), pp. 87–101.
TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
CSMR-2007-SharafatT #approach #object-oriented #predict #probability: A Probabilistic Approach to Predict Changes in Object-Oriented Software Systems (ARS, LT), pp. 27–38.
CIAA-J-2006-CortesMR07 #automaton #distance #equivalence #probability: LP Distance and Equivalence of Probabilistic Automata (CC, MM, AR), pp. 761–779.
DLT-2007-Freivalds #automaton #finite #probability: Non-constructive Methods for Finite Probabilistic Automata (RF), pp. 169–180.
IFM-2007-ColvinGW #behaviour #probability: Probabilistic Timed Behavior Trees (RC, LG, KW), pp. 156–175.
IFM-2007-HallerstedeH #modelling #probability: Qualitative Probabilistic Modelling in Event-B (SH, TSH), pp. 293–312.
IFM-2007-HasanT #cumulative #probability #using #verification: Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (OH, ST), pp. 333–352.
CIKM-2007-HeO #ad hoc #parametricity #probability #retrieval: Parameter sensitivity in the probabilistic model for ad-hoc retrieval (BH, IO), pp. 263–272.
CIKM-2007-SongC #probability #similarity: Probabilistic correlation-based similarity measure of unstructured records (SS, LC), pp. 967–970.
CIKM-2007-YanH #feedback #multi #probability #query #retrieval #using: Query expansion using probabilistic local feedback with application to multimedia retrieval (RY, AGH), pp. 361–370.
CIKM-2007-ZhangTLW #ambiguity #constraints #framework #probability: A constraint-based probabilistic framework for name disambiguation (DZ, JT, JZL, KW), pp. 1019–1022.
ECIR-2007-FangZ #modelling #probability: Probabilistic Models for Expert Finding (HF, CZ), pp. 418–430.
ECIR-2007-ZhuTZM #clustering #documentation #multi #probability: A Probabilistic Model for Clustering Text Documents with Multiple Fields (SZ, IT, SZ, HM), pp. 331–342.
ICML-2007-HeraultG #classification #probability: Sparse probabilistic classifiers (RH, YG), pp. 337–344.
ICML-2007-McNeillV #generative #linear #modelling #probability: Linear and nonlinear generative probabilistic class models for shape contours (GM, SV), pp. 617–624.
ICML-2007-NelsonC #clustering #constraints #modelling #probability: Revisiting probabilistic models for clustering with pair-wise constraints (BN, IC), pp. 673–680.
KDD-2007-LongZY #clustering #framework #probability #relational: A probabilistic framework for relational clustering (BL, Z(Z, PSY), pp. 470–479.
KDD-2007-Sandler #analysis #modelling #probability: Hierarchical mixture models: a probabilistic analysis (MS), pp. 580–589.
MLDM-2007-WisniewskiMDG #documentation #probability: Probabilistic Model for Structured Document Mapping (GW, FM, LD, PG), pp. 854–867.
RecSys-2007-LiDEL #probability #recommendation: A probabilistic model for item-based recommender systems (ML, MBD, WED, PJGL), pp. 129–132.
SIGIR-2007-KoNS #probability #ranking #visual notation: A probabilistic graphical model for joint answer ranking in question answering (JK, EN, LS), pp. 343–350.
SIGIR-2007-Lee #probability: IDF revisited: a simple new derivation within the Robertson-Spärck Jones probabilistic model (LL), pp. 751–752.
OOPSLA-2007-BondM #probability: Probabilistic calling context (MDB, KSM), pp. 97–112.
QAPL-2007-BaltazarMNP #logic #probability: Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.
QAPL-2007-DengD #congruence #probability: Probabilistic Barbed Congruence (YD, WD), pp. 185–203.
QAPL-2007-PierroHW #analysis #data flow #on the #probability: On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
QAPL-2007-VaraccaY #probability #π-calculus: Probabilistic π-Calculus and Event Structures (DV, NY), pp. 147–166.
POPL-2007-GulwaniJ #probability #verification: Program verification as probabilistic inference (SG, NJ), pp. 277–289.
ICLP-2007-CaliL #logic programming #probability #semantics #source code #web: Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.
LICS-2007-DengGHMZ #finite #probability #process #testing: Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
CASE-2006-HuSHL #modelling #probability #using: Vision-based Indoor Scene Cognition Using a Spatial Probabilistic Modeling Method (JSH, TMS, HCH, PCL), pp. 620–625.
DAC-2006-SingheeFMR #probability #statistics #tool support #towards: Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools (AS, CFF, JDM, RAR), pp. 167–172.
DAC-2006-WangKO #nondeterminism #parametricity #probability #statistics: Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.
DATE-2006-ChakrapaniACKPS #architecture #embedded #probability: Ultra-efficient (embedded) SOC architectures based on probabilistic CMOS (PCMOS) technology (LNC, BESA, SC, PK, KVP, BS), pp. 1110–1115.
DATE-2006-HassenT #on the #probability #term rewriting #verification: On the numerical verification of probabilistic rewriting systems (JBH, ST), pp. 1223–1224.
DATE-2006-WangCG #fault #formal method #probability #testing #using: Test set enrichment using a probabilistic fault model and the theory of output deviations (ZW, KC, MG), pp. 1270–1275.
VLDB-2006-GuptaS #database #information management #modelling #probability: Creating Probabilistic Databases from Information Extraction Models (RG, SS), pp. 965–976.
TACAS-2006-HintonKNP #automation #named #probability #verification: PRISM: A Tool for Automatic Verification of Probabilistic Systems (AH, MZK, GN, DP), pp. 441–444.
ICPC-2006-PoshyvanykMRGA #identification #probability #ranking #semantics: Combining Probabilistic Ranking and Latent Semantic Indexing for Feature Identification (DP, AM, VR, YGG, GA), pp. 137–148.
MSR-2006-WalkerHHKS #approach #estimation #impact analysis #lightweight #probability: A lightweight approach to technical risk estimation via probabilistic impact analysis (RJW, RH, IH, PK, AS), pp. 98–104.
PLDI-2006-BergerZ #memory management #named #probability #safety: DieHard: probabilistic memory safety for unsafe languages (EDB, BGZ), pp. 158–168.
CIAA-2006-CortesMR #automaton #on the #probability #standard: On the Computation of Some Standard Distances Between Probabilistic Automata (CC, MM, AR), pp. 137–149.
DLT-2006-Ravikumar #automaton #finite #modelling #on the #probability: On Some Variations of Two-Way Probabilistic Finite Automata Models (BR), pp. 443–454.
ICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.
FM-2006-McIver #analysis #model checking #probability #refinement: Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems (AM), pp. 131–146.
CIKM-2006-LiSC #database #named #probability #xml: PEPX: a query-friendly probabilistic XML database (TL, QS, YC), pp. 848–849.
CIKM-2006-ShakeryZ #hypermedia #probability #retrieval: A probabilistic relevance propagation model for hypertext retrieval (AS, CZ), pp. 550–558.
CIKM-2006-WuLWK #feedback #probability: Probabilistic document-context based relevance feedback with limited relevance judgments (HCW, RWPL, KFW, KLK), pp. 854–855.
ECIR-2006-FernandezVC #normalisation #probability #rank: Probabilistic Score Normalization for Rank Aggregation (MF, DV, PC), pp. 553–556.
ICML-2006-ArchambeauDV #probability #robust: Robust probabilistic projections (CA, ND, MV), pp. 33–40.
ICML-2006-LehmannS #kernel #probability: A probabilistic model for text kernels (ADL, JST), pp. 537–544.
ICML-2006-ToussaintS #markov #probability #process: Probabilistic inference for solving discrete and continuous state Markov Decision Processes (MT, AJS), pp. 945–952.
ICPR-v1-2006-LiL #probability: Probabilistic Image-Based Rendering with Gaussian Mixture Model (WL, BL), pp. 179–182.
ICPR-v1-2006-TongJ #multi #probability: Multiview Facial Feature Tracking with a Multi-modal Probabilistic Model (YT, QJ), pp. 307–310.
ICPR-v2-2006-McNeillV #probability: Part-Based Probabilistic Point Matching (GM, SV), pp. 382–386.
ICPR-v2-2006-MeleMS #categorisation #image #probability #using: Image Categorization Using Local Probabilistic Descriptors (KM, JM, DS), pp. 336–340.
ICPR-v2-2006-MitaKH #approach #categorisation #performance #probability #robust: A Probabilistic Approach to Fast and Robust Template Matching and its Application to Object Categorization (TM, TK, OH), pp. 597–601.
ICPR-v2-2006-SundaresanC #modelling #probability #segmentation: Segmentation and Probabilistic Registration of Articulated Body Models (AS, RC), pp. 92–96.
ICPR-v2-2006-WangH #equation #probability #using: Probabilistic Relaxation using the Heat Equation (HW, ERH), pp. 666–669.
ICPR-v3-2006-El-BazFGEE #image #modelling #probability: Probabilistic Modeling of Blood Vessels for Segmenting MRA Images (AEB, AAF, GLG, MAEG, TE), pp. 917–920.
ICPR-v3-2006-LiC #classification #nearest neighbour #probability #using: Classification Using the Local Probabilistic Centers of k-Nearest Neighbors (BYL, YWC), pp. 1220–1223.
ICPR-v3-2006-QingSCG #probability #recognition: Face Recognition under Varying Lighting Based on the Probabilistic Model of Gabor Phase (LQ, SS, XC, WG), pp. 1139–1142.
ICPR-v3-2006-TranP #pervasive #probability #process #representation: A probabilistic model with parsinomious representation for sensor fusion in recognizing activity in pervasive environment (DTT, DQP), pp. 168–172.
ICPR-v3-2006-TuIXFH #invariant #probability #recognition: Variational Shift Invariant Probabilistic PCA for Face Recognition (JT, AI, XX, FFL, TSH), pp. 548–551.
ICPR-v3-2006-WillamowskiC #automation #detection #probability: Probabilistic Automatic Red Eye Detection and Correction (JW, GC), pp. 762–765.
ICPR-v4-2006-LiC06a #classification #nearest neighbour #probability #using: Classification Using the Local Probabilistic Centers of k-Nearest Neighbors (BYL, YWC), p. 954.
ICPR-v4-2006-WangS06c #multi #performance #probability #visual notation: Efficient Visual Tracking by Probabilistic Fusion of Multiple Cues (HW, DS), pp. 892–895.
KDD-2006-HashimotoAUKM #mining #order #performance #probability: A new efficient probabilistic model for mining labeled ordered trees (KH, KFAK, NU, MK, HM), pp. 177–186.
KDD-2006-WangP #modelling #probability #using: Summarizing itemset patterns using probabilistic models (CW, SP), pp. 730–735.
KDD-2006-YuYTKW #analysis #component #probability: Supervised probabilistic principal component analysis (SY, KY, VT, HPK, MW), pp. 464–473.
KR-2006-DuboisGK #abduction #probability: Probabilistic Abduction without Priors (DD, AG, GKI), pp. 420–430.
SIGIR-2006-ChenK #documentation #less is more #modelling #probability: Less is more: probabilistic models for retrieving fewer relevant documents (HC, DRK), pp. 429–436.
SIGIR-2006-HanSR #probability: Probabilistic model for definitional question answering (KSH, YIS, HCR), pp. 212–219.
SIGIR-2006-LillisTCD #approach #data fusion #named #probability: ProbFuse: a probabilistic approach to data fusion (DL, FT, RWC, JD), pp. 139–146.
SIGIR-2006-RollekeW #information retrieval #modelling #parallel #probability: A parallel derivation of probabilistic information retrieval models (TR, JW), pp. 107–114.
SIGIR-2006-YanH #analysis #multi #probability #query #retrieval: Probabilistic latent query analysis for combining multiple retrieval sources (RY, AGH), pp. 324–331.
QAPL-2005-AghaMS06 #named #object-oriented #probability #specification: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (GAA, JM, KS), pp. 213–239.
QAPL-2005-BaierDG06 #branch #partial order #probability #reduction: Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.
QAPL-2005-KwiatkowskaNP06 #analysis #model checking #probability: Quantitative Analysis With the Probabilistic Model Checker PRISM (MZK, GN, DP), pp. 5–31.
QAPL-2006-PradalierP #probability: Expressiveness of Probabilistic pi (SP, CP), pp. 119–136.
PADL-2006-ErwigK #evolution #modelling #probability #programming: Modeling Genome Evolution with a DSEL for Probabilistic Programming (ME, SK), pp. 134–149.
PADL-2006-SneyersVS #modelling #music: Probabilistic-Logical Modeling of Music (JS, JV, DDS), pp. 60–72.
ASPLOS-2006-SilvaS #analysis #optimisation #pointer #probability: A probabilistic pointer analysis for speculative optimizations (JDS, JGS), pp. 416–425.
HPCA-2006-RileyZ #predict #probability: Probabilistic counter updates for predictor hysteresis and stratification (NR, CBZ), pp. 110–120.
CAV-2006-KwiatkowskaNP #model checking #probability #reduction #symmetry: Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.
CSL-2006-ChadhaMS #probability #reasoning #source code: Reasoning About States of Probabilistic Sequential Programs (RC, PM, AS), pp. 240–255.
TestCom-2006-DiazNR #probability #testing: Customized Testing for Probabilistic Systems (LFLD, MN, IR), pp. 87–102.
VMCAI-2006-Younes #fault #model checking #probability: Error Control for Probabilistic Model Checking (HLSY), pp. 142–156.
DAC-2005-NepalBMPZ #design #logic #probability: Designing logic circuits for probabilistic computation in the presence of noise (KN, RIB, JLM, WRP, AZ), pp. 485–490.
DATE-2005-KrishnaswamyVMH #evaluation #matrix #probability #reliability: Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices (SK, GFV, ILM, JPH), pp. 282–287.
DATE-2005-KumarLTW #multi #probability #process #statistics: A Probabilistic Collocation Method Based Statistical Gate Delay Model Considering Process Variations and Multiple Input Switching (YSK, JL, CT, JMW), pp. 770–775.
SIGMOD-2005-JermaineDAJP #probability: A Disk-Based Join With Probabilistic Guarantees (CJ, AD, SA, SJ, AP), pp. 563–574.
SIGMOD-2005-SuciuD #probability #query: Foundations of probabilistic answers to queries (DS, NND), p. 963.
VLDB-2005-DalviS #probability #query #statistics: Answering Queries from Statistics and Probabilistic Views (NND, DS), pp. 805–816.
FoSSaCS-2005-AbbesB #branch #probability: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications (SA, AB), pp. 95–109.
FoSSaCS-2005-DengP #axiom #behaviour #finite #probability: Axiomatizations for Probabilistic Finite-State Behaviors (YD, CP), pp. 110–124.
FoSSaCS-2005-LanotteT #congruence #generative #probability #process: Probabilistic Congruence for Semistochastic Generative Processes (RL, ST), pp. 63–78.
FoSSaCS-2005-LaroussinieS #model checking #probability: Model Checking Durational Probabilistic Systems (FL, JS), pp. 140–154.
TACAS-2005-EtessamiY #algorithm #probability #recursion #state machine #verification: Algorithmic Verification of Recursive Probabilistic State Machines (KE, MY), pp. 253–270.
STOC-2005-AdlerEM #probability #towards: Towards asymptotic optimality in probabilistic packet marking (MA, JE, JM), pp. 450–459.
ICALP-2005-DattaDMST #logic #polynomial #probability #protocol #security #semantics: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic (AD, AD, JCM, VS, MT), pp. 16–29.
FM-2005-CelikuM #composition #cost analysis #probability #source code #specification: Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs (OC, AM), pp. 107–122.
EDOC-2005-PoernomoJS #constraints #distributed #probability: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model (IP, JJ, HWS), pp. 261–272.
CIKM-2005-NottelmannS #information retrieval #machine learning #probability: Information retrieval and machine learning for probabilistic schema matching (HN, US), pp. 295–296.
ECIR-2005-GoutteG #evaluation #precise #probability: A Probabilistic Interpretation of Precision, Recall and F-Score, with Implication for Evaluation (CG, ÉG), pp. 345–359.
ECIR-2005-Nottelmann #datalog #information retrieval #named #probability: PIRE: An Extensible IR Engine Based on Probabilistic Datalog (HN), pp. 260–274.
ECIR-2005-NottelmannS #approach #named #probability: sPLMap: A Probabilistic Approach to Schema Matching (HN, US), pp. 81–95.
ECIR-2005-Rijsbergen #information retrieval #logic #probability: A Probabilistic Logic for Information Retrieval (CJvR), pp. 1–6.
ICML-2005-CalinonB #framework #gesture #probability #recognition #using: Recognition and reproduction of gestures using a probabilistic framework combining PCA, ICA and HMM (SC, AB), pp. 105–112.
ICML-2005-JinZ #algorithm #probability #using: A smoothed boosting algorithm using probabilistic output codes (RJ, JZ), pp. 361–368.
ICML-2005-NatarajanTADFR #first-order #learning #modelling #probability: Learning first-order probabilistic models with combining rules (SN, PT, EA, TGD, AF, ACR), pp. 609–616.
KDD-2005-LangeB #probability: Combining partitions by probabilistic label aggregation (TL, JMB), pp. 147–156.
KDD-2005-SilvaZS #mining #probability #workflow: Probabilistic workflow mining (RBdAeS, JZ, JGS), pp. 275–284.
MLDM-2005-NikulinS #clustering #probability: Universal Clustering with Regularization in Probabilistic Space (VN, AJS), pp. 142–152.
SIGIR-2005-AzzopardiGC #probability: Probabilistic hyperspace analogue to language (LA, MG, MC), pp. 575–576.
SIGIR-2005-LiWLM #detection #probability: A probabilistic model for retrospective news event detection (ZL, BW, ML, WYM), pp. 106–113.
SIGIR-2005-WuLWKL #probability #retrieval: A retrospective study of probabilistic context-based retrieval (HCW, RWPL, KFW, KLK, WJL), pp. 663–664.
QAPL-2004-AldiniP05 #analysis #on the #probability #protocol: On Quantitative Analysis of Probabilistic Protocols (AA, ADP), pp. 131–148.
QAPL-2004-HurdMM05 #probability: Probabilistic Guarded Commands Mechanized in HOL (JH, AM, CM), pp. 95–111.
PADL-2005-SaadP #framework #hybrid #logic programming #probability #towards: Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.
POPL-2005-ParkPT #probability: A probabilistic language based upon sampling functions (SP, FP, ST), pp. 171–182.
RE-2005-RobinsonWW #analysis #design #probability #requirements #using: Risk Mitigation of Design Requirements Using a Probabilistic Analysis (MCR, SEW, DCW), pp. 231–239.
SAC-2005-BarrettEKMS #ad hoc #multi #network #probability #protocol: Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios (CLB, SE, LK, MVM, JPS), pp. 1166–1173.
SAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #realtime #set #validation: An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (GD, KGL, JJP, FC, VV), pp. 815–820.
LCTES-2005-FrankeOTF #embedded #optimisation #probability #source code: Probabilistic source-level optimisation of embedded programs (BF, MFPO, JT, GF), pp. 78–86.
CAV-2005-0002G #modelling #probability #protocol #verification: Improved Probabilistic Models for 802.11 Protocol Verification (AR, KG), pp. 239–252.
CAV-2005-Younes #black box #probability #verification: Probabilistic Verification for “Black-Box” Systems (HLSY), pp. 253–265.
ICLP-2005-BortolussiW #concurrent #constraints #distributed #probability #programming language: A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
ICLP-2005-SaadP #hybrid #logic programming #probability #source code: Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
LICS-2005-BaierG #automaton #probability #regular expression: Recognizing ω-regular Languages with Probabilistic Automata (CB, MG), pp. 137–146.
LICS-2005-EsparzaKM #analysis #automaton #probability: Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (JE, AK, RM), pp. 117–126.
TestCom-2005-LiL05a #algorithm #detection #fault #network #probability #testing: Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms (KL, DL), pp. 258–274.
DAC-2004-FineUZ #functional #probability #verification: Probabilistic regression suites for functional verification (SF, SU, AZ), pp. 49–54.
DAC-2004-JacomeHVB #design #fault #paradigm #probability: Defect tolerant probabilistic design paradigm for nanotechnologies (MFJ, CH, GdV, SB), pp. 596–601.
DATE-v1-2004-FernandesSOT #probability #testing: A Probabilistic Method for the Computation of Testability of RTL Constructs (JMF, MBS, ALO, JPT), pp. 176–181.
VLDB-2004-ChaudhuriDHW #database #probability #query #ranking: Probabilistic Ranking of Database Query Results (SC, GD, VH, GW), pp. 888–899.
VLDB-2004-ChengXPSV #nondeterminism #performance #probability #query: Efficient Indexing Methods for Probabilistic Threshold Queries over Uncertain Data (RC, YX, SP, RS, JSV), pp. 876–887.
VLDB-2004-DalviS #database #evaluation #performance #probability #query: Efficient Query Evaluation on Probabilistic Databases (NND, DS), pp. 864–875.
VLDB-2004-TheobaldWS #evaluation #probability #query: Top-k Query Evaluation with Probabilistic Guarantees (MT, GW, RS), pp. 648–659.
FoSSaCS-2004-RamanathanMST #analysis #bisimulation #equivalence #network #probability #protocol #security: Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols (AR, JCM, AS, VT), pp. 468–483.
TACAS-2004-YounesKNP #empirical #model checking #probability #statistics: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (HLSY, MZK, GN, DP), pp. 46–60.
SEFM-2004-LanotteMT #decidability #parametricity #probability #security: Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security (RL, AMS, AT), pp. 114–121.
ICEIS-v2-2004-Martinez-OtzetaS #algorithm #analysis #nearest neighbour #probability: Analysis of the Iterated Probabilistic Weighted K Nearest Neighbor Method, a new Distance-Based Algorithm (JMMO, BS), pp. 233–240.
ICML-2004-EliazarP #learning #mobile #modelling #probability: Learning probabilistic motion models for mobile robots (AIE, RP).
ICML-2004-LeeWZB #perspective #probability: Probabilistic tangent subspace: a unified view (JL, JW, CZ, ZB).
ICML-2004-SuD #automation #component #probability: Automated hierarchical mixtures of probabilistic principal component analyzers (TS, JGD).
ICML-2004-SuttonRM #modelling #probability #random #sequence: Dynamic conditional random fields: factorized probabilistic models for labeling and segmenting sequence data (CAS, KR, AM).
ICML-2004-ZhangY #estimation #probability: Probabilistic score estimation with piecewise logistic regression (JZ, YY).
ICPR-v1-2004-CucchiaraGTV #people #probability: Probabilistic People Tracking for Occlusion Handling (RC, CG, GT, RV), pp. 132–135.
ICPR-v1-2004-ThirdeJ #modelling #probability #segmentation #video: Hierarchical Probabilistic Models for Video Object Segmentation and Tracking (DT, GAJ), pp. 636–639.
ICPR-v1-2004-WithagenSG #classification #probability: Probabilistic Classification Between Foreground Objects and Background (PJW, KS, FCAG), pp. 31–34.
ICPR-v2-2004-ChenLF #adaptation #feature model #probability: Probabilistic Tracking with Adaptive Feature Selection (HTC, TLL, CSF), pp. 736–739.
ICPR-v2-2004-GimelfarbGZ #modelling #probability #question: To FRAME or not to FRAME in Probabilistic Texture Modelling? (GLG, LJVG, AZ), pp. 707–711.
ICPR-v2-2004-IurgelR #classification #documentation #probability #using: Spoken Document Classification with SVMs Using Linguistic Unit Weighting and Probabilistic Couplers (UI, GR), pp. 667–670.
ICPR-v2-2004-SerbyKG #multi #probability #using: Probabilistic Object Tracking Using Multiple Features (DS, EKM, LJVG), pp. 184–187.
ICPR-v2-2004-TanakaT #image #probability: Probabilistic Image Processing based on the Q-Ising Model by Means of the Mean-Field Method and Loopy Belief Propagation (KT, DMT), pp. 40–43.
ICPR-v2-2004-ValasoulisL #image #probability #retrieval: Probabilistic Shape-Based Image Indexing and Retrieval (KV, AL), pp. 969–972.
ICPR-v2-2004-VillegerAB #image #probability #using: Image Disocclusion Using a Probabilistic Gradient Orientation (EV, GA, LBF), pp. 52–55.
ICPR-v3-2004-GrossK #mobile #probability #robust #scalability #self: Robust Omniview-based Probabilistic Self-Localization for Mobile Robots in Large Maze-like Environments (HMG, AK), pp. 266–269.
ICPR-v3-2004-KapoorPI #detection #multi #probability: Probabilistic Combination of Multiple Modalities to Detect Interest (AK, RWP, YI), pp. 969–972.
ICPR-v3-2004-NeuhausB #approach #distance #edit distance #graph #learning #probability: A Probabilistic Approach to Learning Costs for Graph Edit Distance (MN, HB), pp. 389–393.
ICPR-v4-2004-BaO #estimation #framework #probability: A Probabilistic Framework for Joint Head Tracking and Pose Estimation (SOB, JMO), pp. 264–267.
ICPR-v4-2004-PeternelL #learning #probability #recognition #visual notation: Visual Learning and Recognition of a Probabilistic Spatio-Temporal Model of Cyclic Human Locomotion (MP, AL), pp. 146–149.
ICPR-v4-2004-PiriouBY #detection #image #modelling #probability: Learned Probabilistic Image Motion Models for Event Detection in Videos (GP, PB, JFY), pp. 207–210.
ICPR-v4-2004-TanakaOKK #locality #mobile #probability #using: Probabilistic Localization for Mobile Robots using Incomplete Maps (KT, NO, EK, YK), pp. 709–712.
ICPR-v4-2004-UlusoyHH #probability: Probabilistic Phase Based Sparse Stereo (IU, UH, ERH), pp. 84–87.
KDD-2004-BasuBM #clustering #framework #probability: A probabilistic framework for semi-supervised clustering (SB, MB, RJM), pp. 59–68.
KDD-2004-JinZM #analysis #mining #probability #semantics #web: Web usage mining based on probabilistic latent semantic analysis (XJ, YZ, BM), pp. 197–205.
KDD-2004-SteyversSRG #modelling #probability #topic: Probabilistic author-topic models for information discovery (MS, PS, MRZ, TLG), pp. 306–315.
KDD-2004-TinoKS #approach #generative #probability #sequence #set #visualisation: A generative probabilistic approach to visualizing sets of symbolic sequences (PT, AK, YS), pp. 701–706.
KR-2004-Lukasiewicz #logic #probability: Weak Nonmonotonic Probabilistic Logics (TL), pp. 23–33.
KR-2004-PasulaZK #learning #probability #relational: Learning Probabilistic Relational Planning Rules (HP, LSZ, LPK), pp. 683–691.
KR-2004-SmythP #probability: Qualitative Probabilistic Matching with Hierarchical Descriptions (CS, DP), pp. 479–487.
SIGIR-2004-Ogilvie #comprehension #generative #information retrieval #modelling #probability #using: Understanding combination of evidence using generative probabilistic models for information retrieval (abstract only) (PO), p. 603.
SIGIR-2004-WenLM #probability #retrieval: Probabilistic model for contextual retrieval (JRW, NL, WYM), pp. 57–63.
CGO-2004-SmelyanskiyMD #probability #scheduling: Probabilistic Predicate-Aware Modulo Scheduling (MS, SAM, ESD), pp. 151–162.
CAV-2004-SenVA #black box #model checking #probability #statistics: Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.
FATES-2004-LopezNR #testing: Testing of Symbolic-Probabilistic Systems (NL, MN, IR), pp. 49–63.
ICLP-2004-DekhtyarD #logic programming #probability #semantics #source code: Possible Worlds Semantics for Probabilistic Logic Programs (AD, MID), pp. 137–148.
ICLP-2004-PetitG #constraints #probability #statistics #testing: Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing (MP, AG), pp. 471–472.
LICS-2004-EsparzaKM #automaton #model checking #probability: Model Checking Probabilistic Pushdown Automata (JE, AK, RM), pp. 12–21.
VMCAI-2004-HeraultLMP #approximate #model checking #probability: Approximate Probabilistic Model Checking (TH, RL, FM, SP), pp. 73–84.
DRR-2003-JinZH #documentation #information retrieval #probability: Information retrieval for OCR documents: a content-based probabilistic correction model (RJ, CZ, AGH), pp. 128–135.
SIGMOD-2003-ChengKP #probability #query: Evaluating Probabilistic Queries over Imprecise Data (RC, DVK, SP), pp. 551–562.
FoSSaCS-2003-AbdullaR #communication #probability #verification: Verification of Probabilistic Systems with Faulty Communication (PAA, AMR), pp. 39–53.
FoSSaCS-2003-AronsPZ #abstraction #probability #verification: Parameterized Verification by Probabilistic Abstraction (TA, AP, LDZ), pp. 87–102.
FoSSaCS-2003-BreugelMOW #approximate #probability #similarity: An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (FvB, MWM, JO, JW), pp. 200–215.
STOC-2003-Tardo #probability: Optimal probabilistic fingerprint codes (GT), pp. 116–125.
ICALP-2003-DenisE #automaton #probability: Residual Languages and Probabilistic Automata (FD, YE), pp. 452–463.
ICALP-2003-Rabinovich #analysis #probability: Quantitative Analysis of Probabilistic Lossy Channel Systems (AMR), pp. 1008–1021.
ICALP-2003-StoelingaV #automaton #probability #testing: A Testing Scenario for Probabilistic Automata (MS, FWV), pp. 464–477.
SEFM-2003-LanotteMT #automaton #bisimulation #probability #security: Weak Bisimulation for Probabilistic Timed Automata and Applications to Security (RL, AMS, AT), pp. 34–43.
ICML-2003-Jaeger #classification #concept #probability: Probabilistic Classifiers and the Concepts They Recognize (MJ), pp. 266–273.
ICML-2003-LachicheF #classification #multi #probability #using: Improving Accuracy and Cost of Two-class and Multi-class Probabilistic Classifiers Using ROC Curves (NL, PAF), pp. 416–423.
KDD-2003-ChiuKL #probability: Probabilistic discovery of time series motifs (BYcC, EJK, SL), pp. 493–498.
KDD-2003-SarawagiCG #learning #named #probability #topic: Cross-training: learning probabilistic mappings between topics (SS, SC, SG), pp. 177–186.
SIGIR-2003-BruzaS #comparison #dependence #modelling #probability #using: A comparison of various approaches for using probabilistic dependencies in language modeling (PB, DS), pp. 419–420.
SIGIR-2003-DarwishO #probability #query: Probabilistic structured query methods (KD, DWO), pp. 338–344.
SIGIR-2003-Hofmann #analysis #collaboration #probability #semantics: Collaborative filtering via gaussian probabilistic latent semantic analysis (TH), pp. 259–266.
SIGIR-2003-TeevanK #analysis #development #empirical #exponential #probability #retrieval #using: Empirical development of an exponential probabilistic model for text retrieval: using textual analysis to build a better model (JT, DRK), pp. 18–25.
SIGIR-2003-TsuruokaT #generative #probability: Probabilistic term variant generator for biomedical terms (YT, JT), pp. 167–173.
SIGIR-2003-WesterveldV #analysis #generative #image #probability #retrieval: Experimental result analysis for a generative probabilistic image retrieval model (TW, APdV), pp. 135–142.
PPoPP-2003-ChenHHJL #analysis #architecture #compilation #multi #points-to #probability #thread: Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.
SAT-2003-BaumerS #algorithm #independence #probability #satisfiability: Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs (SB, RS), pp. 150–161.
SAT-2003-Parisi #approach #on the #probability #problem #random #satisfiability: On the Probabilistic Approach to the Random Satisfiability Problem (GP), pp. 203–213.
CBSE-2002-Mason #analysis #component #composition #probability #reliability: Probabilistic Analysis for Component Reliability Composition (DM), p. 8.
DAC-2002-OrshanskyK #analysis #framework #probability: A general probabilistic framework for worst case timing analysis (MO, KK), pp. 556–561.
VLDB-2002-NiermanJ #named #probability #xml: ProTDB: Probabilistic Data in XML (AN, HVJ), pp. 646–657.
FoSSaCS-2002-Doberkat #probability: The Demonic Product of Probabilistic Relations (EED), pp. 114–128.
TACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
STOC-2002-Adler #probability #trade-off: Tradeoffs in probabilistic packet marking for IP traceback (MA), pp. 407–418.
DLT-2002-SasakiIIW #2d #bound #probability #turing machine: A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines (YS, KI, AI, YW), pp. 185–196.
ICALP-2002-MartinMW #probability: Measuring the Probabilistic Powerdomain (KM, MWM, JW), pp. 463–475.
ICEIS-2002-OuziriV #approach #documentation #logic #modelling #probability: Logic and Probabilistic Based Approach for Document Data Modeling (MO, CV), pp. 1126–1129.
CIKM-2002-BrantsCT #analysis #documentation #probability #segmentation #semantics #topic: Topic-based document segmentation with probabilistic latent semantic analysis (TB, FC, IT), pp. 211–218.
CIKM-2002-GreiffMP #information retrieval #probability: The role of variance in term weighting for probabilistic information retrieval (WRG, WTM, JMP), pp. 252–259.
ICML-2002-LeckieR #distributed #learning #probability: Learning to Share Distributed Probabilistic Beliefs (CL, KR), pp. 371–378.
ICPR-v1-2002-ZhouC #algorithm #probability #recognition #robust: A Robust Algorithm for Probabilistic Human Recognition From (SKZ, RC), pp. 226–229.
ICPR-v2-2002-ChenL #probability: Probabilistic Tracking with Optimal Scale and Orientation Selection (HTC, TLL), pp. 668–671.
ICPR-v2-2002-GrimPS #network #probability: Boosting in Probabilistic Neural Networks (JG, PP, PS), pp. 136–139.
ICPR-v2-2002-KirshnerCSKC #detection #modelling #probability: Probabilistic Model-Based Detection of Bent-Double Radio Galaxies (SK, IVC, PS, CK, ECP), pp. 499–502.
ICPR-v2-2002-UdeA #detection #probability #using: Probabilistic Detection and Tracking at High Frame Rates Using Affine Warping (AU, CGA), pp. 6–9.
ICPR-v2-2002-WachsmuthS #analysis #image #probability #process #speech: Integrated Analysis of Speech and Images as a Probabilistic Decoding Process (SW, GS), pp. 588–592.
ICPR-v3-2002-AyromlouVP #probability #realtime: Probabilistic Matching of Image- to Model-Features for Real-time Object Tracking (MA, MV, WP), pp. 692–695.
ICPR-v3-2002-GreenspanGG #category theory #generative #image #modelling #probability: Probabilistic Models for Generating, Modelling and Matching Image Categories (HG, SG, JG), pp. 970–973.
ICPR-v3-2002-Horiuchi #estimation #image #probability: Estimation of Color for Gray-level Image by Probabilistic Relaxation (TH), pp. 867–870.
ICPR-v3-2002-JinQH #detection #probability: A Probabilistic Model for Camera Zoom Detection (RJ, YQ, AGH), pp. 859–862.
ICPR-v3-2002-RaghebH #framework #probability: A Probabilistic Framework for Specular Shape-from-Shading (HR, ERH), pp. 513–516.
ICPR-v4-2002-KoB02a #feedback #image #multi #network #probability #retrieval: Probabilistic Neural Networks Supporting Multi-Class Relevance Feedback in Region-Based Image Retrieval (BK, HB), pp. 138–141.
KR-2002-MateusPP #calculus #probability: Observations and the Probabilistic Situation Calculus (PM, AP, JP), pp. 327–340.
SIGIR-2002-BennettDH #classification #modelling #probability #reliability #using: Probabilistic combination of text classifiers using reliability indicators: models and results (PNB, STD, EH), pp. 207–214.
SIGIR-2002-Westerveld #multi #probability #retrieval: Probabilistic multimedia retrieval (TW), pp. 437–438.
CAV-2002-YounesS #probability #using #verification: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (HLSY, RGS), pp. 223–235.
ICLP-2002-Angelopoulos #bibliography #finite #perspective #probability: Probabilistic Finite Domains: A Brief Overview (NA), p. 475.
LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process: The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
LICS-2002-LaplanteLMPR #abstraction #approach #model checking #probability #testing: Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing (SL, RL, FM, SP, MdR), pp. 30–39.
RTA-2002-BournezK #probability: Probabilistic Rewrite Strategies. Applications to ELAN (OB, CK), pp. 252–266.
SAT-2002-KaporisKL #algorithm #analysis #probability #satisfiability: The Probabilistic Analysis of a Greedy Satisfiability Algorithm (ACK, LMK, EGL), p. 5.
SAT-2002-Pretolani #logic #modelling #probability: Probabilistic logic: The PSAT and CPA models (DP), p. 30.
VMCAI-2002-ZuckPK #automation #probability #verification: Automatic Verification of Probabilistic Free Choice (LDZ, AP, YK), pp. 208–224.
DAC-2001-BhanjaR #dependence #modelling #network #probability #process #using: Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks (SB, NR), pp. 209–214.
DAC-2001-LiouCKK #analysis #performance #probability #statistics: Fast Statistical Timing Analysis By Probabilistic Event Propagation (JJL, KTC, SK, AK), pp. 661–666.
DATE-2001-MarculescuN #analysis #modelling #probability: Probabilistic application modeling for system-level perfromance analysis (RM, AN), pp. 572–579.
ICDAR-2001-BourgeoisEB #comprehension #documentation #probability #using: Document Understanding Using Probabilistic Relaxation: Application on Tables of Contents of Periodicals (FL, HE, SSB), pp. 508–512.
ICDAR-2001-TulyakovG #probability #recognition #segmentation #word: Probabilistic Model for Segmentation Based Word Recognition with Lexicon (ST, VG), pp. 164–167.
ESOP-2001-Mitchell #analysis #calculus #polynomial #probability #process #protocol #security: Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (JCM), pp. 23–29.
ESOP-2001-Monniaux #abstract interpretation #probability #source code: Backwards Abstract Interpretation of Probabilistic Programs (DM), pp. 367–382.
TACAS-2001-AndovaB #abstraction #algebra #probability #process: Abstraction in Probabilistic Process Algebra (SA, JCMB), pp. 204–219.
SAS-2001-Monniaux #analysis #probability #source code #termination: An Abstract Analysis of the Probabilistic Termination of Programs (DM), pp. 111–126.
STOC-2001-Vatan #automaton #probability: Distribution functions of probabilistic automata (FV), pp. 684–693.
ICALP-2001-BandiniS #axiom #bisimulation #probability: Axiomatizations for Probabilistic Bisimulation (EB, RS), pp. 370–381.
ICALP-2001-BreugelW #probability #towards #verification: Towards Quantitative Verification of Probabilistic Transition Systems (FvB, JW), pp. 421–432.
CIKM-2001-NottelmannF #classification #datalog #learning #probability: Learning Probabilistic Datalog Rules for Information Classification and Transformation (HN, NF), pp. 387–394.
ICML-2001-GetoorFKT #learning #modelling #probability #relational: Learning Probabilistic Models of Relational Structure (LG, NF, DK, BT), pp. 170–177.
ICML-2001-LaffertyMP #modelling #probability #random #sequence: Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data (JDL, AM, FCNP), pp. 282–289.
ICML-2001-Thollard #algorithm #grammar inference #probability: Improving Probabilistic Grammatical Inference Core Algorithms with Post-processing Techniques (FT), pp. 561–568.
KDD-2001-CadezSM #modelling #predict #probability #profiling #transaction #visualisation: Probabilistic modeling of transaction data with applications to profiling, visualization, and prediction (IVC, PS, HM), pp. 37–46.
KDD-2001-PavlovS #modelling #probability #query #transaction: Probabilistic query models for transaction data (DP, PS), pp. 164–173.
KDD-2001-PennockLNG #game studies #probability #web: Extracting collective probabilistic forecasts from web games (DMP, SL, FÅN, CLG), pp. 174–183.
SIGIR-2001-DumaisJ #probability: Probabilistic Combination of Content and Links (STD, RJ), pp. 402–403.
SIGIR-2001-XuWN #information retrieval #probability: Evaluating a Probabilistic Model for Cross-Lingual Information Retrieval (JX, RMW, CN), pp. 105–110.
POPL-2001-Monniaux #analysis #monte carlo #probability #source code: An abstract Monte-Carlo method for the analysis of probabilistic programs (DM), pp. 93–101.
CC-2001-MehoferS #data flow #framework #novel #probability: A Novel Probabilistic Data Flow Framework (EM, BS), pp. 37–51.
ICLP-2001-Subrahmanian #database #logic programming #probability: Probabilistic Databases and Logic Programming (VSS), p. 10.
LICS-2001-MitchellRST #analysis #calculus #probability #process #protocol #security: Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis (JCM, AR, AS, VT), pp. 3–5.
FoSSaCS-2000-BaierS #bisimulation #probability: Norm Functions for Probabilistic Bisimulations with Delays (CB, MS), pp. 1–16.
FoSSaCS-2000-HerescuP #probability #π-calculus: Probabilistic Asynchronous π-Calculus (OMH, CP), pp. 146–160.
TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using: Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.
SAS-2000-Monniaux #abstract interpretation #probability #semantics: Abstract Interpretation of Probabilistic Semantics (DM), pp. 322–339.
STOC-2000-KatzY #encryption #probability #security: Complete characterization of security notions for probabilistic private-key encryption (JK, MY), pp. 245–254.
STOC-2000-Klauck #communication #on the #probability #protocol #quantum: On quantum and probabilistic communication: Las Vegas and one-way protocols (HK), pp. 644–651.
ICML-2000-CohnC #documentation #identification #learning: Learning to Probabilistically Identify Authoritative Documents (DC, HC), pp. 167–174.
ICML-2000-NikovskiN #learning #mobile #modelling #navigation #probability: Learning Probabilistic Models for Decision-Theoretic Navigation of Mobile Robots (DN, IRN), pp. 671–678.
ICML-2000-Talavera #concept #feature model #incremental #learning #probability: Feature Selection and Incremental Learning of Probabilistic Concept Hierarchies (LT), pp. 951–958.
ICML-2000-ThollardDH #automaton #probability #using: Probabilistic DFA Inference using Kullback-Leibler Divergence and Minimality (FT, PD, CdlH), pp. 975–982.
ICPR-v2-2000-BaggenstossN #classification #probability #using: A Theoretically Optimal Probabilistic Classifier Using Class-Specific Features (PMB, HN), pp. 2763–2768.
ICPR-v2-2000-VinokourovG #clustering #documentation #probability: Probabilistic Hierarchical Clustering Method for Organizing Collections of Text Documents (AV, MG), pp. 2182–2185.
ICPR-v3-2000-GalambosKM #probability #using: Using Gradient Information to Enhance the Progressive Probabilistic Hough Transform (CG, JK, JM), pp. 3564–3567.
ICPR-v3-2000-GomezSM #estimation #probability: Probabilistic Estimation of Local Scale (GG, LES, JLM), pp. 3798–3801.
ICPR-v3-2000-NaphadeH #framework #probability #semantics #using #video: Semantic Video Indexing Using a Probabilistic Framework (MRN, TSH), pp. 3083–3088.
ICPR-v3-2000-OrriolsTBRVV #approach #detection #modelling #probability #using: Probabilistic Saliency Approach for Elongated Structure Detection Using Deformable Models (XO, RT, XB, PR, JV, JJV), pp. 7018–7021.
ICPR-v3-2000-RoyG #probability: MRF Solutions for Probabilistic Optical Flow Formulations (SR, VG), pp. 7053–7059.
ICPR-v3-2000-VaronaGRV #named #people #probability: iTrack: Image-Based Probabilistic Tracking of People (XV, JG, FXR, JJV), pp. 7122–7125.
ICPR-v4-2000-BuiVW #framework #probability: A Probabilistic Framework for Tracking in Wide-Area Environments (HHB, SV, GAWW), pp. 4702–4705.
ICPR-v4-2000-GilRS #approach #image #probability #segmentation: Segmentation of artery wall in coronary IVUS images: A Probabilistic Approach (DG, PR, JS), pp. 4352–4355.
KDD-2000-CadezGS #clustering #framework #probability: A general probabilistic framework for clustering individuals and objects (IVC, SG, PS), pp. 140–149.
SIGIR-2000-AslamM #probability: Bayes optimal metasearch: a probabilistic model for combining the results (JAA, MHM), pp. 379–381.
SIGIR-2000-Hofmann #learning #modelling #probability #web: Learning probabilistic models of the Web (TH), pp. 369–371.
SIGIR-2000-PetasisCVPKS #adaptation #automation #machine learning #probability: Automatic adaptation of proper noun dictionaries through cooperation of machine learning and probabilistic methods (GP, AC, PV, GP, VK, CDS), pp. 128–135.
PPDP-2000-PierroW #abstract interpretation #concurrent #constraints #probability #programming #towards: Concurrent constraint programming: towards probabilistic abstract interpretation (ADP, HW), pp. 127–138.
LICS-2000-DanosH #game studies #probability #semantics: Probabilistic Game Semantics (VD, RH), pp. 204–213.
ICDAR-1999-NuijtG #probability #recognition #towards: A Probabilistic Model for Postcode Recognition: A First Step towards Probabilistic Address Interpretation (MRN, EvG), pp. 761–764.
ICDAR-1999-StuckelbergD #on the #probability #reasoning #recognition #using: On Musical Score Recognition using Probabilistic Reasoning (MVS, DSD), pp. 115–118.
VLDB-1999-DonjerkovicR #optimisation #probability #query: Probabilistic Optimization of Top N Queries (DD, RR), pp. 411–422.
FoSSaCS-1999-NarasimhaCI #calculus #logic #probability #μ-calculus: Probabilistic Temporal Logics via the Modal μ-Calculus (MN, RC, SPI), pp. 288–305.
STOC-1999-CaiNS #probability #theorem: Hardness and Hierarchy Theorems for Probabilistic Quasi-Polynomial Time (JyC, AN, DS), pp. 726–735.
ICALP-1999-HassinP #distributed #probability: Distributed Probabilistic Polling and Applications to Proportionate Agreement (YH, DP), pp. 402–411.
FM-v1-1999-LincolnMMS #analysis #equivalence #polynomial #probability #security: Probabilistic Polynomial-Time Equivalence and Security Analysis (PL, JCM, MM, AS), pp. 776–793.
CIKM-1999-GovertLF #approach #categorisation #documentation #probability #web: A Probabilistic Description-Oriented Approach for Categorizing Web Documents (NG, ML, NF), pp. 475–482.
ICML-1999-AbeL #concept #learning #linear #probability #using: Associative Reinforcement Learning using Linear Probabilistic Concepts (NA, PML), pp. 3–11.
SIGIR-1999-Hofmann #probability #semantics: Probabilistic Latent Semantic Indexing (TH), pp. 50–57.
SAC-1999-LauberSW #assurance #online #probability #quality #safety: Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program (JL, CS, RW), pp. 25–30.
ESEC-FSE-1999-Padberg #probability: A Probabilistic Model for Software Projects (FP), pp. 109–126.
ICLP-1999-DekhtyarDS #logic programming #probability #source code: Temporal Probabilistic Logic Programs (AD, MID, VSS), pp. 109–123.
DAC-1998-VecianaJG #algorithm #constraints #performance #probability: Hierarchical Algorithms for Assessing Probabilistic Constraints on System Performance (GdV, MFJ, JHG), pp. 251–256.
PODS-1998-PapadimitriouRTV #analysis #probability #semantics: Latent Semantic Indexing: A Probabilistic Analysis (CHP, PR, HT, SV), pp. 159–168.
STOC-1998-CanettiMR #probability: Perfectly One-Way Probabilistic Hash Functions (Preliminary Version) (RC, DM, OR), pp. 131–140.
ICALP-1998-Wigderson #algorithm #probability #question: Do Probabilistic Algorithms Outperform Deterministic Ones? (AW), pp. 212–214.
ACIR-1998-PicardH #information retrieval #modelling #probability: Modeling Information Retrieval with Probabilistic Argumentation Systems (JP, RH).
ICPR-1998-ChouS #probability #relational: Probabilistic relational indexing (YYC, LGS), pp. 1331–1335.
ICPR-1998-Takasu #analysis #documentation #image #probability: Probabilistic interpage analysis for article extraction from document images (AT), pp. 932–935.
KDD-1998-ChanGR #information retrieval #modelling #probability: Probabilistic Modeling for Information Retrieval with Unsupervised Training Data (EPC, SG, SR), pp. 159–163.
KR-1998-Lukasiewicz #constraints #deduction #probability: Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.
SIGIR-1998-Larson #probability #retrieval: Cheshire II: Combining Probabilistic and Boolean Retrieval (RRL), p. 385.
SIGIR-1998-Picard #documentation #modelling #probability #using: Modeling and Combining Evidence Provided by Document Relationships Using Probabilistic Argumentation Systems (JP), pp. 182–189.
SIGIR-1998-SmithS #algebra #named #probability #web: PWA: An Extended Probabilistic Web Algebra (DS, RS), p. 388.
SAC-1998-Li #evaluation #performance #probability: Performance evaluation of probabilistic tree embedding in cube-connected cycles (KL), pp. 584–592.
CSL-1998-Lukasiewicz #first-order #logic #probability #semantics: Many-Valued First-Order Logics with Probabilistic Semantics (TL), pp. 415–429.
LICS-1998-Alfaro #behaviour #how #probability #verification: How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LdA), pp. 454–465.
LICS-1998-StarkS #analysis #automaton #composition #network #probability: Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata (EWS, SAS), pp. 466–477.
DAC-1997-MarculescuMP #analysis #finite #probability #sequence #state machine: Sequence Compaction for Probabilistic Analysis of Finite-State Machines (DM, RM, MP), pp. 12–15.
ICDAR-1997-KangK #classification #framework #multi #probability: Probabilistic Framework for Combining Multiple Classifiers at Abstract Level (HJK, JHK), pp. 870–874.
VLDB-1997-FlorescuKLP #integration #probability #using: Using Probabilistic Information in Data Integration (DF, DK, AYL), pp. 216–225.
STOC-1997-FortnowS #linear #probability: Retraction of Probabilistic Computation and Linear Time (LF, MS), p. 750.
STOC-1997-KilianPT #proving: Probabilistically Checkable Proofs with Zero Knowledge (JK, EP, GT), pp. 496–505.
DLT-1997-PazC #array #automaton #evolution #probability: Chaotic Evolution via Generalized Probabilistic Automata (Probabilistic Arrays) (AP, JWC), pp. 9–35.
ICALP-1997-BaierCHKR #model checking #probability #process: Symbolic Model Checking for Probabilistic Processes (CB, EMC, VHG, MZK, MR), pp. 430–440.
ICALP-1997-VinkR #algebra #approach #bisimulation #probability: Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach (EPdV, JJMMR), pp. 460–470.
CIKM-1997-Lukasiewicz #deduction #knowledge base #performance #probability #taxonomy: Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events (TL), pp. 75–82.
ICML-1997-Gama #linear #probability: Probabilistic Linear Tree (JG), pp. 134–142.
ICML-1997-Joachims #algorithm #analysis #categorisation #probability: A Probabilistic Analysis of the Rocchio Algorithm with TFIDF for Text Categorization (TJ), pp. 143–151.
KDD-1997-KeoghS #approach #database #pattern matching #performance #probability: A Probabilistic Approach to Fast Pattern Matching in Time Series Databases (EJK, PS), pp. 24–30.
SIGIR-1997-Baumgarten #distributed #information retrieval #probability: A Probabilistic Model for Distributed Information Retrieval (CB), pp. 258–266.
SIGIR-1997-GreiffCT #modelling #probability: Computationally Tractable Probabilistic Modeling of Boolean Operators (WRG, WBC, HRT), pp. 119–128.
ICSE-1997-BernotBG #formal method #functional #probability #testing: A Theory of Probabilistic Functional Testing (GB, LB, PLG), pp. 216–226.
CAV-1997-BaierH #bisimulation #probability #process: Weak Bisimulation for Fully Probabilistic Processes (CB, HH), pp. 119–130.
ICLP-1997-DekhtyarS #hybrid #probability #source code: Hybrid Probabilistic Programs (AD, VSS), pp. 391–405.
TACAS-1996-MoserM #automaton #probability #realtime: Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.
ICALP-1996-BookVW #on the #probability #quantifier: On Type-2 Probabilistic Quantifiers (RVB, HV, KWW), pp. 369–380.
ICFP-1996-ChuangH #approach #automation #data transformation #probability #problem: A Probabilistic Approach to the Problem of Automatic Selection of Data Representations (TRC, WLH), pp. 190–200.
ICML-1996-LiuS #approach #feature model #probability: A Probabilistic Approach to Feature Selection — A Filter Solution (HL, RS), pp. 319–327.
ICPR-1996-Brailovsky #approach #detection #probability: An approach to outlier detection based on Bayesian probabilistic model (VLB), pp. 70–74.
ICPR-1996-OommenL #fault #pattern matching #pattern recognition #probability #recognition: Probabilistic syntactic pattern recognition for traditional and generalized transposition errors (BJO, RKSL), pp. 685–689.
ICPR-1996-SchieleC #multi #probability #recognition #using: Probabilistic object recognition using multidimensional receptive field histograms (BS, JLC), pp. 50–54.
CAV-1996-Baier #algorithm #bisimulation #polynomial #probability #simulation #testing: Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation (CB), pp. 50–61.
JICSLP-1996-Ngo #database #deduction #probability: Probabilistic Disjunctive Deductive Databases (Poster Abstract) (LN), p. 541.
ICDAR-v1-1995-BertilleG #approach #automation #probability: A probabilistic approach to automatic handwritten address reading (JMB, MG), pp. 368–371.
ICDAR-v1-1995-HoriuchiTYY #optimisation #probability #process: Relaxation optimizing processes in extended probabilistic space (TH, KT, KY, HY), pp. 266–269.
TACAS-1995-Tofts #approximate #probability #process: Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (CMNT), pp. 174–194.
STOC-1995-AlurCY #nondeterminism #probability #testing: Distinguishing tests for nondeterministic and probabilistic machines (RA, CC, MY), pp. 363–372.
ICML-1995-DaganE #classification #probability: Committee-Based Sampling For Training Probabilistic Classifiers (ID, SPE), pp. 150–157.
SIGIR-1995-Fuhr #datalog #logic #probability #retrieval: Probabilistic Datalog — A Logic For Powerful Retrieval Methods (NF), pp. 282–290.
SIGIR-1995-MittendorfSS #library #probability #scalability: Applying Probabilistic Term Weighting to OCR Text in the Case of a Large Alphabetic Library Catalogue (EM, PS, PS), pp. 328–335.
LICS-1995-JonssonY #composition #probability #process #testing: Compositional Testing Preorders for Probabilistic Processes (BJ, WY), pp. 431–441.
DAC-1994-HachtelMPS #analysis #finite #probability #scalability #state machine: Probabilistic Analysis of Large Finite State Machines (GDH, EM, AP, FS), pp. 270–275.
STOC-1994-BellareGLR #approximate #performance #probability #proving: Efficient probabilistic checkable proofs and applications to approximation (MB, SG, CL, AR), p. 820.
STOC-1994-CondonHPW #automaton #finite #nondeterminism #on the #power of #probability: On the power of finite automata with both nondeterministic and probabilistic states (preliminary version) (AC, LH, SP, AW), pp. 676–685.
STOC-1994-MacKenziePR #on the #probability #protocol: On contention resolution protocols and associated probabilistic phenomena (PDM, CGP, RR), pp. 153–162.
ICALP-1994-Siegelmann #network #on the #power of #probability: On The Computational Power of Probabilistic and Faulty Neural Networks (HTS), pp. 23–34.
KDD-1994-TsumotoT #estimation #probability #recursion: Selection of Probabilistic Measure Estimation Method Based on Recursive Iteration of Resampling Methods (ST, HT), pp. 121–132.
KR-1994-Jaeger #logic #probability #reasoning: Probabilistic Reasoning in Terminological Logics (MJ), pp. 305–316.
KR-1994-KoenigS #graph #probability: Risk-Sensitive Planning with Probabilistic Decision Graphs (SK, RGS), pp. 363–373.
SIGIR-1994-RobertsonW #approximate #effectiveness #probability #retrieval: Some Simple Effective Approximations to the 2-Poisson Model for Probabilistic Weighted Retrieval (SER, SW), pp. 232–241.
SIGIR-1994-Sebastiani #information retrieval #logic #modelling #probability: A Probabilistic Terminological Logic for Modelling Information Retrieval (FS0), pp. 122–130.
SIGIR-1994-TaghvaBC #information retrieval #probability: Results of Applying Probabilistic IR to OCR Text (KT, JB, AC), pp. 202–211.
SAC-1994-AbualiSW #algorithm #design #network #probability #search-based #using: Designing telecommunications networks using genetic algorithms and probabilistic minimum spanning trees (FNA, DAS, RLW), pp. 242–246.
ILPS-1994-LakshmananS #database #deduction #probability: Probabilistic Deductive Databases (LVSL, FS), pp. 254–268.
DAC-1993-StamoulisH #correlation #probability #simulation: Improved Techniques for Probabilistic Simulation Including Signal Correlation Effects (GIS, INH), pp. 379–383.
ICDAR-1993-HongH #parsing #probability #recognition: Text recognition enhancement with a probabilistic lattice chart parser (TH, JJH), pp. 222–225.
ICDAR-1993-KonnoH #algorithm #probability #semantics: Postprocessing algorithm based on the probabilistic and semantic method for Japanese OCR (AK, YH), pp. 646–649.
STOC-1993-BellareGLR #approximate #performance #proving: Efficient probabilistically checkable proofs and applications to approximations (MB, SG, CL, AR), pp. 294–304.
STOC-1993-CondonFLS #algorithm #approximate: Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions (AC, JF, CL, PWS), pp. 305–314.
DLT-1993-KrithivasanM #array #modelling #nondeterminism #probability: Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.
ICALP-1993-Ablayev #bound #communication #complexity #probability: Lower Bounds for One-way Probabilistic Communication Complexity (FMA), pp. 241–252.
ICML-1993-NortonH #learning #probability: Learning DNF Via Probabilistic Evidence Combination (SWN, HH), pp. 220–227.
SIGIR-1993-Fuhr #database #information retrieval #integration #probability #relational: A Probabilistic Relational Model for the Integration of IR and Databases (NF), pp. 309–317.
SAC-1993-AthertonL #comprehension #natural language #probability: A Probabilistic Model for Natural Language Understanding (MA, DAL), pp. 586–592.
SAC-1993-Chen #fault #probability #robust: Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects (IRC), pp. 677–681.
SAC-1993-Sen #low cost #probability #set #using: Minimal Cost Set Covering Using Probabilistic Methods (SS), pp. 157–164.
ICALP-1992-CleavelandSZ #probability #process #testing: Testing Preorders for Probabilistic Processes (RC, SAS, AEZ), pp. 708–719.
ICALP-1992-KirschenhoferPS #analysis #how #probability #problem: How to Count Quickly and Accurately: A Unified Analysis of Probabilistic Counting and Other Related Problems (PK, HP, WS), pp. 211–222.
SIGIR-1992-CooperGD #probability #retrieval #staged: Probabilistic Retrieval Based on Staged Logistic Regression (WSC, FCG, DPD), pp. 198–210.
SIGIR-1992-Fuhr #integration #probability #retrieval: Integration of Probabilistic Fact and Text Retrieval (NF), pp. 211–222.
SIGIR-1992-Nie #information retrieval #logic #probability #semantics #towards: Towards a Probabilistic Modal Logic for Semantic-based Information Retrieval (JYN), pp. 140–151.
DAC-1991-DeguchiIY #analysis #fault #logic #probability: Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits (YD, NI, SY), pp. 650–655.
DAC-1991-WuL #fault #probability #testing: A Probabilistic Testability Measure for Delay Faults (WCW, CLL), pp. 440–445.
STOC-1991-Karp #probability: Probabilistic Recurrence Relations (RMK), pp. 190–197.
ICALP-1991-AlurCD #model checking #probability #realtime: Model-Checking for Probabilistic Real-Time Systems (Extended Abstract) (RA, CC, DLD), pp. 115–126.
ICALP-1991-KanepsF #automaton #probability #regular expression: Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata (JK, RF), pp. 174–185.
ML-1991-AllenT #concept #probability #relational: Probabilistic Concept Formation in Relational Domains (JAA, KT), pp. 375–379.
ML-1991-BhuyanR #adaptation #clustering #information retrieval #probability: A Probabilistic Retrieval Scheme for Cluster-based Adaptive Information Retrieval (JNB, VVR), pp. 240–244.
ML-1991-desJardins #bias #learning #probability: Probabilistic Evaluating of Bias for Learning Systems (Md), pp. 495–499.
SIGIR-1991-Cooper #consistency #information retrieval #nondeterminism #probability: Inconsistencies and Misnomers in Probabilistic IR (WSC), pp. 57–61.
SIGIR-1991-FuhrP #probability: Combining Model-Oriented and Description-Oriented Approaches for Probabilistic Indexing (NF, UP), pp. 46–56.
CAV-1991-ChristoffC #algorithm #performance #probability #process #verification: Efficient Algorithms for Verification of Equivalences for Probabilistic Processes (LC, IC), pp. 310–321.
CSL-1991-HeuschS #aspect-oriented #behaviour #probability: Some Aspects of the Probabilistic Behavior of Variants of Resolution (PH, ES), pp. 164–172.
LICS-1991-JonssonL #probability #process #refinement #specification: Specification and Refinement of Probabilistic Processes (BJ, KGL), pp. 266–277.
VLDB-1990-Fuhr #database #framework #probability #query: A Probabilistic Framework for Vague Queries and Imprecise Information in Databases (NF), pp. 696–707.
ML-1990-ChanW #analysis #induction #learning #performance #probability: Performance Analysis of a Probabilistic Inductive Learning System (KCCC, AKCW), pp. 16–23.
SIGIR-1990-FuhrB #documentation #feedback #probability: Probabilistic Document Indexing from Relevance Feedback Data (NF, CB), pp. 45–61.
SIGIR-1990-FungCAT #architecture #concept #information retrieval #probability: An Architecture for Probabilistic Concept-Based Information Retrieval (RMF, SLC, LAA, RMT), pp. 455–467.
LICS-1990-GlabbeekSST #generative #modelling #probability #process: Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.
STOC-1989-FortnowS #linear #probability: Probabilistic Computation and Linear Time (LF, MS), pp. 148–156.
ICALP-1989-FeldmanM #algorithm #probability: An Optimal Probabilistic Algorithm For Synchronous Byzantine Agreement (PF, SM), pp. 341–378.
ICALP-1989-LouchardRS #algorithm #analysis #probability: Dynamic Algorithms in D. E. Knuth’s Model: A Probabilistic Analysis (GL, BR, RS), pp. 521–533.
KR-1989-Pearl #bibliography #probability #reasoning #semantics: Probabilistic Semantics for Nonmonotonic Reasoning: A Survey (JP), pp. 505–516.
ML-1989-GoodmanS #algorithm #induction #probability #set: The Induction of Probabilistic Rule Sets — The Itrule Algorithm (RMG, PS), pp. 129–132.
SIGIR-1989-Kwok #information retrieval #network #probability: A Neural Network for Probabilistic Information Retrieval (KLK), pp. 21–30.
POPL-1989-LarsenS #bisimulation #probability #testing: Bisimulation Through Probabilistic Testing (KGL, AS), pp. 344–352.
LICS-1989-JonesP #probability: A Probabilistic Powerdomain of Evaluations (CJ, GDP), pp. 186–195.
ICALP-1988-FlajoletGT #probability #random: Random Allocations and Probabilistic Languages (PF, DG, LT), pp. 239–253.
VLDB-1987-CavalloP #database #formal method #probability: The Theory of Probabilistic Databases (RC, MP), pp. 71–81.
ICALP-1987-LiY #complexity #parallel #probability #symmetry: The Probabilistic and Deterministic Parallel Complexity of Symmetric Functions (ML, YY), pp. 326–335.
SIGIR-1987-FuhrM #probability: Probabilistic Search Term Weighting-Some Negative Results (NF, PM), pp. 13–18.
STOC-1986-Bern #probability: Two Probabilistic Results on Rectilinear Steiner Trees (MWB), pp. 433–441.
ICALP-1986-RosierY #complexity #concurrent #finite #on the #probability #source code #termination: On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs (LER, HCY), pp. 334–343.
SIGIR-1986-Fuhr #modelling #probability #retrieval: Two Models of Retrieval with Probabilistic Indexing (NF), pp. 249–257.
SIGIR-1986-LoseeBY #comparison #database #documentation #modelling #performance #probability #retrieval: Probabilistic Models for Document Retrieval: A Comparison of Performance on Experimental and Synthetic Databases (RML, AB, CTY), pp. 258–264.
LICS-1986-PnueliZ #probability #verification: Probabilistic Verification by Tableaux (AP, LDZ), pp. 322–331.
DAC-1985-Wunderlich #analysis #named #probability #testing: PROTEST: a tool for probabilistic testability analysis (HJW), pp. 204–211.
PODS-1985-BancilhonS #algebra #database #independence #probability: Algebraic Versus Probabilistic Independence in Data Bases (FB, NS), pp. 149–153.
STOC-1985-Clarkson #algorithm #probability #problem: A Probabilistic Algorithm for the Post Office Problem (KLC), pp. 175–184.
ICALP-1985-Jung #on the #probability: On Probabilistic Time and Space (HJ), pp. 310–317.
ICALP-1985-KurtzM #algorithm #analysis #distributed #probability #set: A Probabilistic Distributed Algorithm for Set Intersection and Its Analysis (Preliminary Version) (TGK, UM), pp. 356–362.
SIGIR-1985-Bookstein #probability #retrieval: Implications of Boolean Structures for Probabilistic Retrieval (AB), pp. 11–17.
SIGIR-1985-Kwok #automation #documentation #probability #similarity: Experiments with Cited Titles for Automatic Document Indexing and Similarity Measure in a Probabilistic Context (KLK), pp. 165–178.
STOC-1984-AjtaiB #constant #probability #theorem: A Theorem on Probabilistic Constant Depth Computations (MA, MBO), pp. 471–474.
STOC-1984-HartS #bound #finite #logic #modelling #probability: Probabilistic Temporal Logics for Finite and Bounded Models (SH, MS), pp. 1–13.
STOC-1984-KarpLM #analysis #multi #probability #problem: A Probabilistic Analysis of Multidimensional Bin Packing Problems (RMK, ML, AMS), pp. 289–298.
STOC-1984-Upfal #modelling #parallel #probability: A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version) (EU), pp. 258–265.
ICALP-1984-Jung #complexity #matrix #on the #performance #probability #problem: On Probabilistic Tape Complexity and Fast Circuits for Matrix Inversion Problems (Extended Abstract) (HJ), pp. 281–291.
ICALP-1984-ReifS #distributed #probability #resource management: Probabilistic Bidding Gives Optimal Distributed Resource Allocation (JHR, PGS), pp. 391–402.
STOC-1983-Feldman #decidability #logic #probability: A Decidable Propositional Probabilistic Dynamic Logic (YAF), pp. 298–309.
STOC-1983-Kozen #probability: A Probabilistic PDL (DK), pp. 291–297.
STOC-1983-Pnueli #algorithm #on the #probability: On the Extremely Fair Treatment of Probabilistic Algorithms (AP), pp. 278–290.
STOC-1983-Turner #algorithm #analysis #probability: Probabilistic Analysis of Bandwidth Minimization Algorithms (JST), pp. 467–476.
ICALP-1983-HartS #concurrent #how #probability: Concurrent Probabilistic Program, or: How to Schedule if You Must (SH, MS), pp. 304–318.
STOC-1982-FeldmanH #logic #probability: A Probabilistic Dynamic Logic (YAF, DH), pp. 181–195.
STOC-1982-GoldwasserM #encryption #game studies #how #probability: Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information (SG, SM), pp. 365–377.
STOC-1982-ManberT #nondeterminism #probability: Probabilistic, Nondeterministic, and Alternating Decision Trees (UM, MT), pp. 234–244.
STOC-1982-Pippenger #probability #simulation: Probabilistic Simulations (Preliminary Version) (NP), pp. 17–26.
STOC-1982-RuzzoST #bound #probability: Space-Bounded Hierarchies and Probabilistic Computations (WLR, JS, MT), pp. 215–223.
ICALP-1982-Reif #on the #parallel #power of #probability: On the Power of Probabilistic Choice in Synchronous Parallel Computations (JHR), pp. 442–450.
SIGIR-1982-Maron #documentation #probability #problem #retrieval: Probabilistic Approaches to the Document Retrieval Problem (MEM), pp. 98–107.
SIGIR-1982-RobertsonMC #information retrieval #probability: The Unified Probabilistic Model for IR (SER, MEM, WSC), pp. 108–117.
POPL-1982-HartSP #concurrent #probability #source code #termination: Termination of Probabilistic Concurrent Programs (SH, MS, AP), pp. 1–6.
DAC-1981-WallaceH #probability: Some properties of a probabilistic model for global wiring (DW, LH), pp. 660–667.
STOC-1981-Simon #bound #complexity #probability #turing machine: Space-Bounded Probabilistic Turing Machine Complexity Classes Are Closed under Complement (Preliminary Version) (JS), pp. 158–167.
SIGIR-1981-YuL #approach #probability #retrieval: An Approach to Probabilistic Retrieval (CTY, KL), pp. 46–55.
STOC-1980-Reif #logic #probability #programming: Logics for Probabilistic Programming (Extended Abstract) (JHR), pp. 8–13.
SIGIR-1980-RobertsonRP #modelling #probability: Probabilistic Models of Indexing and Searching (SER, CJvR, MFP), pp. 35–56.
SIGIR-1980-Weiss #algorithm #nearest neighbour #probability: A Probabilistic Algorithm for Nearest Neighbour Searching (SFW), pp. 325–333.
ICALP-1979-Karp #algorithm #analysis #graph #probability: Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract) (RMK), pp. 338–339.
STOC-1978-Rackoff #algorithm #probability: Relativized Questions Involving Probabilistic Algorithms (CR), pp. 338–342.
STOC-1977-AngluinV #algorithm #performance #probability: Fast Probabilistic Algorithms for Hamiltonian Circuits and Matchings (DA, LGV), pp. 30–41.
ICALP-1977-BertoniMT #automaton #probability #problem #recursion: Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata (AB, GM, MT), pp. 87–94.
STOC-1975-Fredman #probability #sorting: Two Applications of a Probabilistic Search Technique: Sorting x + y and Building Balanced Search Trees (MLF), pp. 240–244.
SOSP-1975-ChandyR #execution #order #probability #scheduling: Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.
STOC-1974-Gill #complexity #probability #turing machine: Computational Complexity of Probabilistic Turing Machines (JTGI), pp. 91–95.
ICALP-1972-Bertoni #approximate #complexity #probability #problem: Complexity Problems Related to the Approximation of Probabilistic Languages and Events by Deterministic Machines (AB), pp. 507–516.
STOC-1970-Ellis #automaton #probability: Probabilistic Tree Automata (CAE), pp. 198–205.