21 papers:
CASE-2015-WahrburgMCMD #estimation #using- Cartesian contact force estimation for robotic manipulators using Kalman filters and the generalized momentum (AW, EM, GC, BM, HD), pp. 1230–1235.
TLCA-2015-CastellanCD #similarity- Undecidability of Equality in the Free Locally Cartesian Closed Category (SC, PC, PD), pp. 138–152.
TLCA-2011-ClairambaultD #category theory- The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (PC, PD), pp. 91–106.
ICALP-v1-2009-DemaineLW #on the #query- On Cartesian Trees and Range Minimum Queries (EDD, GML, OW), pp. 341–353.
KDD-2009-JinXL #representation #set- Cartesian contour: a concise representation for a collection of frequent sets (RJ, YX, LL), pp. 417–426.
KR-2008-Petrick #calculus #composition- Cartesian Situations and Knowledge Decomposition in the Situation Calculus (RPAP), pp. 629–639.
ICFP-2007-DanvyS #on the- On Barron and Strachey’s cartesian product function (OD, JMS), pp. 41–46.
ICPR-v3-2006-BalciAF- Subpixel Alignment of MRI Data Under Cartesian and Log-Polar Sampling (MB, MA, HF), pp. 607–610.
SAS-2003-HalbwachsMP #analysis #linear- Cartesian Factoring of Polyhedra in Linear Relation Analysis (NH, DM, CPV), pp. 355–365.
TACAS-2001-BallPR #abstraction #c #model checking #source code- Boolean and Cartesian Abstraction for Model Checking C Programs (TB, AP, SKR), pp. 268–283.
LICS-1999-BruniM #category theory #π-calculus- Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus (RB, UM), pp. 246–265.
EDTC-1997-GeigenmullerM #3d #integration #multi- Cartesian multipole based numerical integration for 3D capacitance extraction (UG, NPvdM), pp. 256–259.
SIGMOD-1996-VanceM #agile #optimisation- Rapid Bushy Join-order Optimization with Cartesian Products (BV, DM), pp. 35–46.
ICPR-1996-SerraS #image #network #using- Perceptual grouping on texture images using non-cartesian networks (JRS, JBSV), pp. 462–466.
CSL-1996-Statman #monad #on the- On Cartesian Monoids (RS), pp. 446–459.
ECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #precise #type inference- The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
PODS-1992-Morishita #multi #source code- Avoiding Cartesian Products in Programs for Multiple Joins (SM), pp. 368–379.
LICS-1992-Saraswat #constraints- The Category of Constraint Systems is Cartesian-Closed (VAS), pp. 341–345.
PODS-1990-Abdel-GhaffarA #on the- On the Optimality of Disk Allocation for Cartesian Product Files (KASAG, AEA), pp. 258–264.
LICS-1986-Gunter #axiom- The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (CAG), pp. 142–148.
SIGMOD-1980-ChangLD- Some Properties of Cartesian Product Files (CCC, RCTL, DHCD), pp. 157–168.