|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1348 occurrences of 787 keywords
|
|
|
Results
Found 4746 publication records. Showing 4746 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Keke Chen, Ling Liu 0001 |
"Best K": critical clustering structures in categorical datasets. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Categorical data clustering, Entropy, Cluster validation |
88 | Antonio R. Garzón, A. del Río |
Equivariant Extensions of Categorical Groups. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
monoidal groupoid, graded categorical group, equivariant cohomology, groups with operators, obstruction, extensions |
88 | Pilar Carrasco, Antonio R. Garzón |
Obstruction Theory for Extensions of Categorical Groups. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
categorical group, abstract kernel, obstruction, extension, cohomology |
81 | Anirban Mukhopadhyay 0001, Ujjwal Maulik |
Multiobjective approach to categorical data clustering. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Nikos Sarkas, Gautam Das 0001, Nick Koudas, Anthony K. H. Tung |
Categorical skylines for streaming data. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
data stream, categorical, partial order, skyline |
65 | Pilar Carrasco, Juan Martínez-Moreno |
Simplicial Cohomology with Coefficients in Symmetric Categorical Groups. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
categorical groups, simplicial set, nerve, homotopy classes, cohomology |
63 | Si Quang Le, Tu Bao Ho |
A Conditional Probability Distribution-Based Dissimilarity Measure for Categorial Data. |
PAKDD |
2004 |
DBLP DOI BibTeX RDF |
hypothesis testing, conditional probability, categorical data, Dissimilarity measures |
59 | Keke Chen, Ling Liu 0001 |
HE-Tree: a framework for detecting changes in clustering structure for categorical data streams. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Categorical data clustering, Change detection, Data stream mining |
59 | Eman Abdu, Douglas Salane |
A spectral-based clustering algorithm for categorical data using data summaries. |
KDD Workshop on Data Mining using Matrices and Tensors |
2009 |
DBLP DOI BibTeX RDF |
spectral algorithms, categorical data |
59 | Fabian Bendix, Robert Kosara, Helwig Hauser |
Parallel Sets: Visual Analysis of Categorical Data. |
INFOVIS |
2005 |
DBLP DOI BibTeX RDF |
meta information, interaction, categorical data |
58 | Sara Johansson 0001 |
Visual exploration of categorical and mixed data sets. |
KDD Workshop on Visual Analytics and Knowledge Discovery |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Manuel Bodirsky |
The Core of a Countably Categorical Structure. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Antonio Martínez Cegarra, Antonio R. Garzón |
Homotopy Classification of Categorical Torsors. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
categorical group, small category, torsor, classifying space, homotopy classes |
55 | Heesoo Kim, Shaowen Bao |
Distributed representation of perceptual categories in the auditory cortex. |
J. Comput. Neurosci. |
2008 |
DBLP DOI BibTeX RDF |
Categorical perception, Sensory cortex, Learning |
55 | A. Monadi, Louis D. Nel |
Holomorphy in convergence spaces. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
Infinite dimensional holomorphy, closed-embedded linear convergence spaces, categorical methods, categorical differentiation theory, analyte |
51 | James D. McCaffrey |
An Empirical Study of Categorical Dataset Visualization Using a Simulated Bee Colony Clustering Algorithm. |
ISVC (1) |
2009 |
DBLP DOI BibTeX RDF |
category utility, simulated bee colony algorithm, cluster analysis, data visualization, Categorical data |
51 | Qingquan Wang, Lili Rong, Kai Yu |
Towards a Categorical Matching Method to Process High-Dimensional Emergency Knowledge Structures. |
ISNN (2) |
2008 |
DBLP DOI BibTeX RDF |
Matching Method, Categorical Knowledge Structure, Category Theory, semantic information, High-dimensions |
51 | Zhiyong Shen, Jun Sun, Yi-Dong Shen, Ming Li |
R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets. |
PAKDD |
2008 |
DBLP DOI BibTeX RDF |
Clustering, Data mapping, Categorical data |
51 | Daniele Micci-Barreca |
A Preprocessing Scheme for High-Cardinality Categorical Attributes in Classification and Prediction Problems. |
SIGKDD Explor. |
2001 |
DBLP DOI BibTeX RDF |
categorical attributes, hierarchical attributes, neural networks, predictive models, empirical bayes |
50 | Dino Ienco, Ruggero G. Pensa, Rosa Meo |
Context-Based Distance Learning for Categorical Data Clustering. |
IDA |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Sangkyum Kim, Jaebum Kim, Younhee Ko, Seung-won Hwang, Jiawei Han 0001 |
PerRank: Personalized Rank Retrieval with Categorical and Numerical Attributes. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Katsuhiro Honda, Ryo Uesugi, Hidetomo Ichihashi, Akira Notsu |
Linear Fuzzy Clustering of Mixed Databases Based on Cluster-wise Optimal Scaling of Categorical Variables. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Chung-Chian Hsu |
Generalizing self-organizing map for categorical data. |
IEEE Trans. Neural Networks |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Periklis Andritsos, Panayiotis Tsaparas, Renée J. Miller, Kenneth C. Sevcik |
LIMBO: Scalable Clustering of Categorical Data. |
EDBT |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Isar Stubbe |
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
quantaloid, ordered sheaf, enriched categorical structure, Cauchycompletion, locale, quantale |
49 | Julia Padberg |
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42 |
49 | Hartmut Ehrig, Michael Löwe |
Categorical principles, techniques and results for high-level-replacement systems in computer science. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
Formal languages/grammars, special categories, formal systems |
43 | Kousuke Shiraishi, Kazuo Misue, Jiro Tanaka |
A Tool for Analyzing Categorical Data Visually with Granular Representation. |
HCI (9) |
2009 |
DBLP DOI BibTeX RDF |
multi-dimensional analysis, visualization, categorical data |
43 | Jeong-Hoon Lee, Yoon-Joon Lee, Minho Park |
Clustering with Domain Value Dissimilarity for Categorical Data. |
ICDM |
2009 |
DBLP DOI BibTeX RDF |
Domain Value, Data Mining, Clustering, Similarity, Categorical Data, Co-occurrence, Dissimilarity |
43 | Guofeng Cao, Phaedon C. Kyriakidis, Michael F. Goodchild |
Prediction and simulation in categorical fields: a transition probability combination approach. |
GIS |
2009 |
DBLP DOI BibTeX RDF |
tau model, categorical data, conditional independence |
43 | Hee-Jung Do, Jae-Yearn Kim |
Categorical Data Clustering Using the Combinations of Attribute Values. |
ICCSA (2) |
2008 |
DBLP DOI BibTeX RDF |
Categorical clustering, Attribute value sets, Data mining |
43 | Eréndira Rendón, J. Salvador Sánchez 0001, René Arnulfo García-Hernández, Itzel Abundez Barrera, Citlalih Gutierrez Estrada, Eduardo Gasca |
Data Reduction Method for Categorical Data Clustering. |
IBERAMIA |
2008 |
DBLP DOI BibTeX RDF |
Categorical Attributes, K-modes Clustering Algorithm, Reduced database |
43 | Zhihua Cai, Dianhong Wang, Liangxiao Jiang |
K-Distributions: A New Algorithm for Clustering Categorical Data. |
ICIC (2) |
2007 |
DBLP DOI BibTeX RDF |
K-modes, categorical data sets, log likelihood, clustering, K-means, K-distributions |
43 | Barry Boots, Ferko Csillag |
Categorical maps, comparisons, and confidence. |
J. Geogr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Categorical maps, Map comparison, Inference, Stochastic processes, Change detection, Spatial pattern, Accuracy assessment |
43 | Jianyong Wang 0001, George Karypis |
On efficiently summarizing categorical databases. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Categorical database, Data mining, Clustering, Frequent itemset |
43 | Robert Kosara, Fabian Bendix, Helwig Hauser |
Parallel Sets: Interactive Exploration and Visual Analysis of Categorical Data. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
nominal data, interaction, Information visualization, categorical data, multivariate data |
43 | Hung-Leng Chen, Kun-Ta Chuang, Ming-Syan Chen |
Labeling Unclustered Categorical Data into Clusters Based on the Important Attribute Values. |
ICDM |
2005 |
DBLP DOI BibTeX RDF |
categorical clustering, data mining, data labeling |
43 | Vicenç Torra |
Microaggregation for Categorical Variables: A Median Based Approach. |
Privacy in Statistical Databases |
2004 |
DBLP DOI BibTeX RDF |
Masking methods, Clustering, Privacy preserving data mining, Data protection, Categorical data, Microaggregation |
43 | Nguyen Thi Minh Hai, Susumu Horiguchi |
Performances of Parallel Clustering Algorithm for Categorical and Mixed Data. |
PDCAT |
2004 |
DBLP DOI BibTeX RDF |
clustering, parallel algorithm, very large databases, categorical data, mixed data |
42 | Sankaranarayanan Ananthakrishnan, Shrikanth S. Narayanan |
Unsupervised Adaptation of Categorical Prosody Models for Prosody Labeling and Speech Recognition. |
IEEE Trans. Speech Audio Process. |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Sara Johansson 0001, Mikael Jern, Jimmy Johansson 0001 |
Interactive Quantification of Categorical Variables in Mixed Data Sets. |
IV |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Bill Andreopoulos, Aijun An, Xiaogang Wang 0007 |
Hierarchical Density-Based Clustering of Categorical Data and a Simplification. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Julia Couto 0001 |
Kernel K-Means for Categorical Data. |
IDA |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Diane J. Schiano, Sheryl M. Ehrlich, Kyle Sheridan |
Categorical imperative NOT: facial affect is perceived continuously. |
CHI |
2004 |
DBLP DOI BibTeX RDF |
facial affect, facial expression of emotion, naturalistic computing, emotion, affective computing, avatars, video compression, affect, face, nonverbal communication, VMC |
42 | Christopher R. Palmer, Christos Faloutsos |
Electricity Based External Similarity of Categorical Attributes. |
PAKDD |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter |
Relating Categorical Semantics for Intuitionistic Linear Logic. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus |
41 | Julia Padberg |
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations |
40 | Gabriela Moise, Jörg Sander 0001, Martin Ester |
Robust projected clustering. |
Knowl. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Clustering numerical and categorical data, Subspace clustering, Projected clustering |
40 | Michael K. Ng 0001, Mark Junjie Li, Joshua Zhexue Huang, Zengyou He |
On the Impact of Dissimilarity Measure in k-Modes Clustering Algorithm. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
k-modes algorithm, Data mining, clustering, categorical data |
39 | Aïda Valls, Cristina Gómez-Alonso, Vicenç Torra |
Generation of Prototypes for Masking Sequences of Events. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Manuel Bodirsky, Martin Grohe |
Non-dichotomies in Constraint Satisfaction Complexity. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu |
Computable Categoricity of Graphs with Finite Components. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Tiziana Ligorio, Susan L. Epstein |
Partial Redundant Modeling. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001 |
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints |
39 | Louis D. Nel |
Differential calculus founded on an isomorphism. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
Categorical methods, differential calculus, differentiation theory, foundational isomorphism |
37 | Ralf Schweimeier |
A categorical framework for typing CCS-style process communication. |
Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Kazuyo Narita, Hiroyuki Kitagawa |
Detecting Outliers in Categorical Record Databases Based on Attribute Associations. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
categorical record data, association rules, outlier detection |
36 | Shu Wu, Qingshan Jiang, Joshua Zhexue Huang |
A New Initialization Method for Clustering Categorical Data. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
Categorical attribute, Initialization method, Data mining, Cluster analysis, Partitional clustering |
36 | Aida Nemalhabib, Nematollaah Shiri |
CLUC: a natural clustering algorithm for categorical datasets based on cohesion. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
clustering, scalability, similarity, categorical data |
36 | Radu Sion, Mikhail J. Atallah, Sunil Prabhakar |
Rights Protection for Categorical Data. |
IEEE Trans. Knowl. Data Eng. |
2005 |
DBLP DOI BibTeX RDF |
Rights protection, watermarking, information hiding, categorical data, relational data |
36 | Mohammed Javeed Zaki, Markus Peters, Ira Assent, Thomas Seidl 0001 |
CLICKS: an effective algorithm for mining subspace clusters in categorical datasets. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
k-partite graph, data mining, clustering, categorical data, maximal cliques |
36 | Guojun Gan, Jianhong Wu |
Subspace clustering for high dimensional categorical data. |
SIGKDD Explor. |
2004 |
DBLP DOI BibTeX RDF |
clustering, subspace clustering, categorical data |
36 | Weiyun Huang, Edward Omiecinski, Leo Mark |
Compression schemes for differential categorical stream clustering. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
compression schemes, stream, categorical, differential |
36 | Ben Shneiderman, David Feldman, Anne Rose, Xavier Ferré Grau |
Visualizing digital library search results with categorical and hierarchical axes. |
ACM DL |
2000 |
DBLP DOI BibTeX RDF |
categorical axes, hieraxes, information visualization, digital libraries, graphical user interfaces, hierarchy |
34 | Amir Ahmad, Gavin Brown 0001 |
Random Ordinality Ensembles A Novel Ensemble Method for Multi-valued Categorical Data. |
MCS |
2009 |
DBLP DOI BibTeX RDF |
Random Ordinality, Binary splits, Multi-way splits, Decision trees, Data fragmentation |
34 | Alexander G. Melnikov |
0"-Categorical Completely Decomposable Torsion-Free Abelian Groups. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
torsion-free abelian groups, computable categoricity, Computable model theory |
34 | Qingquan Wang, Lili Rong, Kai Yu |
Visual Knowledge Reasoning on Typed Categorical Structure. |
FSKD (4) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Anirban Mukhopadhyay 0001, Ujjwal Maulik, Sanghamitra Bandyopadhyay |
Multiobjective Genetic Fuzzy Clustering of Categorical Attributes. |
ICIT |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Yuni Xia, Bowei Xi |
Conceptual Clustering Categorical Data with Uncertainty. |
ICTAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Grigore Rosu |
Complete Categorical Deduction for Satisfaction as Injectivity. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Seung-won Hwang |
Optimizing Ranked Retrieval over Categorical Attributes. |
CBMS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Si Quang Le, Tu Bao Ho, Le Sy Vinh |
Association-Based Dissimilarity Measures for Categorical Data: Limitation and Improvement. |
PAKDD |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Stephen E. Fienberg, Aleksandra B. Slavkovic |
Preserving the Confidentiality of Categorical Statistical Data Bases When Releasing Information for Association Rules. |
Data Min. Knowl. Discov. |
2005 |
DBLP DOI BibTeX RDF |
conditional tables, marginal tables, association rules, privacy preservation, contingency tables, algebraic geometry, disclosure limitation |
34 | Amir Ahmad, Lipika Dey |
Algorithm for Fuzzy Clustering of Mixed Data with Numeric and Categorical Attributes. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Rodrigo C. Vieira, Paulo Blauth Menezes |
Computational Simulation of Categorical Constructions. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Dean S. Hoskins, Charles J. Colbourn, Douglas C. Montgomery |
Software performance testing using covering arrays: efficient screening designs with categorical factors. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
D-optimal designs, performance testing, covering arrays |
34 | Ning Chen, Nuno C. Marques |
An Extension of Self-organizing Maps to Categorical Data. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Shih-Hsiang Lo, Jian Chih Ou, Ming-Syan Chen |
Inference Based Classifier: Efficient Construction of Decision Trees for Sparse Categorical Attributes. |
DaWaK |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes |
A Categorical Approach to NP-Hard Optimization Problems. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Daniel Barbará, Yi Li, Julia Couto 0001 |
COOLCAT: an entropy-based algorithm for categorical clustering. |
CIKM |
2002 |
DBLP DOI BibTeX RDF |
clustering, data streams, entropy |
34 | Tadeusz Morzy, Marek Wojciechowski 0001, Maciej Zakrzewicz |
Scalable Hierarchical Clustering Method for Sequences of Categorical Values. |
PAKDD |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Takashi Okada |
A Note on Covariances for Categorical Data. |
IDEAL |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Wing-Kai Hon, Ton Kloks, Ching-Hao Liu, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang |
Results on Independent Sets in Categorical Products of Graphs, the Ultimate Categorical Independence Ratio and the Ultimate Categorical Independent Domination Ratio. |
WALCOM |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang |
Results on independent sets in categorical products of graphs, the ultimate categorical independence ratio and the ultimate categorical independent domination ratio. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
33 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics |
33 | Ross Street |
Categorical and Combinatorial Aspects of Descent Theory. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
n-category, weak n-category, descent, factorization system, computad, parity complex, torsor, stack, cohomology |
33 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Algebraizable Institutions. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples |
33 | Jirí Velebil |
Categorical Generalization of a Universal Domain. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
Scott domain, Scott complete category, universal domain |
33 | Horst Herrlich, Miroslav Husek |
Some open categorical problems in Top. |
Appl. Categorical Struct. |
1993 |
DBLP DOI BibTeX RDF |
(Almost) reflective subcategories, simple subcategories, orthogonal and implicational subcategories, injectivity- and projectivity-classes, limit-closed subcategories, algebraic constructs, cartesian-closedness, convenient hulls, realizations of constructs, normal functors |
32 | Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas |
Clustering aggregation. |
ACM Trans. Knowl. Discov. Data |
2007 |
DBLP DOI BibTeX RDF |
clustering aggregation, clustering categorical data, Data clustering, correlation clustering |
32 | Furio Honsell, Marina Lenisa |
"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
(linear) graph model, traced monoidal category, weak linear category, categorical geometry of interaction |
32 | Yu Zhang, David Nowak |
Logical Relations for Dynamic Name Creation. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi |
32 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics |
32 | Kalyani Mali, Sushmita Mitra |
Clustering of Symbolic Data and Its Validation. |
AFSS |
2002 |
DBLP DOI BibTeX RDF |
Categorical clustering, symbolic processing, data mining, validation |
32 | Andrea Corradini 0001, Andrea Asperti |
A Categorial Model for Logic Programs: Indexed Monoidal Categories. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
Categorical Logic, Structured Transition Systems, Logic Programming, Category Theory, Model Theory |
32 | Rafael Dueire Lins |
A New Formula for the Execution of Categorial Combinators. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
Categorical Combinators, complexity, functional programming, lambda calculus |
31 | Patrick Letrémy, Marie Cottrell, Eric Esposito, Valérie Laffite, Sally Showk |
Consumer Profile Identification and Allocation. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
non-ordered Polychotomous Logit Model, Profiles, Logistic regression, Kohonen Maps |
31 | Daniel A. Keim, Ming C. Hao, Umeshwar Dayal |
Hierarchical Pixel Bar Charts. |
IEEE Trans. Vis. Comput. Graph. |
2002 |
DBLP DOI BibTeX RDF |
multidimensional data visualization, visual data exploration and data mining, very large multiattributes data sets, hierarchical visualization, Information visualization |
30 | George Voutsadakis |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples |
30 | Hans-E. Porst |
Fundamental Constructions for Coalgebras, Corings, and Comodules. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 16W30, Secondary 18C05 |
Displaying result #1 - #100 of 4746 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|