9 papers:
MLDM-2015-OliveiraVZ #clustering #on the- On Bicluster Aggregation and its Benefits for Enumerative Solutions (SHGdO, RV, FJVZ), pp. 266–280.
SAC-2015-FauconnierKR #approach #machine learning #recognition #taxonomy- A supervised machine learning approach for taxonomic relation recognition through non-linear enumerative structures (JPF, MK, BR), pp. 423–425.
ICPR-2014-ChernousovaLTMW #parametricity #validation- Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.
KEOD-2010-KamelR #ontology #parallel #using- Ontology Building using Parallel Enumerative Structures (MK, BR), pp. 276–281.
DATE-2003-PadmanabanT #fault- Non-Enumerative Path Delay Fault Diagnosis (SP, ST), pp. 10322–10327.
TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
CL-2000-AudemardBS #named #satisfiability- AVAL: An Enumerative Method for SAT (GA, BB, PS), pp. 373–383.
ICALP-1997-BassinoBP #sequence- Enumerative Sequences of Leaves in Rational Trees (FB, MPB, DP), pp. 76–86.
DAC-1993-PomeranzRU #fault #generative #named #testing- NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits (IP, SMR, PU), pp. 439–445.