41 papers:
ICLP-2015-Zaniolo #algorithm #logic programming #source code- Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs (CZ).
SIGMOD-2014-LevinK #network #pipes and filters #social #using- Stratified-sampling over social networks using mapreduce (RL, YK), pp. 863–874.
ICML-c2-2013-CarpentierM #integration #monte carlo #towards- Toward Optimal Stratification for Stratified Monte-Carlo Integration (AC, RM), pp. 28–36.
- ICML-c3-2013-Meng #random #scalability
- Scalable Simple Random Sampling and Stratified Sampling (XM), pp. 531–539.
KDD-2012-LiuA #clustering #data flow #web- Stratified k-means clustering over a deep web data source (TL, GA), pp. 1113–1121.
ICPC-2011-PirzadehSHM #concept #execution- The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.
CIKM-2010-BennettC #classification #online- Online stratified sampling: evaluating classifiers at web-scale (PNB, VRC), pp. 1581–1584.
- CIKM-2010-WebberOSH #evaluation #fault
- Assessor error in stratified evaluation (WW, DWO, FS, BH), pp. 539–548.
SPLC-2010-BagheriAGS #process- Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features (EB, MA, DG, SS), pp. 300–315.
SAC-2009-BoscPS #query- Stratified division queries involving ordinal user preferences (PB, OP, OS), pp. 1748–1749.
LATA-2007-NomikosR #boolean grammar- Locally Stratified Boolean Grammars (CN, PR), pp. 437–448.
LICS-2007-Schopp #bound #logic- Stratified Bounded Affine Logic for Logarithmic Space (US), pp. 411–420.
POPL-2006-PottierR #algebra #data type #type inference- Stratified type inference for generalized algebraic data types (FP, YRG), pp. 232–244.
IJCAR-2006-LevySV #unification- Stratified Context Unification Is NP-Complete (JL, MSS, MV), pp. 82–96.
- SIGMOD-2005-ChanET
- Stratified Computation of Skylines with Partially-Ordered Domains (CYC, PKE, KLT), pp. 203–214.
ICFP-2005-Pottier #ml #type inference- From ML type inference to stratified type inference (FP), p. 1.
- SAC-2005-Behrend #database #deduction #optimisation #query
- Optimizing existential queries in stratifiable deductive databases (AB), pp. 623–628.
PDCL-2004-FioravantiPP #constraints #logic programming #source code- Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.
- ICLP-2002-CharatonikMP #constraints #infinity #model checking
- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP (WC, SM, AP), pp. 115–129.
- LICS-2002-AhmedAV #semantics
- A Stratified Semantics of General References A Stratified Semantics of General References (AJA, AWA, RV), p. 75–?.
- POPL-2001-Calcagno #calculus #correctness #safety #semantics
- Stratified operational semantics for safety and correctness of the region calculus (CC), pp. 155–165.
CSL-2001-Schmidt-Schauss #unification- Stratified Context Unification Is in PSPACE (MSS), pp. 498–512.
TLCA-2001-Dowek #modulo theories- The Stratified Foundations as a Theory Modulo (GD), pp. 136–150.
CADE-2000-DegtyarevV- Stratified Resolution (AD, AV), pp. 365–384.
VLDB-1996-LeeL #constraints #database #deduction- Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases (SYL, TWL), pp. 495–505.
- CADE-1996-SagonasSW #automaton #source code
- An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.
- CSL-1996-ArieliA #knowledge base
- Four-Valued Diagnoses for Stratified Knowledge-Bases (OA, AA), pp. 1–17.
- JICSLP-1996-ZukowskiF #database #evaluation #flexibility #query
- Adding Flexibility to Query Evaluation for Modularly Stratified Databases (UZ, BF), pp. 304–318.
- CIKM-1995-IkejiF #adaptation #query #using
- Computation of Partial Query Results Using An Adaptive Stratified Sampling Technique (ACI, FF), pp. 145–149.
- POPL-1993-Leivant #complexity #functional #source code
- Stratified Functional Programs and Computational Complexity (DL), pp. 325–333.
FSE-1993-PodgurskiY #analysis #clustering #testing- Partition testing, stratified sampling, and cluster analysis (AP, CY), pp. 169–181.
- CSL-1992-Bosse #fixpoint #game studies #logic
- An “Ehrenfeucht-Fraïssé Game” for Fixpoint Logic and Stratified Fixpoint Logic (UB), pp. 100–114.
PODS-1990-Royer #evaluation- Backward Chaining Evaluation in Stratified Disjunctive Theories (VR), pp. 183–195.
- LICS-1990-GlabbeekSST #generative #modelling #probability #process
- Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.
- LICS-1989-Leivant #morphism #polymorphism #summary
- Stratified Polymorphism (Extended Summary) (DL), pp. 39–47.
- JICSCP-1988-AptB88 #classification #modelling #source code
- Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.
- JICSCP-1988-FittingB88 #logic programming #semantics
- Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.
- JICSCP-1988-KempT88 #database #evaluation #query #top-down
- Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases (DBK, RWT), pp. 178–194.
- JICSCP-1988-SekiI88 #evaluation #query #source code
- A Query Evaluation Method for Stratified Programs Under the Extended CWA (HS, HI), pp. 195–211.
- PODS-1987-AptP #database #maintenance
- Maintenance of Stratified Databases Viewed as a Belief Revision System (KRA, JMP), pp. 136–145.
- LICS-1987-BidoitF #logic programming
- Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (NB, CF), pp. 89–97.
