Sciweavers

7535 search results - page 50 / 1507
» A Type System for CHR
Sort
View
BMCBI
2006
87views more  BMCBI 2006»
13 years 7 months ago
XML schemas for common bioinformatic data types and their application in workflow systems
Background: Today, there is a growing need in bioinformatics to combine available software tools into chains, thus building complex applications from existing single-task tools. T...
Philipp N. Seibel, Jan Krüger, Sven Hartmeier...
MSCS
2006
87views more  MSCS 2006»
13 years 7 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...