BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
subclass
Google subclass

Tag #subclass

42 papers:

ICPRICPR-2018-LuoHD #constraints #recognition
Local Subclass Constraint for Facial Expression Recognition in the Wild (ZL, JH, WD), pp. 3132–3137.
OOPSLAOOPSLA-2018-VeduradaN #identification #refactoring
Identifying refactoring opportunities for replacing type code with subclass and state (JV, VKN), p. 28.
VMCAIVMCAI-2017-DSilvaS #abstraction #logic
Complete Abstractions and Subclassical Modal Logics (VD, MS), pp. 169–186.
ASEASE-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.
LATALATA-2015-JanickiKKM #order
Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
FLOPSFLOPS-2014-NaR #formal method #type system
A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
ICPRICPR-2014-BagheriGE #approach #classification #novel
Generic Subclass Ensemble: A Novel Approach to Ensemble Classification (MAB, QG, SE), pp. 1254–1259.
LICSLICS-CSL-2014-Haase
Subclasses of presburger arithmetic and the weak EXP hierarchy (CH), p. 10.
TLCATLCA-2013-BerardiT #backtracking #game studies #logic #semantics
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
SLESLE-2013-BakDACW
Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
ICPRICPR-2012-OrfanidisT
Exploiting subclass information in Support Vector Machines (GO, AT), pp. 1076–1079.
DLTDLT-J-2010-Giammarresi11
Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
LATALATA-2011-CaseJLOSS #automation #learning #pattern matching
Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
MSRMSR-2010-BruchMM #framework #mining #reuse
Mining subclassing directives to improve framework reuse (MB, MM, MM), pp. 141–150.
SCAMSCAM-2010-WheelerB
Subclass Instantiation Distribution (AW, DB), pp. 23–32.
ICPRICPR-2010-ArvanitopoulosBT #fault #linear #using
Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICLPICLP-J-2010-BaseliceB #decidability #source code
A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
LATALATA-2009-BordihnHK #problem
Undecidability of Operation Problems for T0L Languages and Subclasses (HB, MH, MK), pp. 236–246.
SACSAC-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.
ICSTSAT-2009-BuningZB #quantifier
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
LATALATA-2008-Yoshinaka #algorithm #performance #problem
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs (RY), pp. 487–498.
ICLPICLP-2008-Sneyers
Turing-Complete Subclasses of CHR (JS), pp. 759–763.
ICSTSAT-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.
IJCARIJCAR-2006-ReeberH #satisfiability
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (ER, WAHJ), pp. 453–467.
CIAACIAA-J-2004-BordihnHK05 #context-free grammar #problem
Unsolvability levels of operation problems for subclasses of context-free languages (HB, MH, MK), pp. 423–440.
MLDMMLDM-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.
DLTDLT-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.
ICMLICML-2000-KubatC #classification #nearest neighbour
Voting Nearest-Neighbor Subclassifiers (MK, MCJ), pp. 503–510.
ICPRICPR-v2-2000-SkurichinaYD
The Role of Subclasses in Machine Diagnostics (MS, AY, RPWD), pp. 2668–2671.
OOPSLAOOPSLA-2000-RubyL
Safely creating correct subclasses without seeing superclass code (CR, GTL), pp. 208–228.
ICPRICPR-1998-KudoTSS #pattern matching #pattern recognition #recognition
A subclass-based mixture model for pattern recognition (MK, HT, SS, MS), pp. 870–872.
TACASTACAS-1997-Penczek #model checking
Model-Checking for a Subclass of Event Structures (WP), pp. 145–164.
KRKR-1996-JonssonDB #algebra #classification
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
OOPSLAOOPSLA-1995-SaneC #composition #object-oriented #state machine
Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.
OOPSLAOOPSLA-1995-StataG #composition #reasoning
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
CAVCAV-1995-BouajjaniR #hybrid #linear #verification
Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
ICGTTAGT-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.
ECOOPECOOP-1994-WieringaJS #approach #logic
Roles and Dynamic Subclasses: A Modal Logic Approach (RW, WdJ, PS), pp. 32–59.
CSLCSL-1990-FlogelKB #quantifier
Subclasses of Quantified Boolean Formulas (AF, MK, HKB), pp. 145–155.
SEKESEKE-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.
ICALPICALP-1987-LodayaT #logic
A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
OOPSLAOOPSLA-1986-Sandberg
An Alternative to Subclassing (DS), pp. 424–428.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.