BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
product (6)
close (5)
categori (5)
situat (2)
join (2)

Stem cartesian$ (all stems)

21 papers:

CASECASE-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.
TLCATLCA-2015-CastellanCD #similarity
Undecidability of Equality in the Free Locally Cartesian Closed Category (SC, PC, PD), pp. 138–152.
TLCATLCA-2011-ClairambaultD #category theory
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (PC, PD), pp. 91–106.
ICALPICALP-v1-2009-DemaineLW #on the #query
On Cartesian Trees and Range Minimum Queries (EDD, GML, OW), pp. 341–353.
KDDKDD-2009-JinXL #representation #set
Cartesian contour: a concise representation for a collection of frequent sets (RJ, YX, LL), pp. 417–426.
KRKR-2008-Petrick #calculus #composition
Cartesian Situations and Knowledge Decomposition in the Situation Calculus (RPAP), pp. 629–639.
ICFPICFP-2007-DanvyS #on the
On Barron and Strachey’s cartesian product function (OD, JMS), pp. 41–46.
Subpixel Alignment of MRI Data Under Cartesian and Log-Polar Sampling (MB, MA, HF), pp. 607–610.
SASSAS-2003-HalbwachsMP #analysis #linear
Cartesian Factoring of Polyhedra in Linear Relation Analysis (NH, DM, CPV), pp. 355–365.
TACASTACAS-2001-BallPR #abstraction #c #model checking #source code
Boolean and Cartesian Abstraction for Model Checking C Programs (TB, AP, SKR), pp. 268–283.
LICSLICS-1999-BruniM #category theory #π-calculus
Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus (RB, UM), pp. 246–265.
DATEEDTC-1997-GeigenmullerM #3d #integration #multi
Cartesian multipole based numerical integration for 3D capacitance extraction (UG, NPvdM), pp. 256–259.
SIGMODSIGMOD-1996-VanceM #agile #optimisation
Rapid Bushy Join-order Optimization with Cartesian Products (BV, DM), pp. 35–46.
ICPRICPR-1996-SerraS #image #network #using
Perceptual grouping on texture images using non-cartesian networks (JRS, JBSV), pp. 462–466.
CSLCSL-1996-Statman #monad #on the
On Cartesian Monoids (RS), pp. 446–459.
ECOOPECOOP-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.
PODSPODS-1992-Morishita #multi #source code
Avoiding Cartesian Products in Programs for Multiple Joins (SM), pp. 368–379.
LICSLICS-1992-Saraswat #constraints
The Category of Constraint Systems is Cartesian-Closed (VAS), pp. 341–345.
PODSPODS-1990-Abdel-GhaffarA #on the
On the Optimality of Disk Allocation for Cartesian Product Files (KASAG, AEA), pp. 258–264.
LICSLICS-1986-Gunter #axiom
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (CAG), pp. 142–148.
Some Properties of Cartesian Product Files (CCC, RCTL, DHCD), pp. 157–168.

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.