Sciweavers

27 search results - page 6 / 6
» Use of Default Reasoning for Disambiguation Under Question A...
Sort
View
BMCBI
2010
110views more  BMCBI 2010»
13 years 5 months ago
Discovering local patterns of co - evolution: computational aspects and biological examples
Background: Co-evolution is the process in which two (or more) sets of orthologs exhibit a similar or correlative pattern of evolution. Co-evolution is a powerful way to learn abo...
Tamir Tuller, Yifat Felder, Martin Kupiec
ENTCS
2006
172views more  ENTCS 2006»
13 years 5 months ago
Efficient Detection of Conflicts in Graph-based Model Transformation
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
Leen Lambers, Hartmut Ehrig, Fernando Orejas