21 papers:
ESOP-2015-TerauchiU #approach #refinement- Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
KDD-2015-GongSRG #modelling- Instance Weighting for Patient-Specific Risk Stratification Models (JJG, TMS, JDR, JVG), pp. 369–378.
ICML-c2-2013-CarpentierM #integration #monte carlo #towards- Toward Optimal Stratification for Stratified Monte-Carlo Integration (AC, RM), pp. 28–36.
IJCAR-2012-Tiu #logic- Stratification in Logics of Definitions (AT), pp. 544–558.
VLDB-2011-GrecoST #termination- Stratification Criteria and Rewriting Techniques for Checking Chase Termination (SG, FS, IT), pp. 1158–1168.
CSCW-2011-ReynoldsGMMVWBH #student- Contact stratification and deception: blackberry messenger versus SMS use among students (LR, SG, JM, ZM, PV, AW, JPB, JTH), pp. 221–224.
CIKM-2011-WangA #data flow #effectiveness #query #web- Effective stratification for low selectivity queries on deep web data sources (FW, GA), pp. 1455–1464.
DATE-2010-HatamiP #analysis #component #library #performance #representation #robust #using- Efficient representation, stratification, and compression of variational CSM library waveforms using Robust Principle Component Analysis (SH, MP), pp. 1285–1290.
- ICML-2010-SyedR #dataset #identification
- Unsupervised Risk Stratification in Clinical Datasets: Identifying Patients at Risk of Rare Outcomes (ZS, IR), pp. 1023–1030.
- VLDB-2009-MeierSL #on the #termination
- On Chase Termination Beyond Stratification (MM, MS, GL), pp. 970–981.
HPCA-2006-RileyZ #predict #probability- Probabilistic counter updates for predictor hysteresis and stratification (NR, CBZ), pp. 110–120.
PODS-2003-Behrend #database #deduction #evaluation #query #set- Soft stratification for magic set based query evaluation in deductive databases (AB), pp. 102–110.
- PODS-1995-Ross #constraints
- Structural Totality and Constraint Stratification (KAR), pp. 184–195.
ILPS-1994-Ross #constraints #using- A Syntactic Stratification Condition Using Constraints (KAR), pp. 76–90.
KR-1992-NiemelaR #complexity #on the #reasoning- On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (IN, JR), pp. 627–638.
- PODS-1990-Ross #composition #datalog #set #source code
- Modular Stratification and Magic Sets for DATALOG Programs with Negation (KAR), pp. 161–171.
- PODS-1989-Przymusinski #fixpoint #logic programming
- Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (TCP), pp. 11–21.
ICALP-1989-ChazelleEGS #algebra- A Singly-Expenential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications (BC, HE, LJG, MS), pp. 179–193.
CSL-1989-StepankovaS #logic programming #source code- Stratification of Definite Clause Programs and of General Logic Programs (OS, PS), pp. 396–408.
- NACLP-1989-RajasekarM #semantics #source code
- A Stratification Semantics for General Disjunctive Programs (AR, JM), pp. 573–586.
- ICLP-1987-LassezMP87 #knowledge base
- Stratification and Knowledge Based Management (CL, KM, GSP), pp. 136–151.
