Stem probabl$ (all stems)

226 papers:

CBSE-2015-KimBNMLSLP #analysis #probability #scheduling

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.

DATE-2015-AwanoHS #named #performance #probability

ECRIPSE: an efficient method for calculating RTN-induced failure probability of an SRAM cell (HA, MH, TS), pp. 549–554.

DATE-2015-LiaperdosAT #detection #estimation #fault #probability #testing

A method for the estimation of defect detection probability of analog/RF defect-oriented tests (JL, AA, YT), pp. 1395–1400.

ESOP-2015-EberlHN #compilation #probability

A Verified Compiler for Probability Density Functions (ME, JH, TN), pp. 80–104.

FoSSaCS-2015-BizjakB #logic #probability

Step-Indexed Logical Relations for Probability (AB, LB), pp. 279–294.

LATA-2015-GonzeJ #on the #probability

On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.

ICML-2015-CsibaQR #adaptation #coordination #probability

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

ICML-2015-MenonROW #estimation #learning

Learning from Corrupted Binary Labels via Class-Probability Estimation (AKM, BvR, CSO, BW), pp. 125–134.

OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference

Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.

SAC-2015-HendersonGE #clustering #empirical #named #parametricity #performance #probability

EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.

ICLP-2015-Wang #consistency #nondeterminism #probability #programming #set

Handling Probability and Inconsistency in Answer Set Programming (YW).

ASE-2014-Schneider14a #fault #modelling #runtime

Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.

DATE-2014-WangLLW0 #design #functional #generative #testing

Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.

FoSSaCS-2014-BertrandFS #configuration management #game studies #network

Playing with Probabilities in Reconfigurable Broadcast Networks (NB, PF, AS), pp. 134–148.

FoSSaCS-2014-Fu #bound #markov #probability #process #reachability

Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.

TACAS-2014-BaierKKM #markov #modelling

Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.

TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.

ICALP-v1-2014-CanonneR #probability #testing

Testing Probability Distributions Underlying Aggregated Data (CLC, RR), pp. 283–295.

ICALP-v1-2014-MancinskaV #bound #probability

Unbounded Entanglement Can Be Needed to Achieve the Optimal Success Probability (LM, TV), pp. 835–846.

HIMI-AS-2014-ZhangXCZL #fault #predict #probability

Predictive Probability Model of Pilot Error Based on CREAM (XZ, HX, YC, LZ, GL), pp. 296–304.

ICML-c2-2014-0001NKA #estimation #probability

GEV-Canonical Regression for Accurate Binary Class Probability Estimation when One Class is Rare (AA, HN, SK, SA), pp. 1989–1997.

ICPR-2014-BoukermaBF #recognition

NSHP-HMM Based on Conditional Zone Observation Probabilities for Off-Line Handwriting Recognition (HB, AB, NF), pp. 2961–2965.

ICPR-2014-CorringR #probability #representation #set

Shape from Phase: An Integrated Level Set and Probability Density Shape Representation (JC, AR), pp. 46–51.

ICPR-2014-JudV #using

Using Object Probabilities in Deformable Model Fitting (CJ, TV), pp. 3310–3314.

ICPR-2014-LiDXWP #classification #image #probability

Local Label Probability Propagation for Hyperspectral Image Classification (HL, JD, SX, LW, CP), pp. 4251–4256.

ICPR-2014-PakKA #detection #probability

Improvement of Benign and Malignant Probability Detection Based on Non-subsample Contourlet Transform and Super-resolution (FP, HRK, AA), pp. 895–899.

SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing

An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.

SAC-2014-ZandVYK #detection

Extracting probable command and control signatures for detecting botnets (AZ, GV, XY, CK), pp. 1657–1662.

CC-2014-WangPFO #legacy #parallel

Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code (ZW, DCP, BF, MFPO), pp. 154–173.

LICS-CSL-2014-KatoenSZ

Probably safe or live (JPK, LS, LZ), p. 10.

CASE-2013-GaoZS #evaluation #probability

Evaluation of improvement probability for IMRT plans (SG, XZ, LS), pp. 474–479.

CASE-2013-KimM #equilibrium #on the #random

On the equilibrium probabilities of deterministic flow lines with random arrivals (WsK, JRM), pp. 723–729.

ICDAR-2013-AlaeiDG #detection #probability #representation #using

Logo Detection Using Painting Based Representation and Probability Features (AA, MD, NG), pp. 1235–1239.

TACAS-2013-BhatBGR #functional #probability #source code

Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.

TACAS-2013-KempfBM #nondeterminism #probability #scheduling

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

HCI-UC-2013-KellenCF #diagrams #performance #probability #problem

Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.

CIKM-2013-Caruana #approximate #clustering #named #question

Clustering: probably approximately useless? (RC), pp. 1259–1260.

KDD-2013-KutzkovBBG #learning #named

STRIP: stream learning of influence probabilities (KK, AB, FB, AG), pp. 275–283.

KDD-2013-YangHLC #network #online #probability #social

Maximizing acceptance probability for active friending in online social networks (DNY, HJH, WCL, WC), pp. 713–721.

SIGIR-2013-AbdulahhadCB #nondeterminism #probability #question

Is uncertain logical-matching equivalent to conditional probability? (KA, JPC, CB), pp. 825–828.

DAC-2012-PalemA #exclamation #what

What to do about the end of Moore’s law, probably! (KVP, LA), pp. 924–929.

ITiCSE-2012-KortsartsK #component #probability #programming

Enriching introductory programming courses with non-intuitive probability experiments component (YK, YK), pp. 128–131.

GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.

ICML-2012-MenonJVEO #predict #ranking

Predicting accurate probabilities with a ranking loss (AKM, XJ, SV, CE, LOM), p. 88.

ICML-2012-RudermanRGP #metric #probability #strict

Tighter Variational Representations of f-Divergences via Restriction to Probability Measures (AR, MDR, DGG, JP), p. 151.

ICPR-2012-GhoseMOMLFVCSM #functional #probability #segmentation

A Mumford-Shah functional based variational model with contour, shape, and probability prior information for prostate segmentation (SG, JM, AO, RM, XL, JF, JCV, JC, DS, FM), pp. 121–124.

KDD-2012-ChattopadhyayWFDPY #probability

Batch mode active sampling based on marginal probability distribution matching (RC, ZW, WF, ID, SP, JY), pp. 741–749.

SIGIR-2012-NishidaHF #classification #detection #probability #twitter #word

Improving tweet stream classification by detecting changes in word probability (KN, TH, KF), pp. 971–980.

POPL-2012-BhatAVG #probability #type system

A type theory for probability density functions (SB, AA, RWV, AGG), pp. 545–556.

ICLP-2012-SatoM #infinity #probability

Tabling for infinite probability computation (TS, PM), pp. 348–358.

LICS-2012-McIverMM #information management #nondeterminism #probability

A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (AM, LM, CM), pp. 461–470.

SAT-2012-BalintS #probability

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

DATE-2011-YuH #fault #logic

Trigonometric method to handle realistic error probabilities in logic circuits (CCY, JPH), pp. 64–69.

CIKM-2011-WangC #information retrieval #modelling #probability #ranking #statistics

Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond (JW, KCT), pp. 2603–2604.

ICML-2011-Sohl-DicksteinBD #learning #probability

Minimum Probability Flow Learning (JSD, PB, MRD), pp. 905–912.

MLDM-2011-Sullins #smarttech

Exploration Strategies for Learned Probabilities in Smart Terrain (JS), pp. 224–238.

SIGIR-2011-ZhouHH #ad hoc #estimation #probability #using

Enhancing ad-hoc relevance weighting using probability density estimation (XZ, JXH, BH), pp. 175–184.

SAC-2011-KadriE #mining #nondeterminism #sequence #web

Mining uncertain web log sequences with access history probabilities (OK, CIE), pp. 1059–1060.

PODS-2010-DalviSS #algebra #probability #query

Computing query probability with incidence algebras (NND, KS, DS), pp. 203–214.

FoSSaCS-2010-GeorgievskaA #probability #testing

Retaining the Probabilities in Probabilistic Testing Theory (SG, SA), pp. 79–93.

IFL-2010-TorontoM #probability

From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.

ECIR-2010-CoxZFH #approximate #correctness #query #using

Improving Query Correctness Using Centralized Probably Approximately Correct (PAC) Search (IJC, JZ, RF, LKH), pp. 265–280.

ECIR-2010-SaralegiL #query #web

Estimating Translation Probabilities from the Web for Structured Queries on CLIR (XS, MLdL), pp. 586–589.

ECIR-2010-ZucconA #documentation #probability #quantum #rank #ranking #using

Using the Quantum Probability Ranking Principle to Rank Interdependent Documents (GZ, LA), pp. 357–369.

ICML-2010-Masnadi-ShiraziV #elicitation #probability

Risk minimization, probability elicitation, and cost-sensitive SVMs (HMS, NV), pp. 759–766.

ICML-2010-Ruping #classification #estimation

SVM Classifier Estimation from Group Probabilities (SR), pp. 911–918.

KDD-2010-Tatti

Probably the best itemsets (NT), pp. 293–302.

SEKE-2010-BackerM #algorithm #network

Evaluating the Weighted Sum Algorithm for Estimating Conditional Probabilities in Bayesian Networks (SB, EM), pp. 319–324.

SIGIR-2010-LillisZTCLD #data fusion #effectiveness

Estimating probabilities for effective data fusion (DL, LZ, FT, RWC, DL, JD), pp. 347–354.

QAPL-2010-Aldini #approximate #behaviour #equivalence #probability #testing

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior (AA), pp. 1–15.

SAC-2010-DongD #analysis #probability

Analysis of collision probability in unsaturated situation (QD, WD), pp. 772–777.

ICST-2010-FeliachiG #automation #generative #modelling #testing

Generating Transition Probabilities for Automatic Model-Based Test Generation (AF, HLG), pp. 99–102.

SAT-2010-BalintF #probability #satisfiability

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

ICDAR-2009-HamamuraAI #probability #recognition #word

An A Posteriori Probability Calculation Method for Analytic Word Recognition Applicable to Address Recognition (TH, TA, BI), pp. 391–395.

ICDAR-2009-ParakhinH #probability #ranking

Finding the Most Probable Ranking of Objects with Probabilistic Pairwise Preferences (MP, PMH), pp. 616–620.

PODS-2009-AtallahQ #nondeterminism

Computing all skyline probabilities for uncertain data (MJA, YQ), pp. 279–287.

ICALP-v1-2009-HoyrupR #effectiveness #probability

Applications of Effective Probability Theory to Martin-Löf Randomness (MH, CR), pp. 549–561.

FM-2009-ChenS #nondeterminism #probability

Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.

FM-2009-McIverMM #probability #security

Security, Probability and Nearly Fair Coins in the Cryptographers’ Café (AM, LM, CM), pp. 41–71.

HIMI-II-2009-KimMC #clustering #network #protocol #using

A Hierarchical Data Dissemination Protocol Using Probability-Based Clustering for Wireless Sensor Networks (MK, MWM, HC), pp. 149–158.

CIKM-2009-AgarwalGHJK

Translating relevance scores to probabilities for contextual advertising (DA, EG, RH, VJ, RK), pp. 1899–1902.

CIKM-2009-KriegelKSZ #named

LoOP: local outlier probabilities (HPK, PK, ES, AZ), pp. 1649–1652.

CIKM-2009-WuB #predict #probability

Predicting the conversion probability for items on C2C ecommerce sites (XW, AB), pp. 1377–1386.

ICST-2009-WolovickDQ #execution #optimisation #realtime #testing

Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.

DAC-2008-LiASR #array #design #memory management #modelling #probability #random #statistics

Modeling of failure probability and statistical design of spin-torque transfer magnetic random access memory (STT MRAM) array for yield enhancement (JL, CA, SSS, KR), pp. 278–283.

DATE-2008-Liu #analysis #probability #statistics

Signal Probability Based Statistical Timing Analysis (BL), pp. 562–567.

VLDB-2008-BeskalesSI #database #nearest neighbour #nondeterminism #performance

Efficient search for the top-k probable nearest neighbors in uncertain databases (GB, MAS, IFI), pp. 326–339.

TACAS-2008-AndresR #nondeterminism #probability

Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.

CIAA-2008-Yannakakis #automaton #probability #recursion

Automata, Probability, and Recursion (MY), pp. 23–32.

CIKM-2008-BoedihardjoLC #data type #framework #probability

A framework for estimating complex probability density structures in data streams (APB, CTL, FC), pp. 619–628.

ICML-2008-OBrienGG #classification #multi #probability

Cost-sensitive multi-class classification from probability estimates (DBO, MRG, RMG), pp. 712–719.

ICPR-2008-BorsN #estimation #kernel #modelling #probability

Kernel bandwidth estimation in methods based on probability density function modelling (AGB, NN), pp. 1–4.

ICPR-2008-LouJ #distance #image #probability #recognition

Integrated probability function on local mean distance for image recognition (ZL, ZJ), pp. 1–4.

ICPR-2008-YaoCAPKA #probability #using

Sensor planning for PTZ cameras using the probability of camera overload (YY, CHC, BRA, DLP, AK, MAA), pp. 1–5.

SIGIR-2008-RoellekeW #case study

TF-IDF uncovered: a study of theories and probabilities (TR, JW), pp. 435–442.

HPCA-2008-MalikADF #named #predict

PaCo: Probability-based path confidence prediction (KM, MA, VD, MIF), pp. 50–61.

ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming

Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.

DATE-2007-YangG

Computing synchronizer failure probabilities (SY, MRG), pp. 1361–1366.

ICDAR-2007-ChenLJ #learning #pseudo #recognition

Learning Handwritten Digit Recognition by the Max-Min Posterior Pseudo-Probabilities Method (XC, XL, YJ), pp. 342–346.

ICDAR-2007-HamamuraAI #algorithm #probability #recognition #using #word

An Analytic Word Recognition Algorithm Using a Posteriori Probability (TH, TA, BI), pp. 669–673.

ICSM-2007-McMasterM #analysis #detection #fault #probability #reduction #testing

Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction (SM, AMM), pp. 335–344.

PLDI-2007-NovarkBZ #automation #fault #memory management #named #probability

Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.

ILC-2007-Borden #classification #using

Classification using conditional probabilities and Shannon’s definition of information (AB), p. 15.

HCI-IPT-2007-KellenCF #probability #problem

Facilitating Conditional Probability Problems with Visuals (VK, SSC, XF), pp. 63–71.

HIMI-MTT-2007-ChoBKC #difference #on the #probability #using

On Achieving Proportional Loss Differentiation Using Dynamic-MQDDP with Differential Drop Probability (KC, SB, JK, JWC), pp. 584–593.

CIKM-2007-BacheBC #modelling #probability

Language models, probability of relevance and relevance likelihood (RB, MB, FC), pp. 853–856.

MLDM-2007-TanN #data mining #mining #privacy #probability #re-engineering

Generic Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining (VYFT, SKN), pp. 76–90.

SIGIR-2007-WuLW #probability #rank #ranking

Probability ranking principle via optimal expected rank (HCW, RWPL, KFW), pp. 713–714.

CADE-2007-HasanT #formal method #probability

Formalization of Continuous Probability Distributions (OH, ST), pp. 3–18.

CASE-2006-LiZY #development #fault #integration #probability #research

Research on Computational Method of Fault Probability for New Product Development Based on Intelligence and Integration (FL, LZ, YY), pp. 319–324.

DATE-2006-HePE #clustering #scheduling #testing

Power constrained and defect-probability driven SoC test scheduling with test set partitioning (ZH, ZP, PE), pp. 291–296.

ICPR-v1-2006-ArandjelovicC #classification #set #using

Face Set Classification using Maximally Probable Mutual Modes (OA, RC), pp. 511–514.

ICPR-v1-2006-YanCK #algorithm #probability #video

A Maximum A Posteriori Probability Viterbi Data Association Algorithm for Ball Tracking in Sports Video (FY, WJC, JK), pp. 279–282.

ICPR-v3-2006-WangWKH #probability #using #video

Tracking a Variable Number of Human Groups in Video Using Probability Hypothesis Density (YDW, JKW, AAK, WH), pp. 1127–1130.

SEKE-2006-HuangC #probability #rule-based #similarity #using

Using Conditional Probability to Measure Rule-based Knowledge Similarity (CJH, MYC), pp. 41–44.

QAPL-2005-LanotteMT06 #classification #probability #security

A Classification of Time and/or Probability Dependent Security Properties (RL, AMS, AT), pp. 177–193.

SAC-2006-DextersPG #algorithm #analysis #probability

A probability analysis for candidate-based frequent itemset algorithms (ND, PWP, DVG), pp. 541–545.

DATE-2005-AsadiT #estimation #probability

An Accurate SER Estimation Method Based on Propagation Probability (GA, MBT), pp. 306–307.

SIGMOD-2005-BoulosDMMRS #named #using

MYSTIQ: a system for finding more answers by using probabilities (JB, NND, BM, SM, CR, DS), pp. 891–893.

VLDB-2005-TaoCXNKP #multi #nondeterminism #probability

Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions (YT, RC, XX, WKN, BK, SP), pp. 922–933.

ICML-2005-CarneyCDL #network #predict #probability #using

Predicting probability distributions for surf height using an ensemble of mixture density networks (MC, PC, JD, CL), pp. 113–120.

ICML-2005-LowdD #estimation #modelling #naive bayes #probability

Naive Bayes models for probability estimation (DL, PMD), pp. 529–536.

ICML-2005-Niculescu-MizilC #learning #predict

Predicting good probabilities with supervised learning (ANM, RC), pp. 625–632.

QAPL-2004-Huth05 #abstraction #hybrid #logic

Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.

FATES-2005-JurdzinskiPQ #realtime #testing

Calculating Probabilities of Real-Time Test Cases (MJ, DP, HQ), pp. 134–151.

DAC-2004-Pomeranz04a

Scan-BIST based on transition probabilities (IP), pp. 940–943.

DATE-v2-2004-HuangCHTHH #analysis #fault #probability

Intermittent Scan Chain Fault Diagnosis Based on Signal Probability Analysis (YH, WTC, CJH, HYT, AH, YTH), pp. 1072–1077.

DATE-v2-2004-OlbrichB #locality #probability #using

Placement Using a Localization Probability Model (LPM) (MO, EB), p. 1412.

TACAS-2004-BaierHHK #bound #markov #performance #process #reachability

Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.

ICEIS-v2-2004-WuW #predict #probability #using #web

Predicting Web Requests Efficiently Using a Probability Model (SW, WW), pp. 48–53.

ICPR-v1-2004-ClausiY #comparison #markov #random #segmentation #using

Texture Segmentation Comparison Using Grey Level Co-Occurrence Probabilities and Markov Random Fields (DAC, BY), pp. 584–587.

ICPR-v1-2004-LoogG #detection #probability

Static Posterior Probability Fusion for Signal Detection: Applications in the Detection of Interstitial Diseases in Chest Radiographs (ML, BvG), pp. 644–647.

ICPR-v1-2004-VaswaniC #analysis #classification #component #null #probability

Classification Probability Analysis of Principal Component Null Space Analysis (NV, RC), pp. 240–243.

ICPR-v2-2004-AltmuellerH #approximate #probability

Approximating High Dimensional Probability Distributions (SA, RMH), pp. 299–302.

ICPR-v2-2004-HuR #classification #clustering #probability #using

Probability Table Compression Using Distributional Clustering for Scanning N-Tuple Classifiers (JH, ER), pp. 533–536.

ICPR-v3-2004-FangD #estimation #pattern matching #pattern recognition #probability #recognition

Improvement of ICA Based Probability Density Estimation for Pattern Recognition (CF, XD), pp. 466–469.

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

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

DATE-2003-SchmitzAE #co-evolution #design #embedded #energy #execution #multi

A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities (MTS, BMAH, PE), pp. 10960–10965.

ICDAR-2003-ChoPR #probability #recognition

Probability Table Compression for Handwritten Character Recognition (SJC, MPP, EHR), p. 173–?.

FoSSaCS-2003-BertrandS #decidability #model checking

Model Checking Lossy Channels Systems Is Probably Decidable (NB, PS), pp. 120–135.

ICEIS-v2-2003-CamposGM #abduction #network #probability #using

Partial Abductive Inference in Bayesian Networks By Using Probability Trees (LMdC, JAG, SM), pp. 83–91.

ECIR-2003-NottelmannF #information retrieval #nondeterminism #probability

From Uncertain Inference to Probability of Relevance for Advanced IR Applications (HN, NF), pp. 235–250.

KDD-2003-NevilleJFH #learning #probability #relational

Learning relational probability trees (JN, DJ, LF, MH), pp. 625–630.

MLDM-2003-LazliS #fuzzy #logic #probability #recognition #speech #using

Connectionist Probability Estimators in HMM Arabic Speech Recognition Using Fuzzy Logic (LL, MS), pp. 379–388.

SIGIR-2003-Bennett #classification #probability #symmetry #using

Using asymmetric distributions to improve text classifier probability estimates (PNB), pp. 111–118.

SIGIR-2003-Roelleke #probability

A frequency-based and a poisson-based definition of the probability of being informative (TR), pp. 227–234.

CSL-2003-MeydenP #logic #probability #quantum

A Logic for Probability in Quantum Systems (RvdM, MP), pp. 427–440.

LICS-2003-Kwiatkowska #model checking #probability #theory and practice

Model checking for probability and time: from theory to practice (MZK), p. 351–?.

RTA-2003-BournezH #logic

Rewriting Logic and Probabilities (OB, MH), pp. 61–75.

ICML-2002-DietterichBMS #learning #probability #refinement

Action Refinement in Reinforcement Learning by Probability Smoothing (TGD, DB, RLdM, CS), pp. 107–114.

ICML-2002-LebanonL #modelling #named #permutation #probability #ranking #using

Cranking: Combining Rankings Using Conditional Probability Models on Permutations (GL, JDL), pp. 363–370.

ICML-2002-WangW #modelling #predict #probability

Modeling for Optimal Probability Prediction (YW, IHW), pp. 650–657.

ICPR-v2-2002-FookesBL #image #using

Improved Stereo Image Matching Using Mutual Information and Hierarchical Prior Probabilities (CF, MB, AL), pp. 937–940.

ICPR-v3-2002-Al-OhaliCS #termination

Introducing Termination Probabilities to HMM (YAO, MC, CYS), pp. 319–322.

KDD-2002-ZadroznyE #classification #multi #probability

Transforming classifier scores into accurate multiclass probability estimates (BZ, CE), pp. 694–699.

SIGIR-2002-KraaijWH

The Importance of Prior Probabilities for Entry Page Search (WK, TW, DH), pp. 27–34.

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

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

SAC-2002-Al-SadiDO #algorithm #fault tolerance #probability

Probability vectors: a new fault-tolerant routing algorithm for k-ary n-cubes (JAS, KD, MOK), pp. 830–834.

CSL-2002-BeauquierRS #decidability #logic #model checking #probability

A Logic of Probability with Decidable Model-Checking (DB, AMR, AS), pp. 306–321.

CSL-2002-JurdzinskiKH #probability

Trading Probability for Fairness (MJ, OK, TAH), pp. 292–305.

CSL-2002-MoshierJ #logic #semantics

A Logic for Probabilities in Semantics (MAM, AJ), pp. 216–231.

CBSE-2001-Mason #probability #program analysis

Probability Density Functions in Program Analysis (DM), p. 13.

ICDAR-2001-BahlmannB #fault #online #probability #recognition #similarity

Measuring HMM Similarity with the Bayes Probability of Error and its Application to Online Handwriting Recognition (CB, HB), pp. 406–411.

ICML-2001-LatinneSD #classification #multi #problem

Adjusting the Outputs of a Classifier to New a Priori Probabilities May Significantly Improve Classification Accuracy: Evidence from a multi-class problem in remote sensing (PL, MS, CD), pp. 298–305.

ICML-2001-ZadroznyE #classification #naive bayes #probability

Obtaining calibrated probability estimates from decision trees and naive Bayesian classifiers (BZ, CE), pp. 609–616.

KDD-2001-ZadroznyE #learning

Learning and making decisions when costs and probabilities are both unknown (BZ, CE), pp. 204–213.

ICML-2000-Eskin #detection #probability #semistructured data #using

Anomaly Detection over Noisy Data using Learned Probability Distributions (EE), pp. 255–262.

ICPR-v2-2000-KuritaTHSM #adaptation #detection #estimation #image #performance

Efficient Face Detection from News Images by Adaptive Estimation of Prior Probabilities and Ising Search (TK, MT, KH, HS, TM), pp. 2917–2920.

ICPR-v2-2000-WeigelJP #estimation

Estimation of Probabilities for Edit Operations (AW, TJ, AP), pp. 2777–2780.

ICPR-v3-2000-NodaK #adaptation #identification #probability #using

Adaptive Speaker Identification Using Sequential Probability Ratio Test (HN, EK), pp. 3266–3269.

KDD-2000-KittsFV #independence #named #performance #recommendation

Cross-sell: a fast promotion-tunable customer-item recommendation method based on conditionally independent probabilities (BK, DF, MV), pp. 437–446.

DATE-1999-ThorntonWDD #diagrams #order #using

Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.

ICDAR-1999-SeniS #online #recognition

Forward Search with Discontinuous Probabilities for Online Handwriting Recognition (GS, JS), pp. 741–744.

STOC-1999-DinurFKRS #towards

PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.

ICML-1999-ParekhH #automaton

Simple DFA are Polynomially Probably Exactly Learnable from Simple Examples (RP, VH), pp. 298–306.

SIGIR-1999-Ding #probability #semantics #similarity

A Similarity-based Probability Model for Latent Semantic Indexing (CHQD), pp. 58–65.

CAV-1999-BozgaM #on the #representation

On the Representation of Probabilities over Structured Domains (MB, OM), pp. 261–273.

DAC-1998-KayP #named #probability

PRIMO: Probability Interpretation of Moments for Delay Calculation (RK, LTP), pp. 463–468.

DATE-1998-MarculescuMP #estimation #probability

Trace-Driven Steady-State Probability Estimation in FSMs with Application to Power Estimation (DM, RM, MP), pp. 774–779.

WIA-1998-BeaulieuB #automaton

Automata and Computational Probabilities (MCB, AB), pp. 164–177.

ICPR-1998-IvinsPFO #component #linear #probability

The joint probability density function for linear optic flow components (JI, JP, JPF, GAO), pp. 795–798.

KDD-1998-DuMouchelS #algorithm #detection #performance #testing

A Fast Computer Intrusion Detection Algorithm Based on Hypothesis Testing of Command Transition Probabilities (WD, MS), pp. 189–193.

KR-1998-HaH #geometry

Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.

STOC-1997-RazS

A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP (RR, SS), pp. 475–484.

ICALP-1997-Weihrauch #metric #probability #set

Computability on the Probability Measures on the Borel Sets of the Unit Interval (KW), pp. 166–176.

ECOOP-1997-DrossopoulouE #java #type safety

Java is Type Safe — Probably (SD, SE), pp. 389–418.

SAC-1997-Julstrom #adaptation #algorithm #search-based

Adaptive operator probabilities in a genetic algorithm that applies three operators (BAJ), pp. 233–238.

DAC-1996-DuttD #approach #clustering

A Probability-Based Approach to VLSI Circuit Partitioning (SD, WD), pp. 100–105.

ICPR-1996-PulliS #modelling #probability #recognition #using

Triplet-based object recognition using synthetic and real probability models (KP, LGS), pp. 75–79.

KDD-1996-Musick #learning #network

Rethinking the Learning of Belief Network Probabilities (RM), pp. 120–125.

DAC-1995-FabbroFCG #modelling #probability #standard #worst-case

An Assigned Probability Technique to Derive Realistic Worst-Case Timing Models of Digital Standard Cells (ADF, BF, LC, CG), pp. 702–706.

SIGIR-1995-CrestaniR #information retrieval #probability

Probability Kinematics in Information Retrieval (FC, CJvR), pp. 291–299.

DAC-1994-TsuiPD #approximate

Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs (CYT, MP, AMD), pp. 18–23.

EDAC-1994-AkitaA #logic #power management #probability

A Method for Reducing Power Consumption of CMOS Logic Based on Signal Transition Probability (JA, KA), pp. 420–424.

EDAC-1994-HachtelMPS #algorithm #finite #state machine

Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine (GDH, EM, AP, FS), pp. 214–218.

EDAC-1994-XueDJ #analysis #fault #float #probability

Probability Analysis for CMOS Floating Gate Faults (HX, CD, JAGJ), pp. 443–448.

STOC-1994-ChariRS #algorithm #approximate #probability

Improved algorithms via approximations of probability distributions (extended abstract) (SC, PR, AS), pp. 584–592.

ICALP-1994-Sanchez-CousoF #analysis #pattern matching #probability

Average-Case Analysis of Pattern-Matching in Trees under the BST Probability Model (JRSC, MIFC), pp. 178–190.

SIGIR-1994-Cooper #information retrieval #probability #question

The Formalism of Probability Theory in IR: A Foundation for An Encumbrance? (WSC), pp. 242–247.

SIGIR-1994-Gey #probability #using

Inferring Probability of Relevance Using the Method of Logistic Regression (FCG), pp. 222–231.

ICALP-1993-HagerupMM #maintenance #probability

Maintaining Discrete Probability Distributions Optimally (TH, KM, JIM), pp. 253–264.

HCI-ACS-1993-Lewis #modelling #probability #problem #usability

Problem Discovery in Usability Studies: A Models Based on the Binomial Probability Formula (JRL), pp. 666–671.

PODS-1992-AbiteboulCV #query

Queries Are Easier Than You Thought (Probably) (SA, KJC, VV), pp. 23–32.

STOC-1992-GroveHK #first-order #logic

Asymptotic Conditional Probabilities for First-Order Logic (AJG, JYH, DK), pp. 294–305.

CSL-1992-Tyszkiewicz #higher-order #monad #on the

On Asymptotic Probabilities of Monadic Second Order Properties (JT), pp. 425–439.

DAC-1991-DeguchiIY #analysis #fault #logic #probability

Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits (YD, NI, SY), pp. 650–655.

STOC-1991-MatiasV #parallel #probability

Converting High Probability into Nearly-Constant Time-with Applications to Parallel Hashing (Extended Abstract) (YM, UV), pp. 307–316.

ICALP-1991-KannanY #generative #probability

Program Checkers for Probability Generation (SK, ACCY), pp. 163–173.

KR-1991-GreinerO #approximate

Probably Approximately Optimal Derivation Strategies (RG, PO), pp. 277–288.

KR-1991-Haddawy #logic #probability #representation

A Temporal Probability Logic for Representing Actions (PH), pp. 313–324.

CSL-1991-Tyszkiewicz #logic #query #transitive

Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic (JT), pp. 396–410.

ICLP-1991-NgS #database #deduction #framework #semantics

A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases (RTN, VSS), pp. 565–580.

STOC-1990-NaorN #performance #probability

Small-bias Probability Spaces: Efficient Constructions and Applications (JN, MN), pp. 213–223.

ICSE-1990-Thomas #safety

Assessing Failure Probabilities in Safety-Critical Systems Containing Software (MT), p. 227.

DAC-1989-Blanks #clustering #probability

Partitioning by Probability Condensation (JB), pp. 758–761.

KR-1989-Neufeld

Defaults and Probabilities; Extensions and Coherence (EN), pp. 312–323.

SIGIR-1988-FuhrH #estimation #probability

Optimum Probability Estimation Based on Expectations (NF, HH), pp. 257–273.

LICS-1988-FaginHM #logic #reasoning

A Logic for Reasoning about Probabilities (RF, JYH, NM), pp. 410–421.

DAC-1987-Wunderlich #on the #random testing #testing

On Computing Optimized Input Probabilities for Random Tests (HJW), pp. 392–398.

STOC-1987-KolaitisV #higher-order #problem

The Decision Problem for the Probabilities of Higher-Order Properties (PGK, MYV), pp. 425–435.

ICALP-1987-PittS #learning #probability

Probability and Plurality for Aggregations of Learning Machines (LP, CHS), pp. 1–10.

STOC-1986-Cai #polynomial #probability #random

With Probability One, A Random Oracle Separates PSPACE from the Polynomial-Time Hierarchy (JyC), pp. 21–29.

SIGIR-1984-Kwok #feedback #probability #retrieval #similarity

A Document-Document Similarity Measure Based on Cited Titles and Probability Theory, and Its Application to Relevance Feedback Retrieval (KLK), pp. 221–231.

SIGMOD-1978-ClarkH

A Procedure for the Determination of Attribute Access Probabilities (JDC, JAH), pp. 110–117.

ICALP-1978-AltenkampM #named

Codes: Unequal Probabilities, Unequal Letter Costs (Extended Abstract) (DA, KM), pp. 15–25.

DAC-1977-Magnhagen #case study #design #experience #probability #simulation

Practical experiences from signal probability simulation of digital designs (BM), pp. 216–219.