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.