Stem cardin$ (all stems)

63 papers:

PEPM-2015-VerstoepH #analysis #functional #higher-order #strict

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.

ICALP-v2-2015-Finkel #automaton #infinity #scalability #theorem #word

Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words (OF), pp. 222–233.

FM-2015-SafilianMD #feature model #formal method #modelling #semantics

The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.

ECMFA-2015-BhalotiaK #interface #reuse

Reusable Model Interfaces with Instantiation Cardinalities (SB, JK), pp. 108–124.

SAC-2015-RafailidisM #image #parallel #similarity

Parallel similarity search based on the dimensions value cardinalities of image descriptor vectors (DR, YM), pp. 1023–1030.

ICML-c1-2014-LiuYF #algorithm #constraints

Forward-Backward Greedy Algorithms for General Convex Smooth Functions over A Cardinality Constraint (JL, JY, RF), pp. 503–511.

ICML-c2-2014-AilonKJ

Reducing Dueling Bandits to Cardinal Bandits (NA, ZSK, TJ), pp. 856–864.

POPL-2014-SergeyVJ #analysis #composition #higher-order #theory and practice

Modular, higher-order cardinality analysis in theory and practice (IS, DV, SLPJ), pp. 335–348.

SAC-2014-BertoutFO #automation #clustering #heuristic #realtime #set

A heuristic to minimize the cardinality of a real-time task set by automated task clustering (AB, JF, RO), pp. 1431–1436.

SPLC-2014-QuintonPBDB #consistency #evolution #feature model #modelling

Consistency checking for the evolution of cardinality-based feature models (CQ, AP, DLB, LD, GB), pp. 122–131.

SAT-2014-BiereBLM #constraints #detection

Detecting Cardinality Constraints in CNF (AB, DLB, EL, NM), pp. 285–301.

SPLC-2013-Quinton0D #approach #constraints #feature model #modelling

Cardinality-based feature models with constraints: a pragmatic approach (CQ, DR, LD), pp. 162–166.

SAT-2012-Ben-HaimIMM #constraints #encoding

Perfect Hashing and CNF Encodings of Cardinality Constraints (YBH, AI, OM, AM), pp. 397–409.

SAT-2012-LiffitonM #constraints #for free

A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.

VMCAI-2011-SuterSK #constraints #modulo theories #satisfiability #set

Sets with Cardinality Constraints in Satisfiability Modulo Theories (PS, RS, VK), pp. 403–418.

PODS-2010-ReS #comprehension #estimation #using

Understanding cardinality estimation using entropy maximization (CR, DS), pp. 53–64.

SIGMOD-2010-VartakRR #assurance #generative #named #query

QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.

CIKM-2010-KhachatryanB #multi #nondeterminism

Quantifying uncertainty in multi-dimensional cardinality estimations (AK, KB), pp. 1317–1320.

ICPR-2010-RichiardiVRB #classification #graph #sequence

Vector Space Embedding of Undirected Graphs with Fixed-cardinality Vertex Sequences for Classification (JR, DVDV, KR, HB), pp. 902–905.

SAC-2010-ChenS #3d #interactive #matrix #modelling

Modeling cardinal directions in the 3D space with the objects interaction cube matrix (TC, MS), pp. 906–910.

VMCAI-2010-YessenovPK

Collections, Cardinalities, and Relations (KY, RP, VK), pp. 380–395.

SIGMOD-2009-ZhangYCPT #estimation #kernel

Kernel-based skyline cardinality estimation (ZZ, YY, RC, DP, AKHT), pp. 509–522.

VLDB-2009-ChaudhuriNR #optimisation #query #testing

Exact Cardinality Query Optimization for Optimizer Testing (SC, VRN, RR), pp. 994–1005.

VLDB-2009-MoerkotteNS #bound #estimation #fault

Preventing Bad Plans by Bounding the Impact of Cardinality Estimation Errors (GM, TN, GS), pp. 982–993.

SAC-2009-HendersonCL #performance

Exploiting join cardinality for faster hash joins (MH, BC, RL), pp. 1549–1554.

CAV-2009-PerezRS #abstraction #declarative #network

Cardinality Abstraction for Declarative Networking Applications (JANP, AR, AS), pp. 584–598.

CSL-2009-BaranyKR #quantifier

Cardinality Quantifiers in MLO over Trees (VB, LK, AR), pp. 117–131.

CSL-2009-MontanariPS #decidability #logic

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (AM, GP, PS), pp. 394–408.

LICS-2009-BulatovM #complexity #constraints

The Complexity of Global Cardinality Constraints (AAB, DM), pp. 419–428.

SAT-2009-AsinNOR #network

Cardinality Networks and Their Applications (RA, RN, AO, ERC), pp. 167–180.

VLDB-2008-TeubnerGMS #xquery

Dependable cardinality forecasts for XQuery (JT, TG, SM, SS), pp. 463–477.

KR-2008-DohertyS #reasoning #using

Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription (PD, AS), pp. 560–570.

SEKE-2008-ParkK #automaton #bound #constraints #lts #model checking #using

Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.

CSL-2008-CreignouSS #constraints #problem

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.

CSL-2008-PiskacK #bound #linear

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars (RP, VK), pp. 124–138.

VMCAI-2008-PiskacK #constraints #multi

Decision Procedures for Multisets with Cardinality Constraints (RP, VK), pp. 218–232.

SIGMOD-2007-LarsonLZZ #assurance #estimation #quality #using

Cardinality estimation using sample views with quality assurance (PÅL, WL, JZ, PZ), pp. 175–186.

SIGMOD-2007-LarsonLZZ07a #estimation #self

Exploiting self-monitoring sample views for cardinality estimation (PÅL, WL, JZ, PZ), pp. 1073–1075.

VLDB-2007-ChenCB #estimation #performance

A Simple and Efficient Estimation Method for Stream Expression Cardinalities (AC, JC, TB), pp. 171–182.

VLDB-2007-MorsePJ #performance

Efficient Skyline Computation over Low-Cardinality Domains (MDM, JMP, HVJ), pp. 267–278.

FoSSaCS-2007-MarnetteKR #bound #constraints #polynomial #set

Polynomial Constraints for Sets with Cardinality Bounds (BM, VK, MCR), pp. 258–273.

ICML-2007-GuptaDS #clique #performance

Efficient inference with cardinality-based clique potentials (RG, AAD, SS), pp. 329–336.

SIGMOD-2006-MarklKTHM #consistency #estimation #named

MAXENT: consistent cardinality estimation in action (VM, MK, TMT, PJH, NM), pp. 775–777.

ICEIS-DISI-2006-OommenC #database #on the #optimisation #query

On Utilizing Attribute Cardinality Maps to Enhance Query Optimization in the Oracle Database System (BJO, JC), pp. 23–35.

ICEIS-ISAS-2006-CruzLW #contract #specification #visual notation

Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications (JDDlC, LSL, AW), pp. 298–303.

ICEIS-J-2006-OommenC06a #database #on the #optimisation #query

On Enhancing Query Optimization in the Oracle Database System by Utilizing Attribute Cardinality Maps (BJO, JC), pp. 38–71.

KR-2006-ChevaleyreEL #modelling #power of

Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling (YC, UE, JL), pp. 145–152.

KR-2006-RagniW #constraints

Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning (MR, SW), pp. 472–480.

ECMDA-FA-2005-HwanKC #feature model #modelling

Synchronizing Cardinality-Based Feature Models and Their Specializations (CHPK, KC), pp. 331–348.

VLDB-2004-DasGGR #distributed #estimation #set

Distributed Set Expression Cardinality Estimation (AD, SG, MNG, RR), pp. 312–323.

VLDB-2004-RossS #bound #database #multi #symmetry

Symmetric Relations and Cardinality-Bounded Multisets in Database Systems (KAR, JS), pp. 912–923.

VLDB-2004-WuOS #on the #performance

On the performance of bitmap indices for high cardinality attributes (KW, EJO, AS), pp. 24–35.

VLDB-2003-HelmerNM #clustering

Estimating the Output Cardinality of Partial Preaggregation with a Measure of Clusteredness (SH, TN, GM), pp. 656–667.

ICALP-2003-KlaedtkeR #higher-order #logic #monad

Monadic Second-Order Logics with Cardinalities (FK, HR), pp. 681–696.

SIGMOD-2002-MarklL #learning

Learning table access cardinalities with LEO (VM, GML), p. 613.

ICEIS-2002-Al-JumailyCM #constraints #execution #relational

An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.

ICLP-2001-BeldiceanuC #constraints #product line

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family (NB, MC), pp. 59–73.

ICEIS-1999-ThiyagarajahO #database #optimisation #prototype #query #validation

Prototype Validation of the Trapezoidal Attribute Cardinality Map for Query Optimization in Database Systems (MT, BJO), pp. 156–162.

CIKM-1997-DulleaS #analysis #constraints

An Analysis of Cardinality Constraints in Redundant Relationships (JD, IYS), pp. 270–277.

ILPS-1994-BraemCMH #analysis #prolog

Cardinality Analysis of Prolog (CB, BLC, SM, PVH), pp. 457–471.

SEKE-1993-Feather #evolution #specification

Cardinality Evolution in Specifications (MSF), pp. 575–583.

ICLP-1991-HentenryckD #constraints #logic #logic programming

The Cardinality Operator: A New Logical Connective for Constraint Logic Programming (PVH, YD), pp. 745–759.

KR-1989-Zadrozny #order #set

Cardinalities and Well Orderings in a Common-Sense Set Theory (WZ), pp. 486–497.