Tag #subclass
42 papers:
ICPR-2018-LuoHD #constraints #recognition- Local Subclass Constraint for Facial Expression Recognition in the Wild (ZL, JH, WD), pp. 3132–3137.
OOPSLA-2018-VeduradaN #identification #refactoring- Identifying refactoring opportunities for replacing type code with subclass and state (JV, VKN), p. 28.
VMCAI-2017-DSilvaS #abstraction #logic- Complete Abstractions and Subclassical Modal Logics (VD, MS), pp. 169–186.
ASE-2016-QiJZWC #estimation #learning #obfuscation #privacy- Privacy preserving via interval covering based subclass division and manifold learning based bi-directional obfuscation for effort estimation (FQ, XYJ, XZ, FW, LC), pp. 75–86.
LATA-2015-JanickiKKM #order- Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
FLOPS-2014-NaR #formal method #type system- A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
- ICPR-2014-BagheriGE #approach #classification #novel
- Generic Subclass Ensemble: A Novel Approach to Ensemble Classification (MAB, QG, SE), pp. 1254–1259.
LICS-CSL-2014-Haase - Subclasses of presburger arithmetic and the weak EXP hierarchy (CH), p. 10.
TLCA-2013-BerardiT #backtracking #game studies #logic #semantics- Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
SLE-2013-BakDACW - Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
- ICPR-2012-OrfanidisT
- Exploiting subclass information in Support Vector Machines (GO, AT), pp. 1076–1079.
DLT-J-2010-Giammarresi11 - Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
- LATA-2011-CaseJLOSS #automation #learning #pattern matching
- Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
MSR-2010-BruchMM #framework #mining #reuse- Mining subclassing directives to improve framework reuse (MB, MM, MM), pp. 141–150.
SCAM-2010-WheelerB - Subclass Instantiation Distribution (AW, DB), pp. 23–32.
- ICPR-2010-ArvanitopoulosBT #fault #linear #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- A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
- LATA-2009-BordihnHK #problem
- Undecidability of Operation Problems for T0L Languages and Subclasses (HB, MH, MK), pp. 236–246.
SAC-2009-LavorLMM #distance #geometry #on the #problem- On a discretizable subclass of instances of the molecular distance geometry problem (CL, LL, AM, NM), pp. 804–805.
SAT-2009-BuningZB #quantifier- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
- LATA-2008-Yoshinaka #algorithm #performance #problem
- An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs (RY), pp. 487–498.
- ICLP-2008-Sneyers
- Turing-Complete Subclasses of CHR (JS), pp. 759–763.
- SAT-2008-KottlerKS08a #bound #np-hard #satisfiability #using
- A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (SK, MK, CS), pp. 161–167.
IJCAR-2006-ReeberH #satisfiability- 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- 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- 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
- An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars (SI, AS, MT), pp. 225–236.
ICML-2000-KubatC #classification #nearest neighbour- Voting Nearest-Neighbor Subclassifiers (MK, MCJ), pp. 503–510.
- ICPR-v2-2000-SkurichinaYD
- The Role of Subclasses in Machine Diagnostics (MS, AY, RPWD), pp. 2668–2671.
- OOPSLA-2000-RubyL
- Safely creating correct subclasses without seeing superclass code (CR, GTL), pp. 208–228.
- ICPR-1998-KudoTSS #pattern matching #pattern recognition #recognition
- A subclass-based mixture model for pattern recognition (MK, HT, SS, MS), pp. 870–872.
TACAS-1997-Penczek #model checking- Model-Checking for a Subclass of Event Structures (WP), pp. 145–164.
KR-1996-JonssonDB #algebra #classification- Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
- OOPSLA-1995-SaneC #composition #object-oriented #state machine
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.
- OOPSLA-1995-StataG #composition #reasoning
- Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
CAV-1995-BouajjaniR #hybrid #linear #verification- Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
TAGT-1994-ArnborgP #bound #graph- 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- Roles and Dynamic Subclasses: A Modal Logic Approach (RW, WdJ, PS), pp. 32–59.
CSL-1990-FlogelKB #quantifier- Subclasses of Quantified Boolean Formulas (AF, MK, HKB), pp. 145–155.
SEKE-1989-WuCZT #identification #morphism #novel #query- A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property (TW, JLC, NZ, KT), pp. 158–163.
ICALP-1987-LodayaT #logic- A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
- OOPSLA-1986-Sandberg
- An Alternative to Subclassing (DS), pp. 424–428.
