Patents Assigned to Kestrel Institute
  • Patent number: 6964037
    Abstract: A computer-implemented method and system for determining colimits of hereditary diagrams. A user specifies a diagram of diagram and specifies performance of a colimit operation. Once the colimit is performed, the name of the colimit is added to the hereditary diagram. The described embodiment supports diagrams of diagrams, also called hierarchical diagrams.
    Type: Grant
    Filed: September 19, 2000
    Date of Patent: November 8, 2005
    Assignee: Kestrel Institute
    Inventors: Dusko Pavlovic, Douglas R. Smith, Junbo Liu