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.