Search results for "2-categories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Shmuel Katz	Aspect Categories and Classes of Temporal Properties.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF	Aspect specification, invasive, aspect categories, aspect verification, regulative, dataflow analysis, spectative
52	Li Fei-Fei 0001, Robert Fergus, Pietro Perona	One-Shot Learning of Object Categories.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	object categories, few images, learning, Recognition, unsupervised, variational inference, priors
51	Aleks Kissinger	Abstract Tensor Systems as Monoidal Categories.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
50	Fintan J. Costello	How People Compare an Item's Placement in Two Alternative Categories.	AICS	2002	DBLP DOI BibTeX RDF
46	Rui Pereira, Luís Seabra Lopes	Learning Visual Object Categories with Global Descriptors and Local Features.	EPIA	2009	DBLP DOI BibTeX RDF
46	Andrea Corradini 0001, Fabio Gadducci	An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	term graphs, symmetric monoidal categories, gs-monoidal categories, directed acyclic graphs, algebraic theories
46	Roberto Bruni, Ugo Montanari	Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.	LICS	1999	DBLP DOI BibTeX RDF	double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
41	Mika Käki	Optimizing the number of search result categories.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	clustering, web search, categorization, information access, search user interface
41	Kenrick J. Mock	Dynamic Email Organization via Relevance Categories.	ICTAI	1999	DBLP DOI BibTeX RDF
41	Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan 0001	Formation of Categories in Document Classification Systems.	Great Lakes Computer Science Conference	1989	DBLP DOI BibTeX RDF
41	G. M. Kelly, Stephen Lack, Robert F. C. Walters	Coinverters and categories of fractions for categories with structure.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Category of fractions, coinverter, reflexive coinverter, categories with structure
41	Fabio Aiolli, Riccardo Cardin, Fabrizio Sebastiani 0001, Alessandro Sperduti	Preferential text classification: learning algorithms and evaluation measures.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Preferential learning, Primary and secondary categories, Text classification, Text categorization, Supervised learning
41	J. Robin B. Cockett, Luigi Santocanale	On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.	CSL	2009	DBLP DOI BibTeX RDF	??-categories, bicatersian categories, two-way communication, proof theory, game semantics, word problem
40	Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott (eds.)	Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Oriol Valentín	The Hidden Structural Rules of the Discontinuous Lambek Calculus.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Denis Béchet	NP-Completeness of Grammars Based Upon Products of Free Pregroups.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Raffaella Bernardi	Distributional Semantics: A Montagovian View.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Bart Jacobs 0001, Alexandra Silva 0001	Initial Algebras of Terms with Binding and Algebraic Structure.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Peter Hines	Classical Structures Based on Unitaries.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Richard Moot	Extended Lambek Calculi and First-Order Linear Logic.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Claudia Casadio, Aleksandra Kislak-Malinowska	Italian Clitic Patterns in Pregroup Grammar: State of the Art.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Dusko Pavlovic	Chasing Diagrams in Cryptography.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Glyn Morrill	A Categorial Type Logic.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Michael Moortgat	A Note on Multidimensional Dyck Languages.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Samson Abramsky, Mehrnoosh Sadrzadeh	Semantic Unification - A Sheaf Theoretic Approach to Natural Language.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	V. Michele Abrusci	On Residuation.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Wojciech Buszkowski	Multi-Sorted Residuation.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Gonzalo E. Reyes	A Mathematical Analysis of Masaccio's Trinity.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Stepan L. Kuznetsov	L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Arno Bastenhof	Type Similarity for the Lambek-Grishin Calculus Revisited.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Miroslawa Kolowska-Gawiejnowicz	On Canonical Embeddings of Residuated Groupoids.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Mati Pentus	The Monotone Lambek Calculus Is NP-Complete.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Alexey Sorokin	Conjoinability in 1-Discontinuous Lambek Calculus.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger	A Logical Basis for Quantum Evolution and Entanglement.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Roberto Bonato, Christian Retoré	Learning Lambek Grammars from Proof Frames.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
40	Annie Foret	On Associative Lambek Calculus Extended with Basic Proper Axioms.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Aixin Sun, Ee-Peng Lim, Ying Liu 0004	What makes categories difficult to classify?: a study on predicting classification performance for categories.	CIKM	2009	DBLP DOI BibTeX RDF	classification performance prediction, text classification
39	C. B. Balogh, M. E. Balogh	A relational data model to represent meaning in natural language sentences (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
39	David M. Mark, Andrew G. Turk	Landscape Categories in Yindjibarndi: Ontology, Environment, and Language.	COSIT	2003	DBLP DOI BibTeX RDF	Geographic categories, land scape terms, Yindjibarndi, Indigenous Australians, geographic information systems, GIS, natural language, spatial cognition, cultural differences, geographic ontology
39	Renate Motschnig-Pitrik, Jens Kaasbøll	Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	part-of relationship, part-of relationship categories, partonomy, Conceptual modeling, aggregation, object-oriented design, object-oriented analysis, semantic constraints, object life-cycle
37	Narendra Ahuja, Sinisa Todorovic	Learning the Taxonomy and Models of Categories Present in Arbitrary Images.	ICCV	2007	DBLP DOI BibTeX RDF
37	Dinani Gomes, Manuel Fernández Delgado, Senén Barro	Internal Categories with Irregular Geometry and Overlapping in ART Networks.	CAEPIA	2005	DBLP DOI BibTeX RDF
37	Li Fei-Fei 0001, Robert Fergus, Pietro Perona	A Bayesian Approach to Unsupervised One-Shot Learning of Object Categories.	ICCV	2003	DBLP DOI BibTeX RDF
37	Bart Jansen	An Imitation Game for Emerging Action Categories.	ECAL	2003	DBLP DOI BibTeX RDF
37	Chih-Ping Wei, Yuan-Xin Dong	A Mining-based Category Evolution Approach to Managing Online Document Categories.	HICSS	2001	DBLP DOI BibTeX RDF
37	Bronius Skupas, Valentina Dagiene, Miguel A. Revilla	Developing classification criteria for programming tasks.	ITiCSE	2009	DBLP DOI BibTeX RDF	programming tasks, programming trainer, the online judge, classification, algorithms, categories
37	Marius Pasca	Acquisition of categorized named entities for web search.	CIKM	2004	DBLP DOI BibTeX RDF	lightweight text processing, related names and categories, information integration, web information retrieval, named entity extraction
37	David M. Mark, Barry Smith 0001, Barbara Tversky	Ontology and Geographic Objects: An Empirical Study of Cognitive Categorization.	COSIT	1999	DBLP DOI BibTeX RDF	geographic categories, human-subjects testing, geographic information systems, GIS, prototypes, spatial cognition, mereotopology, Geographic ontology
35	E. J. Lowe	Opening plenary talk: Recent advances in metaphysics.	FOIS	2001	DBLP DOI BibTeX RDF
35	Julien Fauqueur, Nozha Boujemaa	Mental image search by boolean composition of region categories.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Mental image search, Visual thesaurus, Query by example paradigm, Region categories, Image google, Clustering, Content-based image retrieval, Inverted files, Boolean queries
35	Elias Gabriel Minian	Loop and Suspension Functors for Small Categories and Stable Homotopy Groups.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	small categories, CW-complexes, algebraic homotopy
35	Abbas Edalat, Michael B. Smyth	Information categories.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Scott information systems, I-category, categories of domains, Stone spaces, initial algebra, domain equations
35	Ian Mackie, Leopoldo Román, Samson Abramsky	An internal language for autonomous categories.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Symmetric monoidal closed (autonomous) categories, internal languages, natural numbers objects, linear logic, coherence
35	Giulio Manzonetto	A General Class of Models of H*.	MFCS	2009	DBLP DOI BibTeX RDF	?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus
33	Dominique Bourn, Zurab Janelidze	Subtractive Categories and Extended Subtractions.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18C99, 18D35, 18E05, 08B05
33	Clara Rocha, Luis C. Dias	An algorithm for ordinal sorting based on ELECTRE with categories defined by examples.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Multi-criteria decision aiding, Aggregation/disaggregation approaches, ELECTRE, Sorting problem
33	S. Dascalescu, Constantin Nastasescu, A. Tudorache, Leonard Daus	Relative Regular Objects in Categories.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
33	Cao D. Nguyen, Tran A. Dung, Tru H. Cao	Text Classification for DAG-Structured Categories.	PAKDD	2005	DBLP DOI BibTeX RDF	SVM, text classification, hierarchies, multi-labels
33	Martin Jüttner, Ingo Rentschler	Bildkategoriales Lernen - Learning image categories.	Kognitionswissenschaft	2001	DBLP DOI BibTeX RDF
33	Kosta Dosen, Zoran Petric	Coherent Bicartesian and Sesquicartesian Categories.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
33	Ben E. Cline, Jane Terry Nutter	Implications of Natural Categories for Natural Language Generation.	SNePS	1989	DBLP DOI BibTeX RDF
33	Youngha Chang, Suguru Saito, Keiji Uchikawa, Masayuki Nakajima 0001	Example-Based Color Stylization of Images.	ACM Trans. Appl. Percept.	2005	DBLP DOI BibTeX RDF	Basic color categories, color transfer, example-based
33	Antti Aarnio, Aki Enkenberg, Jukka Heikkilä, Sanna Hirvola	Adoption and Use of Mobile Services: Empirical Evidence from a Finnish Survey.	HICSS	2002	DBLP DOI BibTeX RDF	empirical survey, adopter categories, Mobile services, diffusion
31	Marco Grandis	Directed Algebraic Topology, Categories and Higher Categories.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 55Pxx, 68Q85, 18D05
31	Jobst Heitzig	Many Familiar Categories can be Interpreted as Categories of Generalized Metric Spaces.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	partially ordered monoid, quasi-uniformity, distance function, field, measurable space
31	Jie Yang 0006, Joshua Zhexue Huang, Ning Zhang 0003, Zhuoqun Xu	C3: A New Learning Scheme to Improve Classification of Rare Category Emails.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
30	Xi Liu 0009, Zhiping Shi 0002, Zhixin Li 0001, Zhongzhi Shi	Coboost learning of visual categories with 1st and 2nd order features from Google images.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	1st and 2nd order features, coboost, learn categories, co-training
30	Li-jun Cai, Dong He	Identifying Co-expressed Gene Groups with Significant Functional Categories.	ICIC (3)	2007	DBLP DOI BibTeX RDF	hierarchical clustering method, functional categories, gene expression profile
30	Stephen R. Schach, Bo Jin, Liguo Yu, Gillian Z. Heller, A. Jefferson Offutt	Determining the Distribution of Maintenance Categories: Survey versus Measurement.	Empir. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Maintenance categories, repeated maintenance, real-time product, Linux, open-source software, GCC
30	T. C. Wesselkamper	Divided Difference Methods for Galois Switching Functions.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	MR Categories: 12C05, Divided difference methods, Newton's interpolation theorem, Reed-Muller decomposition theorem., CR Categories: 5.30, 6.31, 5.13, finite field, 41A10
28	Takahiro Okabe, Yuhi Kondo, Kris Makoto Kitani, Yoichi Sato	Recognizing Multiple Objects via Regression Incorporating the Co-occurrence of Categories.	PSIVT	2009	DBLP DOI BibTeX RDF
28	Laurent Bonnasse-Gahot, Jean-Pierre Nadal	Neural coding of categories: information efficiency and optimal population codes.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Exemplar models, Inferotemporal cortex, Mutual information, Categorization, Population coding
28	Mario Fritz, Bernt Schiele	Decomposition, discovery and detection of visual categories using topic models.	CVPR	2008	DBLP DOI BibTeX RDF
28	Ming-Shun Lin, Hsin-Hsi Chen	Labeling Categories and Relationships in an Evolving Social Network.	ECIR	2008	DBLP DOI BibTeX RDF	Category Labeling, Relationships Labeling and Evolving Social Network
28	Qiaoling Liu, Kaifeng Xu, Lei Zhang 0007, Haofen Wang, Yong Yu 0001, Yue Pan	Catriple: Extracting Triples from Wikipedia Categories.	ASWC	2008	DBLP DOI BibTeX RDF
28	Michelangelo Ceci, Donato Malerba	Classifying web documents in a hierarchy of categories: a comprehensive study.	J. Intell. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Performance evaluation, Feature selection, Text categorization, Supervised learning, Hierarchical models, Web content mining
28	Sanja Fidler, Ales Leonardis	Towards Scalable Representations of Object Categories: Learning a Hierarchy of Parts.	CVPR	2007	DBLP DOI BibTeX RDF
28	Ying Xu, Fuyuan Xu	Researching on The Method and Technology of Creating Temporal Categories for an Ontology of Time.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
28	Mika Käki	Findex: search result categories help users when document ranking fails.	CHI	2005	DBLP DOI BibTeX RDF	clustering, web search, categorization, information access, search user interfaces
28	Stephen Lack, Pawel Sobocinski 0001	Adhesive Categories.	FoSSaCS	2004	DBLP DOI BibTeX RDF
28	Tomonori Izumitani, Hirotoshi Taira, Hideto Kazawa, Eisaku Maeda	Assigning Gene Ontology Categories (GO) to Yeast Genes Using Text-Based Supervised Learning Methods.	CSB	2004	DBLP DOI BibTeX RDF
28	Yoshihiko Kakutani, Masahito Hasegawa	Parameterizations and Fixed-Point Operators on Control Categories.	TLCA	2003	DBLP DOI BibTeX RDF
28	Pietro Perona	The Emergence of Visual Categories - A Computational Perspective.	SCIA	2003	DBLP DOI BibTeX RDF
28	Naonori Ueda, Kazumi Saito	Single-shot detection of multiple categories of text using parametric mixture models.	KDD	2002	DBLP DOI BibTeX RDF
28	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
28	Yannis Labrou, Timothy W. Finin	Yahoo! As an Ontology: Using Yahoo! Categories to Describe Documents.	CIKM	1999	DBLP DOI BibTeX RDF
28	Philip S. Mulry	Lifting Theorems for Kleisli Categories.	MFPS	1993	DBLP DOI BibTeX RDF
28	Ales Pultr, Anna Tozzi	Some Categorical Aspects of Information Systems and Domains.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Kleisli and Eilenberg-Moore categories of a monad, information systems, completion, domains
28	Saravadee Sae Tan, Gan Keng Hoon, Chan Huah Yong, Tang Enya Kong, Cheong Sook Lin	Mapping Search Results into Self-Customized Category Hierarchy.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	results classification, self-customized categories, information retrieval, feature selection
28	David M. Mark, André Skupin, Barry Smith 0001	Features, Objects, and Other Things: Ontological Distinctions in the Geographic Domain.	COSIT	2001	DBLP DOI BibTeX RDF	geographic categories, human subjects testing, geographic information systems, GIS, prototypes, self-organizing maps, spatial cognition, spatialization, mereotopology, Geographic ontology
28	Marco Grandis, John MacDonald	Homotopy Structures for Algebras over a Monad.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy
28	Chia Shen	On ATM support for distributed real-time applications.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	industrial plants, distributed real-time applications, ATM service categories, distributed industrial plant control applications, integrated real-time communication requirements, telecommunication traffic models, algorithm taxonomy, user-level multiplexing, real-time systems, distributed algorithms, asynchronous transfer mode, ATM network, telecommunication traffic, multiplexing, design space, performance guarantees, industrial control
28	G. M. Kelly, Stephen Lack	Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Categories with structure, 2-monads, finite-product-preserving functors, Kan extensions
26	Boris I. Plotkin, Tatjana L. Plotkin	Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
26	Elias Gabriel Minian	Lambda-Cofibration Categories and the Homotopy Categories of Global Actions and Simplicial Complexes.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	algebraic homotopy, global actions, simplicial complexes
26	Manish Bhide, Venkatesan T. Chakaravarthy, Krithi Ramamritham, Prasan Roy	Keyword Search over Dynamic Categorized Information.	ICDE	2009	DBLP DOI BibTeX RDF
26	Lada A. Adamic, Jun Zhang 0008, Eytan Bakshy, Mark S. Ackerman	Knowledge sharing and yahoo answers: everyone knows something.	WWW	2008	DBLP DOI BibTeX RDF	help seeking, online communities, question answering, social network analysis, knowledge sharing, expertise finding
26	Dikan Xing, Gui-Rong Xue, Qiang Yang 0001, Yong Yu 0001	Deep classifier: automatically categorizing search results into large-scale hierarchies.	WSDM	2008	DBLP DOI BibTeX RDF	deep classifier, hierarchy pruning, search result mining, hierarchical classification
26	Andreas Opelt, Axel Pinz, Andrew Zisserman	Incremental learning of object detectors using a visual shape alphabet.	CVPR (1)	2006	DBLP DOI BibTeX RDF
26	Saravadee Sae Tan, Gan Keng Hoon, Tang Enya Kong	A Lazy Approach for Category Model Construction Using Training Texts.	Web Intelligence	2006	DBLP DOI BibTeX RDF