Stem quotient$ (all stems)

29 papers:

LATA-2015-VerdierR #constraints #reachability #specification

Quotient of Acceptance Specifications Under Reachability Constraints (GV, JBR), pp. 299–311.

ICALP-v2-2014-BellBMR #complexity #symmetry

Symmetric Groups and Quotient Complexity of Boolean Operations (JB, JAB, NM, RR), pp. 1–12.

VLDB-2013-DuttaNB #approach #approximate #data type #detection #streaming

Streaming Quotient Filter: A Near Optimal Approximate Duplicate Detection Approach for Data Streams (SD, AN, SKB), pp. 589–600.

TACAS-2013-EisentrautHST0 #automaton #probability

The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.

ICML-c3-2013-Kuleshov #algorithm #analysis #component #performance

Fast algorithms for sparse principal component analysis based on Rayleigh quotient iteration (VK), pp. 1418–1425.

AFL-J-2011-BrzozowskiL12 #complexity

Quotient Complexity of Star-Free Languages (JAB, BL), pp. 1261–1276.

DLT-2012-BrzozowskiT #regular expression

Quotient Complexities of Atoms of Regular Languages (JAB, HT), pp. 50–61.

FoSSaCS-2011-Levy #algebra #similarity

Similarity Quotients as Final Coalgebras (PBL), pp. 27–41.

AFL-2011-BrzozowskiJLS #complexity #regular expression

Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages (JAB, GJ, BL, JS), pp. 123–137.

AFL-2011-BrzozowskiL #complexity

Quotient Complexity of Star-Free Languages (JAB, BL), pp. 138–152.

ICALP-v2-2011-Clemente #automaton

Büchi Automata Can Have Smaller Quotients (LC), pp. 258–270.

SAC-2011-KaliszykU #higher-order

Quotients revisited for Isabelle/HOL (CK, CU), pp. 1639–1644.

ICFP-2008-FosterPP #lens

Quotient lenses (JNF, AP, BCP), pp. 383–396.

BX-2008-Foster1 #lens

Quotient Lenses (NF), p. 31.

DATE-2007-Srivastava #interactive #predict #scalability

Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling (NRS), pp. 195–200.

SEFM-2004-SistlaWZ #using

Checking Extended CTL properties Using Guarded Quotient Structures (APS, XW, MZ), pp. 87–94.

KDD-2004-LiCTW #incremental #maintenance

Incremental maintenance of quotient cube for median (CL, GC, AKHT, SW), pp. 226–235.

ICALP-2003-Hannay #axiom #data type #higher-order

Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types (JEH), pp. 903–917.

VLDB-2002-LakshmananPH #how #semantics

Quotient Cube: How to Summarize the Semantics of a Data Cube (LVSL, JP, JH), pp. 778–789.

DLT-2001-CampeanuSV

Shuffle Quotient and Decompositions (CC, KS, SV), pp. 186–196.

ICEIS-v1-2001-CarvalhoRMNK #fuzzy #logic #quantifier #using

Quantification of the Emotional Quotient of the Intelligence using the Classic and Fuzzy Logic (LFdC, RR, RRdM, SMN, CK), pp. 361–365.

CAV-2000-CassezL #constraints #hybrid #model checking

Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.

ESOP-1999-KingSH #analysis #dependence

Quotienting Share for Dependency Analysis (AK, JGS, PMH), pp. 59–73.

CSL-1999-KuceraE #algebra #logic

A Logical Viewpoint on Process-Algebraic Quotients (AK, JE), pp. 499–514.

TLCA-1995-Hofmann

A Simple Model for Quotient Types (MH0), pp. 216–234.

STOC-1993-ParkP #graph

Finding minimum-quotient cuts in planar graphs (JKP, CAP), pp. 766–775.

ICALP-1991-Comon #algebra #axiom

Complete Axiomatizations of Some Quotient Term Algebras (HC), pp. 469–480.

STOC-1990-KantorL

Computing in Quotient Groups (WMK, EML), pp. 524–534.

SIGMOD-1977-FurtadoK #algebra

An Algebra of Quotient Relations (ALF, LK), pp. 1–8.