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:
logic (8)
program (8)
sampl (7)
evalu (6)
queri (6)

Stem stratifi$ (all stems)

41 papers:

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

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.