BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (250)
analysi (93)
base (87)
system (84)
use (84)

Stem probabilist$ (all stems)

1017 papers:

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

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