26 papers:
SAC-2015-GimenesGRG #analysis #graph #multimodal #repository- Multimodal graph-based analysis over the DBLP repository: critical discoveries and hypotheses (GPG, HG, JFRJ, MG), pp. 1129–1135.
VLDB-2014-GoncalvesP #named #nondeterminism- Υ-DB: Managing scientific hypotheses as uncertain data (BG, FP), pp. 959–962.
ICPR-2014-KhanVP #multi #visual notation- A Generalized Search Method for Multiple Competing Hypotheses in Visual Tracking (MHK, MFV, TPP), pp. 2245–2250.
PLATEAU-2014-SunshineA #design #usability- Usability Hypotheses in the Design of Plaid (JS, JA), pp. 63–66.
ICDAR-2013-MaW #automation #component #database #online #optimisation #segmentation- Semi-automatic Tibetan Component Annotation from Online Handwritten Tibetan Character Database by Optimizing Segmentation Hypotheses (LLM, JW), pp. 1340–1344.
ICEIS-v1-2012-LindK #generative #idea- An Idea for Universal Generator of Hypotheses (GL, RK), pp. 169–174.
- ICPR-2012-HuangOSU #detection #framework #multi #recognition
- Scene character detection and recognition based on multiple hypotheses framework (RH, SO, PS, SU), pp. 717–720.
- ICPR-2012-KovalenkoS #on the
- On methods for incorporating evidences into posterior scoring of hypotheses (DK, SNS), pp. 577–580.
ICLP-J-2012-Martin #logic programming #semantics #source code- Contextual hypotheses and semantics of logic programs (EM), pp. 843–887.
- ICPR-2010-PrasadKBRMN #network #recognition
- Consensus Network Based Hypotheses Combination for Arabic Offline Handwriting Recognition (RP, MK, DB, AVIR, SM, PN), pp. 2861–2864.
MBT-2008-BruckerBW #empirical #proving #verification- Verifying Test-Hypotheses: An Experiment in Test and Proof (ADB, LB, BW), pp. 15–27.
- ICPR-v1-2006-ChiaHL #graph #multi #representation
- Multiple Objects Tracking with Multiple Hypotheses Graph Representation (AYSC, WH, LL), pp. 638–641.
TestCom-2006-RodriguezMN #logic #testing- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (IR, MGM, MN), pp. 39–54.
- ICDAR-2005-ZanibbiBC #precise
- Historical Recall and Precision: Summarizing Generated Hypotheses (RZ, DB, JRC), pp. 202–206.
FM-2005-Gaudel #approximate #correctness #formal method #testing- Formal Methods and Testing: Hypotheses, and Correctness Approximations (MCG), pp. 2–8.
STOC-2002-HellersteinR #learning #using- Exact learning of DNF formulas using DNF hypotheses (LH, VR), pp. 465–473.
- ICDAR-2001-KimKCS #recognition #segmentation
- Legal Amount Recognition Based on the Segmentation Hypotheses for Bank Check Processing (KKK, JHK, YC, CYS), pp. 964–967.
- ICDAR-2001-WantabeO #generative #paradigm #parallel #recognition #verification
- Parallel Recognition of Roads from Urban Maps on Generation/Verification Paradigm of Hypotheses (TW, TO), pp. 1225–1234.
ICML-2001-Krawiec #comparison #learning- Pairwise Comparison of Hypotheses in Evolutionary Learning (KK), pp. 266–273.
MLDM-2001-Krawiec #comparison #learning #on the #visual notation- On the Use of Pairwise Comparison of Hypotheses in Evolutionary Learning Applied to Learning from Visual Examples (KK), pp. 307–321.
- ICPR-v1-2000-Thorhallsson #orthogonal
- Optimal Rectification of an Affine Structure from Hypothesized Orthogonality Relations (TT), pp. 1396–1401.
WPC-1996-MayrhauserV #comprehension #migration #on the #scalability- On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code (AvM, AMV), pp. 68–77.
CADE-1994-Protzen #generative #induction #lazy evaluation- Lazy Generation of Induction Hypotheses (MP), pp. 42–56.
- ICLP-1991-Dung #abduction #logic programming
- Negations as Hypotheses: An Abductive Foundation for Logic Programming (PMD), pp. 3–17.
- ML-1989-Gordon #bias
- Screening Hypotheses with Explicit Bias (DFG), pp. 499–500.
- CADE-1980-Guguen #algebra #how #induction
- How to Prove Algebraic Inductive Hypotheses Without Induction (JAG), pp. 356–373.
