Stem criterion$ (all stems)

69 papers:

ICML-2015-HayashiMF

Rebuilding Factorized Information Criterion: Asymptotically Accurate Marginal Likelihood (KH, SiM, RF), pp. 1358–1366.

ICPR-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.

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.

LICS-CSL-2014-Ehrhard #correctness #proving

A new correctness criterion for MLL proof nets (TE), p. 10.

HCI-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.

ICML-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.

SEKE-2013-ZouFCZZ #hybrid #test coverage #testing

A Hybrid Coverage Criterion for DynamicWeb Testing (S) (YZ, CF, ZC, XZ, ZZ), pp. 210–213.

SIGIR-2013-CenDSO #adaptation #ambiguity #clustering

Author disambiguation by hierarchical agglomerative clustering with adaptive stopping criterion (LC, ECD, LS, MO), pp. 741–744.

ESEC-FSE-2013-ZhangC #effectiveness #fault #modelling #predict

A cost-effectiveness criterion for applying software defect prediction models (HZ, SCC), pp. 643–646.

KDD-2012-GrosskreutzPR

An enhanced relevance criterion for more concise supervised pattern discovery (HG, DP, SR), pp. 1442–1450.

DATE-2011-ReddyCBJ #complexity #power management

A low complexity stopping criterion for reducing power consumption in turbo decoders (PR, FC, AB, MJ), pp. 649–654.

DHM-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.

KDIR-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.

MLDM-2011-Grabczewski

Separability of Split Value Criterion with Weighted Separation Gains (KG), pp. 88–98.

ASE-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.

CASE-2010-DoraiswamiCK #order #physics

Model order selection criterion with application to physical systems (RD, LC, HMK), pp. 393–398.

ICEIS-AIDSS-2010-SofokleousKA #automation #search-based #testing

Automatic Search-based Testing with the Required k-tuples Criterion (AAS, AK, ASA), pp. 250–255.

ICPR-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.

ICPR-2010-TrummerMD #online #optimisation #using

Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion (MT, CM, JD), pp. 1642–1645.

RTA-2010-SternagelT

Certified Subterm Criterion and Certified Usable Rules (CS, RT), pp. 325–340.

ECIR-2009-PereiraDP #multi

Multidimensional Relevance: A New Aggregation Criterion (CdCP, MD, GP), pp. 264–275.

SEKE-2009-GratiTG #diagrams #interactive #quality

Another New Criterion to Improve the Interaction Diagrams Quality (LG, MT, FG), pp. 613–618.

ICST-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.

VMCAI-2009-Oshman #bound #model checking

An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking (RO), pp. 275–289.

ICPR-2008-ShettyA #algorithm #clustering

A uniformity criterion and algorithm for data clustering (SS, NA), pp. 1–4.

ICPR-2008-YangWRY #feature model

Feature Extraction base on Local Maximum Margin Criterion (WY, JW, MR, JY), pp. 1–4.

ESEC-FSE-2007-KosterK #behaviour #test coverage #testing

State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.

ASE-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.

ICEIS-v1-2005-FengWM #clustering #hybrid

A Hybrid Clustering Criterion for R*-Tree on Business Data (YF, ZW, AM), pp. 346–352.

MLDM-2005-Bobrowski #feature model #modelling

Ranked Modelling with Feature Selection Based on the CPL Criterion Functions (LB), pp. 218–227.

LICS-2005-Leroux #diagrams #polynomial #synthesis

A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams (JL), pp. 147–156.

CIKM-2004-ZhaoK #clustering #documentation #summary

Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.

ICML-2004-LiMO #category theory #clustering

Entropy-based criterion in categorical clustering (TL, SM, MO).

ICPR-v2-2004-QuanZ #adaptation #using

Perceptual Criterion Based Fragile Audio Watermarking Using Adaptive Wavelet Packets (XQ, HZ), pp. 867–870.

ICPR-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.

ICPR-v3-2004-UsoPG #energy #image #novel #segmentation

A Novel Energy Minimization Criterion for Color Image Segmentation (AMU, FP, PGS), pp. 206–209.

KDD-2004-BanerjeeL #clustering #evaluation

An objective evaluation criterion for clustering (AB, JL), pp. 515–520.

KDD-2004-YanZYYLCXFMC #incremental #named

IMMC: incremental maximum margin criterion (JY, BZ, SY, QY, HL, ZC, WX, WF, WYM, QC), pp. 725–730.

TOOLS-USA-2003-BadriB04 #empirical

A Proposal of a New Class Cohesion Criterion: An Empirical Study (LB, MB), pp. 145–159.

IJCAR-2004-Lochner #order

A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting (BL), pp. 45–59.

RTA-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.

ASE-2003-GuptaH #detection #invariant #test coverage

A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.

ICDAR-2003-Biem #classification #optimisation

A Model Selection Criterion for Classification: Application to HMM Topology Optimization (AB), pp. 104–108.

ICPR-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.

ICPR-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.

ICPR-v2-2002-KanekoH #image #sequence

Template Update Criterion for Template Matching of Image Sequences (TK, OH), pp. 1–5.

ICPR-v4-2002-KubotaMK #fault #learning #optimisation

A Discriminative Learning Criterion for the Overall Optimization of Error and Reject (SK, HM, YK), pp. 98–102.

KR-2002-BeygelzimerR #complexity #learning #network

Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks (AB, IR), pp. 558–567.

CSL-2001-Bezem #higher-order #logic programming #source code

An Improved Extensionality Criterion for Higher-Order Logic Programs (MB), pp. 203–216.

CSL-2001-Mogbil #commutative #correctness #logic #polynomial

Quadratic Correctness Criterion for Non-commutative Logic (VM), pp. 69–83.

DATE-2000-DiezL #metric

Influence of Manufacturing Variations in IDDQ Measurements: A New Test Criterion (JMD, JCL), pp. 645–649.

ICML-2000-SchuurmansS #adaptation #learning

An Adaptive Regularization Criterion for Supervised Learning (DS, FS), pp. 847–854.

ICPR-v3-2000-LoretteDZ #clustering #fuzzy

Fully Unsupervised Fuzzy Clustering with Entropy Criterion (AL, XD, JZ), pp. 3998–4001.

ICPR-v3-2000-RittscherS #bound #detection

An Integral Criterion for Detecting Boundary Edges and Textured Regions (JR, JS), pp. 7076–7079.

ICPR-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.

ICSE-1998-AnquetilL #clustering #concept

Extracting Concepts from File Names: A New File Clustering Criterion (NA, TCL), pp. 84–93.

RTA-1997-Schulz #algorithm

A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms (KUS), pp. 284–298.

ICPR-1996-CrouzilMC #correlation #similarity

A new correlation criterion based on gradient fields similarity (AC, LMP, SC), pp. 632–636.

SEKE-1996-ZengTW #specification #testing #verification

Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.

ICML-1995-Brodley #automation

Automatic Selection of Split Criterion during Tree Growing Based on Node Location (CEB), pp. 73–80.

ICML-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.

ISSTA-1994-Forgacs #fault

The All Program Functions Criterion for Revealing Computation Errors (Abstract) (IF), p. 198.

DAC-1993-SantucciCG #behaviour #heuristic #using

Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.

ISLP-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.

ML-1990-SammutC #learning #performance #question

Is Learning Rate a Good Performance Criterion for Learning? (CS, JC), pp. 170–178.

VLDB-1989-DuE #concurrent #correctness

Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase (WD, AKE), pp. 347–355.

ML-1989-ZhangM #learning

A Description of Preference Criterion in Constructive Learning: A Discussion of Basis Issues (JZ, RSM), pp. 17–19.

TAV-1989-BiemanS #testing

Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion (JMB, JLS), pp. 179–186.

DAC-1981-NagleP #algorithm #design #hardware #multi

Algorithms for multiple-criterion design of microprogrammed control hardware (AWN, ACP), pp. 486–493.