Stem cartesian$ (all stems)

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.