Sciweavers

196 search results - page 5 / 40
» Canonizable Partial Order Generators
Sort
View
KDD
2006
ACM
167views Data Mining» more  KDD 2006»
14 years 9 months ago
Clustering pair-wise dissimilarity data into partially ordered sets
Ontologies represent data relationships as hierarchies of possibly overlapping classes. Ontologies are closely related to clustering hierarchies, and in this article we explore th...
Jinze Liu, Qi Zhang, Wei Wang 0010, Leonard McMill...
TCBB
2008
117views more  TCBB 2008»
13 years 8 months ago
Consensus Genetic Maps as Median Orders from Inconsistent Sources
A genetic map is an ordering of genetic markers calculated from a population of known lineage. Although, traditionally, a map has been generated from a single population for each s...
Benjamin G. Jackson, Patrick S. Schnable, Srinivas...
APN
2009
Springer
14 years 3 months ago
Hasse Diagram Generators and Petri Nets
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
Mateus de Oliveira Oliveira
VIP
2000
13 years 10 months ago
Use of Series Parallel Digraph Analysis in Generating Instructions for Multiple Users
Series Parallel (SP) digraphs are a common method of representing instructions with partially ordered actions, but not always an ideal one, as relationships among groups of action...
Margaret Mitchell
FM
2009
Springer
134views Formal Methods» more  FM 2009»
13 years 6 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu