Results 1 - 10 for Category:Graph theory

Category Theory for Linear Logicians
Graphs forma category Graph whose objects are graphs and whose arrows are pairs of functions ... However in categorical logic and proof theory, it is natural to consider categories ...
http://www.site.uottawa.ca/~phil/papers/catsurv.web.pdf
open  pop

-COMPLETENESS IS SELDOM MONADIC OVER GRAPHS
Keywords and phrases: category, graph, limit, adjunction. c * J. Ad´amekand G.M. Kelly 2000. ... the given kind; this provides a complete proof, since the algebras for such a theory ...
http://www.tac.mta.ca/tac/volumes/7/n8/n8.pdf
open  pop

The IFF Category Theory Ontology
IFF Foundation Ontology Robert E. Kent Page 1 9/29/2001 The Category Theory Ontology T HE C ... 9/29/2001 The Namespace of Large Graphs Table 1: Elements of the 2-dimensional category GRAPH ...
http://suo.ieee.org/IFF/metalevel/upper/ontology/category-theory/version20011004.pdf
open  pop

The IFF Category Theory Ontology
The IFF Category Theory Ontology currently contains 224 nonidentical terms ... category C = 〈 C , µ C, η C 〉 is a monoid in the 2-dimensional quasi-category GRAPH of ...
http://suo.ieee.org/IFF/metalevel/upper/ontology/category-theory/version20020102.pdf
open  pop

Proceedings of NAACL HLT 2007
Therefore, we apply the Wikipedia category graph as a knowledge source for SR measures. ... JC combinespath based and IC features. 1 Lin is derived from information theory.
http://www.aclweb.org/anthology-new/N/N07/N07-2052.pdf
open  pop

Distinguishing Between Instances and Classes intheWikipedia Taxonomy
Wikipedia Category Graph 2. Label as is reflned by the relation between categories C 2 andC 1, if their names match the follo wing patterns: C 1 =YXandC 2 =XbyZ{e.g. C 1 =Miles DavisAlbums and ...
http://www.eswc2008.org/final-pdfs-for-web-site/onl-4.pdf
open  pop

Teoriadelle Categorie Scuola Estivadi Logica Gargnanodel Garda 27/08 ...
... Logics: the failure of Hilbert'sprogram, Computability, Category Theory Philosophy of ... Category, Graph and Diagram Given a category Candasmallgraph Ga diagram Dofshape Gin Cis a ...
http://www.disi.unige.it/person/MoggiE/AILA07/Moggi-2007-09-02.pdf
open  pop

Introduction to the special section on graph algorithms in computer ...
The third category, graph matching, attempts to compute correspondence between two graphs ... Borrowing froma theory recently introduced by Shpitalniand Lipson, they describe an ...
http://www.cs.toronto.edu/~sven/Papers/graph-algs.pdf
open  pop

Software Science and Technology
Of course, the category Graph of ordinary graphs is adhesive and in this setting it suffices to ... defined in a more abstract way using a particular closure construction from the theory ...
http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/viewFile/59/31
open  pop

D. Ferrero, X. Jiaand C. Yan
The following topics about graph theory were covered in the conference, which shed ... A lot of problems in graph drawing are in this category. Graph drawing is touse graph as a ...
http://www.math.tamu.edu/~cyan/combinatexas/whitepaper.pdf
open  pop

Featured Results: