BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
problem (4)
languag (4)
logic (3)
formula (3)
base (3)

Stem subclass$ (all stems)

37 papers:

LATALATA-2015-JanickiKKM #order #subclass
Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
FLOPSFLOPS-2014-NaR #formal method #subclass #type system
A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
ICPRICPR-2014-BagheriGE #approach #classification #novel #subclass
Generic Subclass Ensemble: A Novel Approach to Ensemble Classification (MAB, QG, SE), pp. 1254–1259.
LICSLICS-CSL-2014-Haase #subclass
Subclasses of presburger arithmetic and the weak EXP hierarchy (CH), p. 10.
SLESLE-2013-BakDACW #subclass
Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
TLCATLCA-2013-BerardiT #backtracking #game studies #logic #semantics #subclass
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
ICPRICPR-2012-OrfanidisT #subclass
Exploiting subclass information in Support Vector Machines (GO, AT), pp. 1076–1079.
DLTDLT-J-2010-Giammarresi11 #subclass
Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
LATALATA-2011-CaseJLOSS #automation #learning #pattern matching #subclass
Automatic Learning of Subclasses of Pattern Languages (JC, SJ, TDL, YSO, PS, FS), pp. 192–203.
MSRMSR-2010-BruchMM #framework #mining #reuse #subclass
Mining subclassing directives to improve framework reuse (MB, MM, MM), pp. 141–150.
SCAMSCAM-2010-WheelerB #subclass
Subclass Instantiation Distribution (AW, DB), pp. 23–32.
ICPRICPR-2010-ArvanitopoulosBT #fault #linear #subclass #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 #subclass
A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
LATALATA-2009-BordihnHK #problem #subclass
Undecidability of Operation Problems for T0L Languages and Subclasses (HB, MH, MK), pp. 236–246.
SACSAC-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.
ICSTSAT-2009-BuningZB #quantifier #subclass
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (HKB, XZ, UB), pp. 391–397.
LATALATA-2008-Yoshinaka #algorithm #performance #problem #subclass
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs (RY), pp. 487–498.
ICLPICLP-2008-Sneyers #subclass
Turing-Complete Subclasses of CHR (JS), pp. 759–763.
ICSTSAT-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.
IJCARIJCAR-2006-ReeberH #satisfiability #subclass
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 #subclass
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 #subclass
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 #subclass
An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars (SI, AS, MT), pp. 225–236.
ICPRICPR-v2-2000-SkurichinaYD #subclass
The Role of Subclasses in Machine Diagnostics (MS, AY, RPWD), pp. 2668–2671.
OOPSLAOOPSLA-2000-RubyL #subclass
Safely creating correct subclasses without seeing superclass code (CR, GTL), pp. 208–228.
ICPRICPR-1998-KudoTSS #pattern matching #pattern recognition #recognition #subclass
A subclass-based mixture model for pattern recognition (MK, HT, SS, MS), pp. 870–872.
TACASTACAS-1997-Penczek #model checking #subclass
Model-Checking for a Subclass of Event Structures (WP), pp. 145–164.
KRKR-1996-JonssonDB #algebra #classification #subclass
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
OOPSLAOOPSLA-1995-SaneC #composition #object-oriented #state machine #subclass
Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.
OOPSLAOOPSLA-1995-StataG #composition #reasoning #subclass
Modular Reasoning in the Presence of Subclassing (RS, JVG), pp. 200–214.
CAVCAV-1995-BouajjaniR #hybrid #linear #subclass #verification
Verifying ω-Regular Properties for a Subclass of Linear Hybrid Systems (AB, RR), pp. 437–450.
ICGTTAGT-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.
ECOOPECOOP-1994-WieringaJS #approach #logic #subclass
Roles and Dynamic Subclasses: A Modal Logic Approach (RW, WdJ, PS), pp. 32–59.
CSLCSL-1990-FlogelKB #quantifier #subclass
Subclasses of Quantified Boolean Formulas (AF, MK, HKB), pp. 145–155.
SEKESEKE-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.
ICALPICALP-1987-LodayaT #logic #subclass
A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
OOPSLAOOPSLA-1986-Sandberg #subclass
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.