BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
category theory
Google category theory

Tag #category theory

230 papers:

CSLCSL-2020-CockettCGLMPP
Reverse Derivative Categories (JRBC, GSHC, JG, JSPL, BM, GDP, DP), p. 16.
CSLCSL-2020-CockettLL #algebra #difference
Tangent Categories from the Coalgebras of Differential Categories (JRBC, JSPL, RBBLW), p. 17.
ICMLICML-2019-BateniCEFMR #optimisation
Categorical Feature Compression via Submodular Optimization (MB, LC, HE, TF, VSM, AR), pp. 515–523.
ICMLICML-2019-YinYZ #named
ARSM: Augment-REINFORCE-Swap-Merge Estimator for Gradient Backpropagation Through Categorical Variables (MY, YY, MZ), pp. 7095–7104.
POPLPOPL-2019-Mellies #combinator #game studies #scheduling #semantics
Categorical combinatorics of scheduling and synchronization in game semantics (PAM), p. 30.
PPDPPPDP-2019-ValliappanR #combinator #exponential
Exponential Elimination for Bicartesian Closed Categorical Combinators (NV, AR), p. 13.
ESOPESOP-2019-SakayoriT #π-calculus
A Categorical Model of an i/o-typed π-calculus (KS, TT), pp. 640–667.
ICPCICPC-2018-BeyerM0P #automation #stack overflow
Automatically classifying posts into question categories on stack overflow (SB, CM, MP0, MDP), pp. 211–221.
FSCDFSCD-2018-ForestM
Coherence of Gray Categories via Rewriting (SF, SM), p. 16.
FSCDFSCD-2018-Lemay #algebra
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories (JSPL), p. 20.
CIKMCIKM-2018-XuWCWM #detection #set
Exploring a High-quality Outlying Feature Value Set for Noise-Resilient Outlier Detection in Categorical Data (HX, YW, LC, YW, XM), pp. 17–26.
ICMLICML-2018-RuizTDB #probability #scalability
Augment and Reduce: Stochastic Inference for Large Categorical Distributions (FJRR, MKT, ABD, DMB), pp. 4400–4409.
POPLPOPL-2018-CapriottiK
Univalent higher categories via complete Semi-Segal types (PC, NK), p. 29.
CSLCSL-2018-BehrS #algebra
Rule Algebras for Adhesive Categories (NB, PS), p. 21.
SANERSANER-2017-NewmanACM #identifier #source code
Lexical categories for source code identifiers (CDN, RSA, MLC, JIM), pp. 228–239.
FSCDFSCD-2017-AhrensL
Displayed Categories (BA, PLL), p. 16.
ICFP-2017-Elliott17a #compilation
Compiling to categories (CE), p. 27.
CIKMCIKM-2017-HeWJ #modelling #relational #topic
Incorporating the Latent Link Categories in Relational Topic Modeling (YH, CW, CJ), pp. 1877–1886.
CIKMCIKM-2017-PangXCZ #detection #learning
Selective Value Coupling Learning for Detecting Outliers in High-Dimensional Categorical Data (GP, HX, LC, WZ), pp. 807–816.
CIKMCIKM-2017-RahmanAKD #performance
Efficient Computation of Subspace Skyline over Categorical Domains (MFR, AA, NK, GD0), pp. 407–416.
MoDELSMoDELS-2017-TaentzerSSC #framework #product line
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory (GT, RS, DS, MC), pp. 101–111.
CSLCSL-2017-AhrensLV #type system
Categorical Structures for Type Theory in Univalent Foundations (BA, PLL, VV), p. 16.
CSLCSL-2017-CockettL #calculus
Integral Categories and Calculus Categories (JRBC, JSL), p. 17.
CSLCSL-2017-HeerdtS0 #automaton #framework #learning #named
CALF: Categorical Automata Learning Framework (GvH, MS, AS0), p. 24.
SANERSANER-2016-ChenGX #library #mining #relational #word
Mining Analogical Libraries in Q&A Discussions - Incorporating Relational and Categorical Knowledge into Word Embedding (CC, SG, ZX), pp. 338–348.
SANERSANER-2016-MachoMP #commit #predict #source code
Predicting Build Co-changes with Source Code Change and Commit Categories (CM, SM, MP0), pp. 541–551.
FSCDFSCD-2016-Hamana #algebra #higher-order #normalisation
Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories (MH), p. 18.
FSCDFSCD-2016-Timany0 #coq
Category Theory in Coq 8.5 (AT, BJ0), p. 18.
DiGRADiGRA-FDG-2016-LimLH #approach #bottom-up #clustering #image #social #using
Discovering Social and Aesthetic Categories of Avatars: A Bottom-Up Artificial Intelligence Approach Using Image Clustering (CUL, AL, DFH).
ECIRECIR-2016-WangME #fine-grained #image #using #visual notation
Harvesting Training Images for Fine-Grained Object Categories Using Visual Descriptions (JW, KM, ME), pp. 549–560.
ECIRECIR-2016-ZhangDW #case study #learning #multi #predict
Deep Learning over Multi-field Categorical Data - - A Case Study on User Response Prediction (WZ0, TD, JW0), pp. 45–57.
ICMLICML-2016-ChenQ #clustering
Clustering High Dimensional Categorical Data via Topographical Features (CC0, NQ), pp. 2732–2740.
MoDELSMoDELS-2016-RabbiLY #approach #game studies #metamodelling #towards
Towards a categorical approach for meta-modelling epistemic game theory (FR, YL, ICY), pp. 57–64.
DRRDRR-2015-NagyEKS #clustering #web
Clustering header categories extracted from web tables (GN, DWE, MSK, SCS).
CHI-PLAYCHI-PLAY-2015-McMahonWJ #challenge #game studies #process
From Challenges to Activities: Categories of Play in Videogames (NM, PW, DMJ0), pp. 637–642.
GCMGCM-2015-LoweT #algebra
Single-Pushout Rewriting of Partial Algebras (ML, MT), pp. 82–96.
GCMGCM-2015-PeuserH #composition #graph
Attribution of Graphs by Composition of M, N-adhesive Categories (CP, AH), pp. 66–81.
ICGTICGT-2015-Lowe #graph grammar #polymorphism
Polymorphic Sesqui-Pushout Graph Rewriting (ML), pp. 3–18.
ICEISICEIS-v1-2015-CarboneraA #algorithm #clustering #named
CBK-Modes: A Correlation-based Algorithm for Categorical Data Clustering (JLC, MA), pp. 603–608.
ICMLICML-2015-GalCG #estimation #multi #process
Latent Gaussian Processes for Distribution Estimation of Multivariate Categorical Data (YG, YC, ZG), pp. 645–654.
ICMLICML-2015-LeeY #predict #strict
Boosted Categorical Restricted Boltzmann Machine for Computational Prediction of Splice Junctions (TL, SY), pp. 2483–2492.
KDDKDD-2015-Kifer #on the
On Estimating the Swapping Rate for Categorical Data (DK), pp. 557–566.
RecSysRecSys-2015-GuoD #approach #bias
Uncovering Systematic Bias in Ratings across Categories: a Bayesian Approach (FG, DBD), pp. 317–320.
RecSysRecSys-2015-KaragiannakisGS #automation #recommendation
OSMRec Tool for Automatic Recommendation of Categories on Spatial Entities in OpenStreetMap (NK, GG, DS, SA), pp. 337–338.
SIGIRSIGIR-2015-ZhangC #correlation #named #recommendation #social
GeoSoCa: Exploiting Geographical, Social and Categorical Correlations for Point-of-Interest Recommendations (JDZ, CYC), pp. 443–452.
ECMFAECMFA-2015-DiskinMC #imperative #model management #visual notation
A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical (ZD, TSEM, KC), pp. 154–170.
FoSSaCSFoSSaCS-2015-Vakar #framework #linear #logic #semantics
A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.
LICSLICS-2015-OHearn #facebook #logic
From Categorical Logic to Facebook Engineering (PWO), pp. 17–20.
HTHT-2014-ShuaiLXWG #twitter
Comparing the pulses of categorical hot events in Twitter and Weibo (XS, XL, TX, YW, CG), pp. 126–135.
PODSPODS-2014-PatilTSNV #query
Categorical range maxima queries (MP, SVT, RS, YN, JSV), pp. 266–277.
ICGTICGT-2014-DanosHHS
Reversible Sesqui-Pushout Rewriting (VD, TH, RHZ, SS), pp. 161–176.
ICGTICGT-2014-HaymanH #on the
On Pushouts of Partial Maps (JH, TH), pp. 177–191.
CSCWCSCW-2014-AndreKD #clustering #synthesis
Crowd synthesis: extracting categories and clusters from complex data (PA, AK, SPD), pp. 989–998.
CIKMCIKM-2014-GrbovicHKM #email #how
How Many Folders Do You Really Need?: Classifying Email into a Handful of Categories (MG, GH, ZSK, YM), pp. 869–878.
ICPRICPR-2014-LiuWCL #automation #image #learning
Automatic Image Attribute Selection for Zero-Shot Learning of Object Categories (LL, AW, SC, BCL), pp. 2619–2624.
KDDKDD-2014-HeFKMP #clustering
Relevant overlapping subspace clusters on categorical data (XH, JF, BK, STM, CP), pp. 213–222.
KDIRKDIR-2014-DomeniconiMPS #classification
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.
KEODKEOD-2014-HlomaniS #data-driven #evaluation #framework #metric #ontology
Data-driven Diachronic and Categorical Evaluation of Ontologies — Framework, Measure, and Metrics (HH, DAS), pp. 56–66.
SIGIRSIGIR-2014-ChenJZBZSY #recommendation
Does product recommendation meet its waterloo in unexplored categories?: no, price comes to help (JC, QJ, SZ, SB, LZ, ZS, YY), pp. 667–676.
SACSAC-2014-IencoBPP #data type #detection #evolution
Change detection in categorical evolving data streams (DI, AB, BP, PP), pp. 792–797.
FASEFASE-2014-LoweKS #graph transformation #polymorphism
Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
MSRMSR-2013-SouzaM #metric #question
Do software categories impact coupling metrics? (LBLdS, MdAM), pp. 217–220.
CIAACIAA-J-2012-Oliveira13 #algebra #automaton #matrix
Weighted Automata as Coalgebras in Categories of Matrices (JNO), pp. 709–728.
FDGFDG-2013-Milik #analysis #multi #online #social
Protecting face in virtual life: An ethnographic analysis of identity categories and informal systems of social control in massively multiplayer online worlds (OM), pp. 477–478.
GT-VMTGT-VMT-2013-KupperKB
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories (SK, BK, HJSB).
CHICHI-2013-LeahuCM #how #matter
How categories come to matter (LL, MC, WM), pp. 3331–3334.
CSLCSL-2013-Maruyama #monad
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (YM), pp. 500–520.
LICSLICS-2013-DagandM
A Categorical Treatment of Ornaments (PÉD, CM), pp. 530–539.
PODSPODS-2012-Nekrich
Space-efficient range reporting for categorical data (YN), pp. 113–120.
FLOPSFLOPS-2012-Hamana #haskell
Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
CSCWCSCW-2012-ChoudhuryDN #classification #twitter
Unfolding the event landscape on twitter: classification and exploration of user categories (MDC, ND, MN), pp. 241–244.
CIKMCIKM-2012-AkogluTVF #detection #performance #reliability
Fast and reliable anomaly detection in categorical data (LA, HT, JV, CF), pp. 415–424.
CIKMCIKM-2012-ChenHZAHP #modelling #semantics #visual notation
Modeling semantic relations between visual attributes and object categories via dirichlet forest prior (XC, XH, ZZ, YA, TH, EKP), pp. 1263–1272.
CIKMCIKM-2012-KangLC #predict
Predicting primary categories of business listings for local search (CK, JL, YC), pp. 2591–2594.
ICMLICML-2012-SalazarC #relational
Inferring Latent Structure From Mixed Real and Categorical Relational Data (ES, LC), p. 219.
ICPRICPR-2012-BallanBBSSZ #generative #image #modelling #social
Combining generative and discriminative models for classifying social images from 101 object categories (LB, MB, ADB, AMS, GS, BFZ), pp. 1731–1734.
ICPRICPR-2012-PanZXQ #2d #detection
Improved generic categorical object detection fusing depth cue with 2D appearance and shape features (HP, YZ, SX, KQ), pp. 1467–1470.
ICPRICPR-2012-ZhangSSLWTBC #image #kernel
Spatial graphlet matching kernel for recognizing aerial image categories (LZ, MS, LS, XL, YW, DT, JB, CC), pp. 2813–2816.
GPCEGPCE-2012-RicheGMB #architecture #design
Pushouts in software architecture design (TLR, RG, BM, DSB), pp. 84–92.
FASEFASE-2012-DiskinMC #query
Intermodeling, Queries, and Kleisli Categories (ZD, TSEM, KC), pp. 163–177.
LICSLICS-2012-ChenM #algebra #constraints #quantifier #theorem
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.
LICSLICS-2012-CoeckeDKW #quantum
Strong Complementarity and Non-locality in Categorical Quantum Mechanics (BC, RD, AK, QW), pp. 245–254.
LICSLICS-2012-TraytelPB #composition #data type #higher-order #logic #proving #theorem proving
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.
ICPCICPC-J-2009-PoonTTK11 #experience #identification #testing
Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing (PLP, THT, SFT, FCK), pp. 141–163.
DLTDLT-J-2010-RahulGR11 #data type
Data Structures for Range-Aggregation over Categories (SR, PG, KSR), pp. 1707–1728.
ICALPICALP-v2-2011-LairdMM #difference #game studies
Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
TLCATLCA-2011-ClairambaultD
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (PC, PD), pp. 91–106.
CEFPCEFP-2011-SlodicakMN #functional #programming
Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.
ICFPICFP-2011-HinzeJ #fixpoint #proving
Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
GCMGCM-2010-HeumullerJKS11
Construction of Pushout Complements in the Category of Hypergraphs (MH, SJ, BK, JS).
GT-VMTGT-VMT-2011-DuvalEP #graph transformation #term rewriting
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
ICEISICEIS-v4-2011-LongG #social
Social Attributes of Urban Traffic and Its Categories (WL, JG), pp. 581–585.
CIKMCIKM-2011-GyllstromM #wiki
Examining the “leftness” property of Wikipedia categories (KG, MFM), pp. 2309–2312.
CIKMCIKM-2011-UllegaddiV #learning #query #rank #web
Learning to rank categories for web queries (PU, VV), pp. 2065–2068.
CIKMCIKM-2011-ZhuCXCT #ranking #towards
Towards expert finding by leveraging relevant categories in authority ranking (HZ, HC, HX, EC, JT), pp. 2221–2224.
KDDKDD-2011-PlantB #clustering #named
INCONCO: interpretable clustering of numerical and categorical objects (CP, CB), pp. 1127–1135.
KDIRKDIR-2011-DoquireV #approach #feature model #hybrid
An Hybrid Approach to Feature Selection for Mixed Categorical and Continuous Data (GD, MV), pp. 394–401.
MLDMMLDM-2011-WuW #detection
Parameter-Free Anomaly Detection for Categorical Data (SW, SW), pp. 112–126.
PLATEAUPLATEAU-2011-FreyGS #categorisation #comprehension
Categorization of concerns: a categorical program comprehension model (TF, MG, GS), pp. 73–82.
ITiCSEITiCSE-2010-LeeR #algorithm #design #learning #visualisation
Integrating categories of algorithm learning objective into algorithm visualization design: a proposal (MHL, GR), pp. 289–293.
ICGTICGT-2010-BraatzEGG
Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.
ICGTICGT-2010-GolasEH #multi
Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.
ICGTICGT-2010-Heindel
Hereditary Pushouts Reconsidered (TH), pp. 250–265.
ICGTICGT-2010-Kahl #graph transformation
Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
CIKMCIKM-2010-KohnckeB #documentation #using #wiki
Using Wikipedia categories for compact representations of chemical documents (BK, WTB), pp. 1809–1812.
CIKMCIKM-2010-MiaoLTZ #approach #community #identification #modelling #topic
Identifying new categories in community question answering archives: a topic modeling approach (YM, CL, JT, LZ), pp. 1673–1676.
ICPRICPR-2010-VillamizarMAS #detection #multi #performance #random
Shared Random Ferns for Efficient Detection of Multiple Categories (MV, FMN, JAC, AS), pp. 388–391.
RERE-2010-Primrose #experience #user interface
User Experience Grading Via Kano Categories (MCP), pp. 331–336.
ICSEICSE-2010-TreudeS10a #lightweight
Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories (CT, MADS), pp. 231–234.
SACSAC-2010-MengleG #mining
Mining temporal relationships among categories (SSRM, NG), pp. 1107–1108.
CSLCSL-2010-CoeckeP #quantum
Environment and Classical Channels in Categorical Quantum Mechanics (BC, SP), pp. 230–244.
ICPCICPC-2009-HindleGGH #automation #maintenance #scalability
Automatic classication of large changes into maintenance categories (AH, DMG, MWG, RCH), pp. 30–39.
RTARTA-2009-DuvalEP #approach #graph transformation
A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
HCIHIMI-II-2009-ShiraishiMT #representation #visual notation
A Tool for Analyzing Categorical Data Visually with Granular Representation (KS, KM, JT), pp. 342–351.
CIKMCIKM-2009-SunLL #case study #classification #performance #predict #what
What makes categories difficult to classify?: a study on predicting classification performance for categories (AS, EPL, YL), pp. 1891–1894.
KDIRKDIR-2009-GabadinhoRSM #sequence #set #visualisation
Summarizing Sets of Categorical Sequences — Selecting and Visualizing Representative Sequences (AG, GR, MS, NSM), pp. 62–69.
KDIRKDIR-2009-SilvestreCF #clustering #modelling
Selecting Categorical Features in Model-based Clustering (CMVS, MMGSC, MATF), pp. 303–306.
SIGIRSIGIR-2009-KapteinKK #ad hoc #using #wiki
Using wikipedia categories for ad hoc search (RK, MK, JK), pp. 824–825.
GTTSEGTTSE-2009-Diskin
Model Synchronization: Mappings, Tiles, and Categories (ZD), pp. 92–165.
ESOPESOP-2009-Reynolds #design #programming language #using
Using Category Theory to Design Programming Languages (JCR), pp. 62–63.
SIGMODSIGMOD-2008-SarkasDKT #streaming
Categorical skylines for streaming data (NS, GD, NK, AKHT), pp. 239–250.
ICALPICALP-B-2008-Katsumata #attribute grammar #semantics
Attribute Grammars and Categorical Semantics (SyK), pp. 271–282.
ICGTICGT-2008-Heindel #morphism
Grammar Morphisms and Weakly Adhesive Categories (TH), pp. 493–495.
ECIRECIR-2008-DemartiniCBN #ranking #web
Ranking Categories for Web Search (GD, PAC, IB, WN), pp. 564–569.
ECIRECIR-2008-LinC #evolution #network #social
Labeling Categories and Relationships in an Evolving Social Network (MSL, HHC), pp. 77–88.
ICMLICML-2008-SeldinT #classification #clustering #multi
Multi-classification by categorical features via clustering (YS, NT), pp. 920–927.
KDDKDD-2008-DasSN #dataset #detection
Anomaly pattern detection in categorical datasets (KD, JGS, DBN), pp. 169–176.
SACSAC-2008-MengleGP #classification #using
Discovering relationships among categories using misclassification information (SSRM, NG, AP), pp. 932–937.
LICSLICS-2008-Staton #logic #semantics
General Structural Operational Semantics through Categorical Logic (SS), pp. 166–177.
MSRMSR-2007-KimE
Prioritizing Warning Categories by Analyzing Software History (SK, MDE), p. 27.
ICALPICALP-2007-HasuoJU
Categorical Views on Computations on Trees (IH, BJ, TU), pp. 619–630.
CIKMCIKM-2007-YuTT #evaluation #ontology #using #wiki
Ontology evaluation using wikipedia categories for browsing (JY, JAT, AMT), pp. 223–232.
KDDKDD-2007-DasS #dataset #detection
Detecting anomalous records in categorical datasets (KD, JGS), pp. 220–229.
MLDMMLDM-2007-GrimH #analysis #clustering
Minimum Information Loss Cluster Analysis for Categorical Data (JG, JH), pp. 233–247.
SIGIRSIGIR-2007-StaffB #automation #classification #web
Automatic classification of web pages into bookmark categories (CS, IB), pp. 731–732.
LICSLICS-2007-HarmerHM #combinator
Categorical Combinatorics for Innocent Strategies (RH, MH, PAM), pp. 379–388.
JCDLJCDL-2006-KulesKS #categorisation #using #web
Categorizing web search results into meaningful and stable categories using fast-feature techniques (BK, JK, BS), pp. 210–219.
ICGTICGT-2006-CorradiniHHK
Sesqui-Pushout Rewriting (AC, TH, FH, BK), pp. 30–45.
ICGTICGT-2006-EhrigOP #distributed #graph transformation
Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
SACSAC-2006-NemalhabibS #algorithm #clustering #dataset #named
CLUC: a natural clustering algorithm for categorical datasets based on cohesion (AN, NS), pp. 637–638.
IJCARIJCAR-2006-KozenKR #automation #proving
Automating Proofs in Category Theory (DK, CK, ER), pp. 392–407.
CHICHI-2005-Kaki #documentation #named #ranking
Findex: search result categories help users when document ranking fails (MK), pp. 131–140.
KDDKDD-2005-ZakiPAS #algorithm #clustering #dataset #effectiveness #mining #named
CLICKS: an effective algorithm for mining subspace clusters in categorical datasets (MJZ, MP, IA, TS), pp. 736–742.
MLDMMLDM-2005-Boulle #scalability
A Grouping Method for Categorical Attributes Having Very Large Number of Values (MB), pp. 228–242.
LICSLICS-2005-LamarcheS
Constructing Free Boolean Categories (FL, LS), pp. 209–218.
ICALPICALP-2004-HaghverdiS #geometry #interactive
A Categorical Model for the Geometry of Interaction (EH, PJS), pp. 708–720.
ICGTICGT-2004-EhrigHPP
Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.
CHICHI-2004-SchianoES #imperative
Categorical imperative NOT: facial affect is perceived continuously (DJS, SME, KS), pp. 49–56.
CIKMCIKM-2004-HuangOM #clustering #difference
Compression schemes for differential categorical stream clustering (WH, EO, LM), pp. 232–233.
ICMLICML-2004-LiMO #clustering
Entropy-based criterion in categorical clustering (TL, SM, MO).
ICPRICPR-v4-2004-HottaKM #nearest neighbour #pattern matching #pattern recognition #recognition #using
Pattern Recognition Using Average Patterns of Categorical k-Nearest Neighbors (SH, SK, SM), pp. 412–415.
KDDKDD-2004-ZhangZK #approach #data mining #image #mining #modelling
A data mining approach to modeling relationships among categories in image collection (RZ, Z(Z, SK), pp. 749–754.
SACSAC-2004-LimaLS #combinator #haskell #multi
A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.
FoSSaCSFoSSaCS-2004-GianantonioM #recursion
Unifying Recursive and Co-recursive Definitions in Sheaf Categories (PDG, MM), pp. 136–150.
FoSSaCSFoSSaCS-2004-LackS
Adhesive Categories (SL, PS), pp. 273–288.
LICSLICS-2004-AbramskyC #protocol #quantum #semantics
A Categorical Semantics of Quantum Protocols (SA, BC), pp. 415–425.
ICALPICALP-2003-ChattopadhyayT #commutative
Locally Commutative Categories (AC, DT), pp. 984–995.
ICALPICALP-2003-Doberkat #bisimulation #probability
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations (EED), pp. 996–1007.
TLCATLCA-2003-KakutaniH #fixpoint
Parameterizations and Fixed-Point Operators on Control Categories (YK, MH), pp. 180–194.
FoSSaCSFoSSaCS-2003-AbbottAG
Categories of Containers (MA, TA, NG), pp. 23–38.
CIKMCIKM-2002-BarbaraLC #algorithm #clustering #named
COOLCAT: an entropy-based algorithm for categorical clustering (DB, YL, JC), pp. 582–589.
CIKMCIKM-2002-LiuYM #personalisation #query #web
Personalized web search by mapping user queries to categories (FL, CTY, WM), pp. 558–565.
ICPRICPR-v2-2002-OjalaAM #empirical #evaluation #image #retrieval #semantics
Empirical Evaluation of MPEG-7 XM Color Descriptors in Content-Based Retrieval of Semantic Image Categories (TO, MA, EM), pp. 1021–1024.
ICPRICPR-v3-2002-GreenspanGG #generative #image #modelling #probability
Probabilistic Models for Generating, Modelling and Matching Image Categories (HG, SG, JG), pp. 970–973.
KDDKDD-2002-UedaS #detection #modelling #multi #parametricity #using
Single-shot detection of multiple categories of text using parametric mixture models (NU, KS), pp. 626–631.
FoSSaCSFoSSaCS-2002-Santocanale #calculus #proving #semantics
A Calculus of Circular Proofs and Its Categorical Semantics (LS), pp. 357–371.
TLCATLCA-2001-Haghverdi #linear #logic #modelling
Partially Additive Categories and Fully Complete Models of Linear Logic (EH), pp. 197–216.
TLCATLCA-2001-Selinger #semantics
Categorical Semantics of Control (PS), pp. 6–7.
FLOPSFLOPS-J2-1998-Sakurai01 #proving
Categorical Model Construction for Proving Syntactic Properties (TS), pp. 213–244.
ICEISICEIS-v2-2001-JohnsonD #enterprise #information management #modelling #specification #using
Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory (MJ, CNGD), pp. 619–626.
KDDKDD-2001-BeygelzimerPM #dataset #performance #scalability #visualisation
Fast ordering of large categorical datasets for better visualization (AB, CSP, SM), pp. 239–244.
FoSSaCSFoSSaCS-2001-KrsticLP #algebra #process
Categories of Processes Enriched in Final Coalgebras (SK, JL, DP), pp. 303–317.
CSLCSL-2001-AlechinaMPR #logic #semantics
Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.
CSLCSL-2001-Rosu #deduction #equation
Complete Categorical Equational Deduction (GR), pp. 528–538.
DL-2000-ShneidermanFRG #library #visualisation
Visualizing digital library search results with categorical and hierarchical axes (BS, DF, AR, XFG), pp. 57–66.
TPDLECDL-2000-Hill
Core Elements of Digital Gazetteers: Placenames, Categories, and Footprints (LLH), pp. 280–290.
CIKMCIKM-2000-Zaki #constraints #mining #sequence
Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
FoSSaCSFoSSaCS-2000-MaiettiPR #linear #modelling #type system
Categorical Models for Intuitionistic and Linear Type Theory (MEM, VdP, ER), pp. 223–237.
LICSLICS-2000-SimpsonP #axiom #fixpoint
Complete Axioms for Categorical Fixed-Point Operators (AKS, GDP), pp. 30–41.
CIKMCIKM-1999-LabrouF #documentation #exclamation #ontology #using
Yahoo! As an Ontology: Using Yahoo! Categories to Describe Documents (YL, TWF), pp. 180–187.
KDDKDD-1999-BayP #data mining #detection #mining #set
Detecting Change in Categorical Data: Mining Contrast Sets (SDB, MJP), pp. 302–306.
KDDKDD-1999-GantiGR #clustering #named #summary #using
CACTUS — Clustering Categorical Data Using Summaries (VG, JG, RR), pp. 73–83.
ASEASE-1999-WilliamsonH #industrial #synthesis
Industrial Applications of Software Synthesis via Category Theory (KEW, MH), pp. 35–43.
FoSSaCSFoSSaCS-1999-GhaniPR #modelling
Categorical Models of Explicit Substitutions (NG, VdP, ER), pp. 197–211.
LICSLICS-1999-BruniM #π-calculus
Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus (RB, UM), pp. 246–265.
LICSLICS-1999-Simpson #axiom
Elementary Axioms for Categories of Classes (AKS), pp. 77–85.
VLDBVLDB-1998-GibsonKR #approach #clustering
Clustering Categorical Data: An Approach Based on Dynamical Systems (DG, JMK, PR), pp. 311–322.
VLDBVLDB-1998-MorimotoFMTY #algorithm #database #mining
Algorithms for Mining Association Rules for Binary Segmentations of Huge Categorical Databases (YM, TF, HM, TT, KY), pp. 380–391.
ICGTTAGT-1998-LlabresR #algebra
Pushout Complements for Arbitrary Partial Algebras (ML, FR), pp. 131–144.
ASEASE-1998-WielsE #evolution #specification #using
Management of Evolving Specifications using Category Theory (VW, SME), pp. 12–21.
FoSSaCSFoSSaCS-1998-Moggi
Functor Categories and Two-Level Languages (EM), pp. 211–225.
LICSLICS-1998-BirkedalCRS #type system
Type Theory via Exact Categories (LB, AC, GR, DSS), pp. 188–198.
LICSLICS-1998-JohnstonePTWW #algebra #axiom
An Axiomatics for Categories of Transition Systems as Coalgebras (PJ, JP, TT, HW, JW), pp. 207–213.
TLCATLCA-1997-Brauner
A Simple Adequate Categorical Model for PCF (TB), pp. 82–98.
TLCATLCA-1997-Hasegawa #modelling #recursion #λ-calculus
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic λ Calculi (MH), pp. 196–213.
ICGTGG-Handbook-Vol1-CorradiniMREHL #algebra #approach #concept #graph transformation
Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
ICGTGG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #comparison #graph transformation
Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
CSLCSL-1997-Power #algebra
Categories with Algebraic Structure (AJP), pp. 389–405.
FMFME-1996-SeguinW #approach #fault tolerance #logic #using #validation
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems (CS, VW), pp. 347–366.
WRLARWLW-1996-Miyoshi #logic #modelling
Modelling conditional rewriting logic in structured categories (HM), pp. 20–34.
LICSLICS-1996-Ong #proving #semantics
A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (CHLO), pp. 230–241.
RTARTA-1995-Gehrke #concept #monad #problem
Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad (WG), pp. 210–224.
TLCATLCA-1995-Bierman #linear #logic #question #what
What is a Categorical Model of Intuitionistic Linear Logic? (GMB), pp. 78–93.
TLCATLCA-1995-PravatoRR #call-by #semantics #λ-calculus
Categorical semantics of the call-by-value λ-calculus (AP, SRDR, LR), pp. 381–396.
TLCATLCA-1995-Simpson #λ-calculus
Categorical completeness results for the simply-typed λ-calculus (AKS), pp. 414–427.
POPLPOPL-1995-Reynolds #using
Using Functor Categories to Generate Intermediate Code (JCR), pp. 25–36.
ICGTTAGT-1994-CorradiniELMP #graph grammar
The Category of Typed Graph Grammars and its Adjunctions with Categories (AC, HE, ML, UM, JP), pp. 56–74.
ICMLICML-1994-Quinlan
The Minimum Description Length Principle and Categorical Theories (JRQ), pp. 233–241.
KRKR-1994-GuarinoCG #ontology
An Ontology of Meta-Level Categories (NG, MC, PG), pp. 270–280.
LICSLICS-1994-BrownH #design
Categories, Allegories and Circuit Design (CB, GH), pp. 372–381.
ICALPICALP-1993-BrownG #logic #petri net
Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.
ICALPICALP-1992-BrownG #petri net
Timing Petri Nets Categorically (CB, DG), pp. 571–582.
TAPSOFTCAAP-1991-Broek #algebra #graph grammar #using
Algebraic Graph Rewriting Using a Single Pushout (PMvdB), pp. 90–102.
STOCSTOC-1991-Shapiro #concurrent
Separating Concurrent Languages with Categories of Language Embeddings (EYS), pp. 198–208.
ICGTGG-1990-Barthelmann #graph grammar
Describing Göttler’s Operational Graph Grammars with Pushouts (KB), pp. 98–112.
ICGTGG-1990-EhrigKL #algebra #approach #graph grammar #tutorial
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.
ICGTGG-1990-Kennaway #graph grammar #morphism
Graph Rewriting in Some Categories of Partial Morphisms (RK), pp. 490–504.
PPDPALP-1990-Bellegarde #formal method #process
A Matching Process Modulo a Theory of Categorical Products (FB), pp. 270–282.
CADECADE-1990-AltucherP #proving
A Mechanically Assisted Constructive Proof in Category Theory (JAA, PP), pp. 500–513.
LICSLICS-1990-BrownG #framework #linear #petri net
A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.
ICMLML-1988-Spackman #learning
Learning Categorical Decision Criteria in Biomedical Domains (KAS), pp. 36–46.
LICSLICS-1988-Coquand
Categories of Embeddings (TC), pp. 256–263.
LICSLICS-1988-Ehrhard #semantics
A Categorical Semantics of Constructions (TE), pp. 264–273.
FPCAFPCA-1987-Lins #combinator #multi
Categorical multi-combinators (RDL), pp. 60–79.
CSLCSL-1987-GermanoM #diagrams
Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration (GG, SM), pp. 64–80.
LISPLFP-1986-MaunyS #automaton #functional #implementation
Implementing Functional Languages in the Categorical Abstract Machine (MM, AS), pp. 266–278.
ICALPICALP-1985-Curien #combinator #logic
Categorical Combinatory Logic (PLC), pp. 130–139.
FPCAFPCA-1985-CousineauCM85 #automaton
The Categorical Abstract Machine (GC, PLC, MM), pp. 50–64.
ICALPICALP-1980-Smyth
Computability in Categories (MBS), pp. 609–620.
CCSDCG-1980-Reynolds #design #using
Using category theory to design implicit conversions and generic operators (JCR), pp. 211–258.

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.