37 papers:
LATA-2015-JanickiKKM #order #subclass- Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
FLOPS-2014-NaR #formal method #subclass #type system- A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
ICPR-2014-BagheriGE #approach #classification #novel #subclass- Generic Subclass Ensemble: A Novel Approach to Ensemble Classification (MAB, QG, SE), pp. 1254–1259.
LICS-CSL-2014-Haase #subclass- Subclasses of presburger arithmetic and the weak EXP hierarchy (CH), p. 10.
SLE-2013-BakDACW #subclass- Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
TLCA-2013-BerardiT #backtracking #game studies #logic #semantics #subclass- Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
- ICPR-2012-OrfanidisT #subclass
- Exploiting subclass information in Support Vector Machines (GO, AT), pp. 1076–1079.
DLT-J-2010-Giammarresi11 #subclass- Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
- LATA-2011-CaseJLOSS #automation #learning #pattern matching #subclass
- Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
MSR-2010-BruchMM #framework #mining #reuse #subclass- Mining subclassing directives to improve framework reuse (MB, MM, MM), pp. 141–150.
SCAM-2010-WheelerB #subclass- Subclass Instantiation Distribution (AW, DB), pp. 23–32.
- ICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using
- Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICLP-J-2010-BaseliceB #decidability #source code #subclass- A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
- LATA-2009-BordihnHK #problem #subclass
- Undecidability of Operation Problems for T0L Languages and Subclasses (HB, MH, MK), pp. 236–246.
SAC-2009-LavorLMM #distance #geometry #on the #problem #subclass- On a discretizable subclass of instances of the molecular distance geometry problem (CL, LL, AM, NM), pp. 804–805.
SAT-2009-BuningZB #quantifier #subclass- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
- LATA-2008-Yoshinaka #algorithm #performance #problem #subclass
- An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs (RY), pp. 487–498.
- ICLP-2008-Sneyers #subclass
- Turing-Complete Subclasses of CHR (JS), pp. 759–763.
- SAT-2008-KottlerKS08a #bound #np-hard #satisfiability #subclass #using
- A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (SK, MK, CS), pp. 161–167.
IJCAR-2006-ReeberH #satisfiability #subclass- A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (ER, WAHJ), pp. 453–467.
CIAA-J-2004-BordihnHK05 #context-free grammar #problem #subclass- Unsolvability levels of operation problems for subclasses of context-free languages (HB, MH, MK), pp. 423–440.
MLDM-2005-TakigawaKN #classification #combinator #product line #set #subclass- The Convex Subclass Method: Combinatorial Classifier Based on a Family of Convex Sets (IT, MK, AN), pp. 90–99.
- DLT-2004-InenagaST #algorithm #context-free grammar #pattern matching #performance #subclass
- An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars (SI, AS, MT), pp. 225–236.
- ICPR-v2-2000-SkurichinaYD #subclass
- The Role of Subclasses in Machine Diagnostics (MS, AY, RPWD), pp. 2668–2671.
OOPSLA-2000-RubyL #subclass- Safely creating correct subclasses without seeing superclass code (CR, GTL), pp. 208–228.
- ICPR-1998-KudoTSS #pattern matching #pattern recognition #recognition #subclass
- A subclass-based mixture model for pattern recognition (MK, HT, SS, MS), pp. 870–872.
TACAS-1997-Penczek #model checking #subclass- Model-Checking for a Subclass of Event Structures (WP), pp. 145–164.
KR-1996-JonssonDB #algebra #classification #subclass- Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
- OOPSLA-1995-SaneC #composition #object-oriented #state machine #subclass
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.
- OOPSLA-1995-StataG #composition #reasoning #subclass
- Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
CAV-1995-BouajjaniR #hybrid #linear #subclass #verification- Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
TAGT-1994-ArnborgP #bound #graph #subclass- A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths (SA, AP), pp. 469–486.
ECOOP-1994-WieringaJS #approach #logic #subclass- Roles and Dynamic Subclasses: A Modal Logic Approach (RW, WdJ, PS), pp. 32–59.
CSL-1990-FlogelKB #quantifier #subclass- Subclasses of Quantified Boolean Formulas (AF, MK, HKB), pp. 145–155.
SEKE-1989-WuCZT #identification #morphism #novel #query #subclass- A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property (TW, JLC, NZ, KT), pp. 158–163.
ICALP-1987-LodayaT #logic #subclass- A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
- OOPSLA-1986-Sandberg #subclass
- An Alternative to Subclassing (DS), pp. 424–428.
