Search results for "category"

Hits ?▲	Authors	Title	Venue	Year	Link
32	Yali Amit, Alain Trouvé	Generative Models for Labeling Multi-object Configurations in Images.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	David J. Crandall, Pedro F. Felzenszwalb, Daniel P. Huttenlocher	Object Recognition by Combining Appearance and Geometry.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Josef Sivic, Andrew Zisserman	Video Google: Efficient Visual Search of Videos.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Margarita Osadchy, Yann LeCun, Matthew L. Miller	Synergistic Face Detection and Pose Estimation with Energy-Based Models.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Peter Carbonetto, Gyuri Dorkó, Cordelia Schmid, Hendrik Kück, Nando de Freitas	A Semi-supervised Learning Approach to Object Recognition with Spatial Integration of Local Features and Segmentation Cues.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	S. Charles Brubaker, Jianxin Wu 0001, Jie Sun 0004, Matthew D. Mullin, James M. Rehg	Towards the Optimal Training of Cascades of Boosted Ensembles.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Michalis K. Titsias, Christopher K. I. Williams	Sequential Learning of Layered Models from Video.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Svetlana Lazebnik, Cordelia Schmid, Jean Ponce	A Discriminative Framework for Texture and Object Recognition Using Local Image Features.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Stepán Obdrzálek, Jiri Matas	Object Recognition Using Local Affine Frames on Maximally Stable Extremal Regions.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Bastian Leibe, Ales Leonardis, Bernt Schiele	An Implicit Shape Model for Combined Object Categorization and Segmentation.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Shimon Ullman, Boris Epshtein	Visual Classification by a Hierarchy of Extended Fragments.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Ilkay Ulusoy, Christopher M. Bishop	Comparison of Generative and Discriminative Techniques for Object Detection and Classification.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Timothy F. Cootes, David Cristinacce, Vladimir S. Petrovic	Statistical Models of Shape and Texture for Face Recognition.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Jean Ponce, Tamara L. Berg, Mark Everingham, David A. Forsyth, Martial Hebert, Svetlana Lazebnik, Marcin Marszalek, Cordelia Schmid, Bryan C. Russell, Antonio Torralba 0001, Christopher K. I. Williams, Jianguo Zhang 0001, Andrew Zisserman	Dataset Issues in Object Recognition.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	Kevin P. Murphy, Antonio Torralba 0001, Daniel Eaton, William T. Freeman	Object Detection and Localization Using Local and Global Features.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
32	S. Kazem Lellahi, Val Tannen	A Calculus for Collections and Aggregates.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Dusko Pavlovic, Samson Abramsky	Specifying Interaction Categories.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Alexander E. Andreev, Sergei Soloviev 0001	A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)).	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Daniele Turi	Categorical Modelling of Structural Operational Rules: Case Studies.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Paul-André Melliès	A Factorisation Theorem in Rewriting Theory.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Paul F. Hoogendijk, Roland Carl Backhouse	When Do Datatypes Commute?	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski	Combining and Representing Logical Systems.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Ulrich Hensel, Bart Jacobs 0001	Proof Principles for Datatypes with Iterated Recursion.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	John C. Baez	An Introduction to n-Categories.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Anna Bucalo, Giuseppe Rosolini	Lifting.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Christoph Lüth, Neil Ghani	Monads and Modular Term Rewriting.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Gian Luca Cattani, Ian Stark, Glynn Winskel	Presheaf Models for the pi-Calculus.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Richard S. Bird	Allegories as a Basis for Algorithmics.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Andrea Corradini 0001, Fabio Gadducci	A 2-Categorical Presentation of Term Graph Rewriting.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Uwe Wolter, Alfio Martini	Shedding the New Light in the World of Logical Systems.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Bernhard Reus, Thomas Streicher	General Synthetic Domain Theory - A Logical Approach.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	C. Barry Jay	Separating Shape from Data.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Klaus Weihrauch, Xizhong Zheng	Effectiveness of the Global Modulus of Continuity on Metric Spaces.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
32	Masahito Hasegawa	Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Thorsten Altenkirch, Martin Hofmann 0001, Thomas Streicher	Categorical Reconstruction of a Reduction Free Normalization Proof.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Robin Milner	Control Structures: a Model of Interaction.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	J. R. Otto Jr.	V-Comprehensions and P Space.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude	Categorical Fixed Point Calculus.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Éric Badouel, Philippe Darondeau	Dualities Between Nets and Automata Induced by Schizophrenic Objects.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Michael P. Fourman, Hayo Thielecke	A Proposed Categorical Semantics for ML Modules.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Andrea Asperti, Agata Ciabattoni	Effective Applicative Structures.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Marcelo P. Fiore	Lifting as a KZ-Doctrine.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	J. M. E. Hyland, Eugenio Moggi	The S-Replete Constuction.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Yasuo Kawahara	Relational Set Theory.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Sergei Soloviev 0001	Proof of a S. Mac Lane Conjecture.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
32	Peter W. O'Hearn	Linear Logic and Interference Control.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Thomas Ehrhard, Pasquale Malacaria	Stone Duality for Stable Functions.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna	Applications of the Calculus of Trees to Process Description Languages.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Dusko Pavlovic	Constructions and Predicates.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Richard Blute	Proof Nets and Coherence Theorems.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	C. Barry Jay	Tail Recursion from Universal Invariants.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Wesley Phoa	Two Results on Set-Theoretic Polymorphism.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Grzegorz Jarzembski	Programs in Partial Algebras - a Categorical Approach.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Albert Burroni	Higher Dimensional Word Problem.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Raymond Hoofman, Harold Schellinx	Collapsing Graph Models by Preorders.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Roberto M. Amadio	Bifinite Domains: Stable Case.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Eugenio Moggi	A Modular Approach to Denotational Semantics.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Abbas Edalat, Michael B. Smyth	Categories of Information Systems.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Bart Jacobs 0001, Eugenio Moggi, Thomas Streicher	Relating Models of Impredicative Type Theories.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Sachio Hirokawa	BCK-Formulas Having Unique Proofs.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Eugene W. Stark	Dataflow Networks are Fibrations.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Robert D. Tennent	Local Variables and Non-Interference in Algol-like Languages.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Andrea Corradini 0001, Ugo Montanari	An Algebra of Graphs and Graph Rewriting.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	Thierry Coquand	A Direct Proof of the Intuitionistic Ramsey Theorem.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
32	David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)	Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Eugene W. Stark	Compostional Relational Semantics for Indeterminate Dataflow Networks.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Luca Cardelli, John C. Mitchell	Operations in Records.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Thomas Streicher	Independence Results for Calculi of Dependent Types.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Ugo Montanari, Daniel Yankelevich	An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Paul Taylor 0002	Quantitative Domains, Groupoids and Linear Logic.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Ross Casley, Roger F. Crew, José Meseguer 0001, Vaughan R. Pratt	Temporal Structures.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Narciso Martí-Oliet, José Meseguer 0001	From Petri Nets to Linear Logic.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Franz Baader	Unification Properties of Commutative Theories: A Categorical Treatment.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Peter Aczel, Nax Paul Mendler	A Final Coalgebra Theorem.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Thomas Ehrhard	Dictoses.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Valeria de Paiva	A Dialectica-like Model of Linear Logic.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	John Hughes 0001	Projections for Polymorphic Strictness Analysis.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Robert A. G. Seely	Graded Multicategories of Polynomial-time Realizers.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Robert Harper 0001, Donald Sannella, Andrzej Tarlecki	Logic Representation in LF.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Andrzej Filinski	Declarative Continuations: an Investigation of Duality in Programming Language Semantics.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Kent Petersson, Dan Synek	A Set Constructor for Inductive Sets in Martin-Löf's Type Theory.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	G. C. Wraith	A Note on Categorical Datatypes.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	A. John Power	An Abstract Formulation for Rewrite Systems.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Bart Jacobs 0001	On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
32	Andrew M. Pitts	Polymorphism is Set Theoretic, Constructively.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Lawrence S. Moss, José Meseguer 0001, Joseph A. Goguen	Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Thierry Coquand, Thomas Ehrhard	An Equational Presentation of Higher Order Logic.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Edmund Robinson	Logical Aspects of Denotational Semantics.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Simone Martini 0001	An Interval Model for Second-Order Lambda Calculus.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Steven Vickers	A Fixpoint Construction of the p-adic Domain.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Stefano Kasangian, Anna Labella, Alberto Pettorossi	Enriched Categories for Local and Interaction Calculi.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Tatsuya Hagino	A Typed Lambda Calculus with Categorical Type Constructors.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Christoph Beierle, Angi Voß	Viewing Implementations as an Institution.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Giuseppe Rosolini	Categories and Effective Computations.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Glynn Winskel	Relating Two Models of Hardware.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	David E. Rydeheard, John G. Stell	Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Gilles Bernot	Good Functors... are Those Preserving Philosophy.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Maurizio Proietti	Connections Between Partial Maps Categories and Triops Theory.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
32	Ernest G. Manes (eds.)	Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings	Category Theory Applied to Computation and Control	1975	DBLP DOI BibTeX RDF
32	Hartmut Ehrig, Hans-Jörg Kreowski	Power and initial automata in pseudoclosed categories.	Category Theory Applied to Computation and Control	1974	DBLP DOI BibTeX RDF