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:
base (15)
test (10)
use (10)
new (9)
cluster (9)

Stem criterion$ (all stems)

69 papers:

ICMLICML-2015-HayashiMF
Rebuilding Factorized Information Criterion: Asymptotically Accurate Marginal Likelihood (KH, SiM, RF), pp. 1358–1366.
ICPRICPR-2014-KacheleZMS #feature model #quality #recognition #using
Prosodic, Spectral and Voice Quality Feature Selection Using a Long-Term Stopping Criterion for Audio-Based Emotion Recognition (MK, DZ, SM, FS), pp. 803–808.
SEKESEKE-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.
LICSLICS-CSL-2014-Ehrhard #correctness #proving
A new correctness criterion for MLL proof nets (TE), p. 10.
HCIHCI-AMTE-2013-GabillonLO #case study #composition #towards #user interface
Towards Ergonomic User Interface Composition: A Study about Information Density Criterion (YG, SL, KMdO), pp. 211–220.
ICMLICML-c2-2013-ChangKKZ #analysis #canonical #correlation #independence #kernel
Canonical Correlation Analysis based on Hilbert-Schmidt Independence Criterion and Centered Kernel Target Alignment (BC, UK, RK, JZ), pp. 316–324.
SEKESEKE-2013-ZouFCZZ #hybrid #test coverage #testing
A Hybrid Coverage Criterion for DynamicWeb Testing (S) (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIRSIGIR-2013-CenDSO #adaptation #ambiguity #clustering
Author disambiguation by hierarchical agglomerative clustering with adaptive stopping criterion (LC, ECD, LS, MO), pp. 741–744.
ESEC-FSEESEC-FSE-2013-ZhangC #effectiveness #fault #modelling #predict
A cost-effectiveness criterion for applying software defect prediction models (HZ, SCC), pp. 643–646.
KDDKDD-2012-GrosskreutzPR
An enhanced relevance criterion for more concise supervised pattern discovery (HG, DP, SR), pp. 1442–1450.
DATEDATE-2011-ReddyCBJ #complexity #power management
A low complexity stopping criterion for reducing power consumption in turbo decoders (PR, FC, AB, MJ), pp. 649–654.
HCIDHM-2011-EilersM #composition #learning #modelling #using
Learning the Relevant Percepts of Modular Hierarchical Bayesian Driver Models Using a Bayesian Information Criterion (ME, CM), pp. 463–472.
KDIRKDIR-2011-MartelotH #algorithm #community #detection #multi #optimisation #using
Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm (ELM, CH), pp. 216–225.
MLDMMLDM-2011-Grabczewski
Separability of Split Value Criterion with Weighted Separation Gains (KG), pp. 88–98.
ASEASE-2010-KessentiniVS #identification #risk management
Deviance from perfection is a better criterion than closeness to evil when identifying risky code (MK, SV, HAS), pp. 113–122.
CASECASE-2010-DoraiswamiCK #order #physics
Model order selection criterion with application to physical systems (RD, LC, HMK), pp. 393–398.
ICEISICEIS-AIDSS-2010-SofokleousKA #automation #search-based #testing
Automatic Search-based Testing with the Required k-tuples Criterion (AAS, AK, ASA), pp. 250–255.
ICPRICPR-2010-LuoN #classification #fault #learning #multi #problem
Employing Decoding of Specific Error Correcting Codes as a New Classification Criterion in Multiclass Learning Problems (YL, KN), pp. 4238–4241.
ICPRICPR-2010-TrummerMD #online #optimisation #using
Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion (MT, CM, JD), pp. 1642–1645.
RTARTA-2010-SternagelT
Certified Subterm Criterion and Certified Usable Rules (CS, RT), pp. 325–340.
ECIRECIR-2009-PereiraDP #multi
Multidimensional Relevance: A New Aggregation Criterion (CdCP, MD, GP), pp. 264–275.
SEKESEKE-2009-GratiTG #diagrams #interactive #quality
Another New Criterion to Improve the Interaction Diagrams Quality (LG, MT, FG), pp. 613–618.
ICSTICST-2009-KaminskiA #detection #fault #logic #testing #using
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.
VMCAIVMCAI-2009-Oshman #bound #model checking
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking (RO), pp. 275–289.
ICPRICPR-2008-ShettyA #algorithm #clustering
A uniformity criterion and algorithm for data clustering (SS, NA), pp. 1–4.
ICPRICPR-2008-YangWRY #feature model
Feature Extraction base on Local Maximum Margin Criterion (WY, JW, MR, JY), pp. 1–4.
ESEC-FSEESEC-FSE-2007-KosterK #behaviour #test coverage #testing
State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.
ASEASE-2005-HennessyP #analysis #generative #grammarware #testing
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software (MH, JFP), pp. 104–113.
ICEISICEIS-v1-2005-FengWM #clustering #hybrid
A Hybrid Clustering Criterion for R*-Tree on Business Data (YF, ZW, AM), pp. 346–352.
MLDMMLDM-2005-Bobrowski #feature model #modelling
Ranked Modelling with Feature Selection Based on the CPL Criterion Functions (LB), pp. 218–227.
LICSLICS-2005-Leroux #diagrams #polynomial #synthesis
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams (JL), pp. 147–156.
CIKMCIKM-2004-ZhaoK #clustering #documentation #summary
Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.
ICMLICML-2004-LiMO #category theory #clustering
Entropy-based criterion in categorical clustering (TL, SM, MO).
ICPRICPR-v2-2004-QuanZ #adaptation #using
Perceptual Criterion Based Fragile Audio Watermarking Using Adaptive Wavelet Packets (XQ, HZ), pp. 867–870.
ICPRICPR-v2-2004-XuanDKHCW #feature model #multi #predict #profiling #robust
Robust Feature Selection by Weighted Fisher Criterion for Multiclass Prediction in Gene Expression Profiling (JX, YD, JIK, EPH, RC, YJW), pp. 291–294.
ICPRICPR-v3-2004-UsoPG #energy #image #novel #segmentation
A Novel Energy Minimization Criterion for Color Image Segmentation (AMU, FP, PGS), pp. 206–209.
KDDKDD-2004-BanerjeeL #clustering #evaluation
An objective evaluation criterion for clustering (AB, JL), pp. 515–520.
KDDKDD-2004-YanZYYLCXFMC #incremental #named
IMMC: incremental maximum margin criterion (JY, BZ, SY, QY, HL, ZC, WX, WF, WYM, QC), pp. 725–730.
TOOLSTOOLS-USA-2003-BadriB04 #empirical
A Proposal of a New Class Cohesion Criterion: An Empirical Study (LB, MB), pp. 145–159.
IJCARIJCAR-2004-Lochner #order
A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting (BL), pp. 45–59.
RTARTA-2004-Blanqui #higher-order #term rewriting #termination #type system
A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems (FB), pp. 24–39.
ASEASE-2003-GuptaH #detection #invariant #test coverage
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
ICDARICDAR-2003-Biem #classification #optimisation
A Model Selection Criterion for Classification: Application to HMM Topology Optimization (AB), pp. 104–108.
ICPRICPR-v1-2002-CarvalhoSDR #constraints #estimation #linear
Bayes Information Criterion for Tikhonov Regularization with Linear Constraints: Application to Spectral Data Estimation (PDC, AS, AD, BR), pp. 696–700.
ICPRICPR-v2-2002-GibsonCT #abstraction #modelling #using #visual notation
Visual Abstraction of Wildlife Footage Using Gaussian Mixture Models and the Minimum Description Length Criterion (DPG, NWC, BTT), pp. 814–817.
ICPRICPR-v2-2002-KanekoH #image #sequence
Template Update Criterion for Template Matching of Image Sequences (TK, OH), pp. 1–5.
ICPRICPR-v4-2002-KubotaMK #fault #learning #optimisation
A Discriminative Learning Criterion for the Overall Optimization of Error and Reject (SK, HM, YK), pp. 98–102.
KRKR-2002-BeygelzimerR #complexity #learning #network
Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks (AB, IR), pp. 558–567.
CSLCSL-2001-Bezem #higher-order #logic programming #source code
An Improved Extensionality Criterion for Higher-Order Logic Programs (MB), pp. 203–216.
CSLCSL-2001-Mogbil #commutative #correctness #logic #polynomial
Quadratic Correctness Criterion for Non-commutative Logic (VM), pp. 69–83.
DATEDATE-2000-DiezL #metric
Influence of Manufacturing Variations in IDDQ Measurements: A New Test Criterion (JMD, JCL), pp. 645–649.
ICMLICML-2000-SchuurmansS #adaptation #learning
An Adaptive Regularization Criterion for Supervised Learning (DS, FS), pp. 847–854.
ICPRICPR-v3-2000-LoretteDZ #clustering #fuzzy
Fully Unsupervised Fuzzy Clustering with Entropy Criterion (AL, XD, JZ), pp. 3998–4001.
ICPRICPR-v3-2000-RittscherS #bound #detection
An Integral Criterion for Detecting Boundary Edges and Textured Regions (JR, JS), pp. 7076–7079.
ICPRICPR-1998-FerriMAS #algorithm #estimation #using
Variable-size block matching algorithm for motion estimation using a perceptual-based splitting criterion (FJF, JM, JVA, JS), pp. 286–288.
ICSEICSE-1998-AnquetilL #clustering #concept
Extracting Concepts from File Names: A New File Clustering Criterion (NA, TCL), pp. 84–93.
RTARTA-1997-Schulz #algorithm
A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms (KUS), pp. 284–298.
ICPRICPR-1996-CrouzilMC #correlation #similarity
A new correlation criterion based on gradient fields similarity (AC, LMP, SC), pp. 632–636.
SEKESEKE-1996-ZengTW #specification #testing #verification
Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.
ICMLICML-1995-Brodley #automation
Automatic Selection of Split Criterion during Tree Growing Based on Node Location (CEB), pp. 73–80.
ICMLICML-1995-Lubinsky #classification #consistency #performance #using
Increasing the Performance and Consistency of Classification Trees by Using the Accuracy Criterion at the Leaves (DJL), pp. 371–377.
ISSTAISSTA-1994-Forgacs #fault
The All Program Functions Criterion for Revealing Computation Errors (Abstract) (IF), p. 198.
DACDAC-1993-SantucciCG #behaviour #heuristic #using
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.
ICLPISLP-1991-BruynoogheSM #deduction #infinity #logic programming #source code
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs (MB, DDS, BM), pp. 117–131.
ICMLML-1990-SammutC #learning #performance #question
Is Learning Rate a Good Performance Criterion for Learning? (CS, JC), pp. 170–178.
VLDBVLDB-1989-DuE #concurrent #correctness
Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase (WD, AKE), pp. 347–355.
ICMLML-1989-ZhangM #learning
A Description of Preference Criterion in Constructive Learning: A Discussion of Basis Issues (JZ, RSM), pp. 17–19.
ISSTATAV-1989-BiemanS #testing
Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion (JMB, JLS), pp. 179–186.
DACDAC-1981-NagleP #algorithm #design #hardware #multi
Algorithms for multiple-criterion design of microprogrammed control hardware (AWN, ACP), pp. 486–493.

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.