Search results for "categorical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Stephen E. Fienberg, William J. Fulp, Aleksandra B. Slavkovic, Tracey A. Wrobel	"Secure" Log-Linear and Logistic Regression Analysis of Distributed Databases.	Privacy in Statistical Databases	2006	DBLP DOI BibTeX RDF
15	Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas	Clustering Aggregation.	ICDE	2005	DBLP DOI BibTeX RDF
15	Hans Jürgen Schneider	Changing Labels in the Double-Pushout Approach Can Be Treated Categorically.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
15	Claudio Ratke, Dalton Francisco de Andrade	Using Gain Ratio Distance (GRD) to induce clustering.	ISDA	2005	DBLP DOI BibTeX RDF
15	Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes	Computation of Partial Automata Through Span Composition.	EUROCAST	2005	DBLP DOI BibTeX RDF
15	Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes	Approximation Problems Categories.	EUROCAST	2005	DBLP DOI BibTeX RDF
15	Jim Laird	A Game Semantics of the Asynchronous pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
15	Zi-Yang Chen, Guo-hua Liu	Quantitative Association Rules Mining Methods with Privacy-preserving.	PDCAT	2005	DBLP DOI BibTeX RDF
15	Bin He 0001, Tao Tao, Kevin Chen-Chuan Chang	Organizing structured web sources by query schemas: a clustering approach.	CIKM	2004	DBLP DOI BibTeX RDF	data integration, deep Web, hierarchical agglomerative clustering
15	Jianyong Wang 0001, George Karypis	SUMMARY: Efficiently Summarizing Transactions for Clustering.	ICDM	2004	DBLP DOI BibTeX RDF
15	Marius C. Bujorianu, Eerke A. Boiten	Towards Correspondence Carrying Specifications.	AMAST	2004	DBLP DOI BibTeX RDF	UML, Z, viewpoints, LOTOS, category theory, partial specification
15	Shin-ya Katsumata	A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.	ICALP	2004	DBLP DOI BibTeX RDF
15	James Laird	A Calculus of Coroutines.	ICALP	2004	DBLP DOI BibTeX RDF
15	Yue-Shi Lee, Show-Jane Yen	Classification Based on Attribute Dependency.	DaWaK	2004	DBLP DOI BibTeX RDF
15	Robert Gilmore Pontius Jr., Nicholas R. Malizia	Effect of Category Aggregation on Map Comparison.	GIScience	2004	DBLP DOI BibTeX RDF
15	Yu Liu 0035, Zheng Qin, Zhewen Shi, Junying Chen	Rule Discovery with Particle Swarm Optimization.	AWCC	2004	DBLP DOI BibTeX RDF
15	Jie Li 0001, Xinbo Gao 0001, Licheng Jiao	A New Cluster Validity Function Based on the Modified Partition Fuzzy Degree.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
15	Ulrich Schöpp, Ian Stark	A Dependent Type Theory with Names and Binding.	CSL	2004	DBLP DOI BibTeX RDF
15	Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange	Adhesive High-Level Replacement Categories and Systems.	ICGT	2004	DBLP DOI BibTeX RDF
15	Guy Lebanon, John D. Lafferty	Hyperplane margin classifiers on the multinomial manifold.	ICML	2004	DBLP DOI BibTeX RDF
15	Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello	Modular System Development with Pullbacks.	ICATPN	2003	DBLP DOI BibTeX RDF
15	Olivier Laurent 0001, Laurent Regnier	About Translations of Classical Logic into Polarized Linear Logic.	LICS	2003	DBLP DOI BibTeX RDF
15	Michael Grimsley, Anthony Meehan 0001	Dynamic Inference of Perceptual Categories in Negotiating Agents.	IAT	2003	DBLP DOI BibTeX RDF
15	Devdatt P. Dubhashi, Luigi Laura, Alessandro Panconesi	Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models: Extended Abstract.	FSTTCS	2003	DBLP DOI BibTeX RDF
15	Sheng Ma, Joseph L. Hellerstein, Chang-Shing Perng, Genady Grabarnik	Progressive and Interactive Analysis of Event Data Using Event Miner.	ICDM	2002	DBLP DOI BibTeX RDF
15	Josep Domingo-Ferrer, Vicenç Torra	Validating Distance-Based Record Linkage with Probabilistic Record Linkage.	CCIA	2002	DBLP DOI BibTeX RDF
15	Shawn D. Newsam, Baris Sumengen, B. S. Manjunath	Category-based image retrieval.	ICIP (3)	2001	DBLP DOI BibTeX RDF
15	Gianluca Amato, James Lipton	Indexed Categories and Bottom-Up Semantics of Logic Programs.	LPAR	2001	DBLP DOI BibTeX RDF
15	Tom Chiu, DongPing Fang 0001, John Chen, Yao Wang, Christopher Jeris	A robust and scalable clustering algorithm for mixed type attributes in large database environment.	KDD	2001	DBLP DOI BibTeX RDF	Mixed type of attributes, log-likelihood, clustering, noisy data, number of clusters
15	Joshua Zhexue Huang, Michael K. Ng 0001, Wai-Ki Ching, Joe Ng, David Wai-Lok Cheung	A Cube Model and Cluster Analysis for Web Access Sessions.	WEBKDD	2001	DBLP DOI BibTeX RDF
15	Bon K. Sy, Arjun K. Gupta	Data Mining Approach Based on Information-Statistical Analysis: Application to Temporal-Spatial Data.	MLDM	2001	DBLP DOI BibTeX RDF
15	Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani	Optimization Problems Categories.	EUROCAST	2001	DBLP DOI BibTeX RDF
15	Tolga Aydin, H. Altay Güvenir	An Eager Regression Method Based on Best Feature Projections.	IEA/AIE	2001	DBLP DOI BibTeX RDF	Feature Projection, Prediction, Regression
15	Jean-Yves Girard 0001	Locus Solum: From the Rules of Logic to the Logic of Rules.	CSL	2001	DBLP DOI BibTeX RDF
15	Haixun Wang, Carlo Zaniolo	CMP: A Fast Decision Tree Classifier Using Multivariate Predictions.	ICDE	2000	DBLP DOI BibTeX RDF
15	Mia Indrika	Logical Relations in Circuit Verification.	ASIAN	1999	DBLP DOI BibTeX RDF
15	Pietro Cenciarelli	An Algebraic View of Program Composition.	AMAST	1998	DBLP DOI BibTeX RDF
15	Jean Goubault-Larrecq	Conjunctive Types and SKInT.	TYPES	1998	DBLP DOI BibTeX RDF
15	Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel	A Relational Model of Non-deterministic Dataflow.	CONCUR	1998	DBLP DOI BibTeX RDF
15	José Luiz Fiadeiro, Antónia Lopes	Semantics of Architectural Connectors.	TAPSOFT	1997	DBLP DOI BibTeX RDF
15	Stacy E. Finkelstein, Peter J. Freyd, James Lipton	Logic Programming in Tau Categories.	CSL	1994	DBLP DOI BibTeX RDF
15	Torben Braüner	The Girard Translation Extended with Recursion.	CSL	1994	DBLP DOI BibTeX RDF
15	Charles Rattray	The Shape of Complex Systems.	EUROCAST	1993	DBLP DOI BibTeX RDF
15	Hartmut Ehrig, Francesco Parisi-Presicce	High-Level-Replacement Systems for Equational Algebraic Specifications.	ALP	1992	DBLP DOI BibTeX RDF
15	Andy Mück	CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs.	PLILP	1992	DBLP DOI BibTeX RDF
15	Val Tannen, Peter Buneman, Limsoon Wong	Naturally Embedded Query Languages.	ICDT	1992	DBLP DOI BibTeX RDF
15	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
15	Andrea Asperti, Gian-Luigi Ferrari 0002, Roberto Gorrieri	Implicative Formulae in the "Proofs as Computations" Analogy.	POPL	1990	DBLP DOI BibTeX RDF
15	Eric G. Wagner	Semantics of Block Structured Languages with Pointers.	MFPS	1987	DBLP DOI BibTeX RDF
15	Jürgen Koslowski	Continuous Categories.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
15	Rod M. Burstall	Electronic Category Theory.	MFCS	1980	DBLP DOI BibTeX RDF
14	Ao Shen, Qingguo Li	The Stone Representations for Generalized Continuous Posets.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Axel Osmond	Codescent and Bicolimits of Pseudo-Algebras.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Owen Garnier	Generalization of the Dehornoy-Lafont Order Complex to Categories: Application to Exceptional Braid Groups.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Iolo Jones, Jerry Swan, Jeffrey Giansiracusa	Algebraic Dynamical Systems in Machine Learning.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Divya Ahuja, Surjeet Kour	Grothendieck's Vanishing and Non-vanishing Theorems in an Abstract Module Category.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Aran Tattar	The Structure of Aisles and Co-aisles of t-Structures and Co-t-structures.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Carlo Klapproth, Dixy Msapato, Amit Shah	Idempotent Completions of n-Exangulated Categories.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Ziba Fazelpour, Ali Reza Nasr-Isfahani	Morita Equivalence and Morita Duality for Rings with Local Units and the Subcategory of Projective Unitary Modules.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Michael Batanin, Martin Markl	Operads, Operadic Categories and the Blob Complex.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Huhu Zhang, Xing Gao, Li Guo 0003	Compatible Structures of Nonsymmetric Operads, Manin Products and Koszul Duality.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
14	Cédric de Lacroix, Luigi Santocanale	Unitless Frobenius Quantales.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Kevin Coulembier	Additive Grothendieck Pretopologies and Presentations of Tensor Categories.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Rhiannon Savage	Koszul Monoids in Quasi-abelian Categories.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Guram Bezhanishvili, S. Melzer	Deriving Dualities in Pointfree Topology from Priestley Duality.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Daniel Carranza, Krzysztof Kapulkin, Jinho Kim	Nonexistence of Colimits in Naive Discrete Homotopy Theory.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Simon Henry, Christopher Townsend	Compact Hausdorff Locales in Presheaf Toposes.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	R. Chen, Igor Kríz, Ales Pultr	Rings and Modules in Kan Spectra.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Berrin Sentürk, Özgün Ünlü	Minimal Models of Some Differential Graded Modules.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Aryan Ghobadi	Hopf Monads: A Survey with New Examples and Applications.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Leovigildo Alonso Tarrío, Beatriz Álvarez Díaz, Ana Jeremías López	Unbounded Algebraic Derivators.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Xiaoyan Yang, Yanjie Li	Local Cohen-Macaulay DG-Modules.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Sergey V. Arkhipov, Sebastian Ørsted	Homotopy (Co)limits via Homotopy (Co)ends in General Combinatorial Model Categories.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Alejandro Alvarado García, César Cejudo Castilla, Mauricio Medina Bárcenas, Ivan Fernando Vilchis Montalvo	Operators Between Classes of Modules Given by Preradicals.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Alexander Zimmermann 0004	Clifford's Theorem for Orbit Categories.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Erik Bédos, S. Kaliszewski, John Quigg, Jonathan Turk	Coactions on C*-Algebras and Universal Properties.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Daniel Bravo, James Gillespie, Marco A. Pérez	Locally Type $\text {FP}_{{\varvec{n}}}$ and ${\varvec{n}}$-Coherent Categories.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Rory B. B. Lucyshyn-Wright, Jason Parker	Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Gabriele Lobbia	Distributive Laws for Relative Monads.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Patrick Hermle, Henrik Kreidler	A Halmos-von Neumann Theorem for Actions of General Groups.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Nima Rasekh	Yoneda Lemma for Simplicial Spaces.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Ricardo E. Carrera, Anthony W. Hager	Some Modifications of Hull Operators in Archimedean Lattice-Ordered Groups with Weak Unit.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Wesley G. Lautenschlaeger, Thaísa Tamusiunas	Maximal Ordered Groupoids and a Galois Correspondence for Inverse Semigroup Orthogonal Actions.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Elisa Hartmann	A Pullback Diagram in the Coarse Category.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Dragan Masulovic	Correction to: Ramsey Properties of Products and Pullbacks of Categories and the Grothendieck Construction.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Jason Parker	Inner Automorphisms of Presheaves of Groups.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding	De Vries Powers and Proximity Specker Algebras.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Marko Zivkovic	Trace Decategorification of Categorified Quantum sl(3).	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Olivia Monjon, Jérôme Scherer, Florence Sterck	Admissibility of Localizations of Crossed Modules.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Mateusz Stroinski	Weighted Colimits of 2-Representations and Star Algebras.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Nelson Martins-Ferreira	On the Structure of an Internal Groupoid.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	John Frith, Anneliese Schauerte	Closed and Open Maps for Partial Frames.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Graham Manuell	Correction: Presenting Quotient Locales.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Graham Manuell	Presenting Quotient Locales.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Redi Haderi	A Simplicial Category for Higher Correspondences.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Job Daisie Rock, Shijie Zhu	Continuous Nakayama Representations.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini 0001	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Célia Borlido, Anna Laura Suarez	Pervin Spaces and Frith Frames: Bitopological Aspects and Completion.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Gunnar Fløystad	Profunctors Between Posets and Alexander Duality.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Rui Prezado, Fernando Lucatelli Nunes	Descent for internal multicategory functors.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF