Sciweavers

598 search results - page 81 / 120
» Procedure Based Program Compression
Sort
View
BMCBI
2006
167views more  BMCBI 2006»
13 years 7 months ago
GOurmet: A tool for quantitative comparison and visualization of gene expression profiles based on gene ontology (GO) distributi
Background: The ever-expanding population of gene expression profiles (EPs) from specified cells and tissues under a variety of experimental conditions is an important but difficu...
Jason M. Doherty, Lynn K. Carmichael, Jason C. Mil...
TASE
2008
IEEE
13 years 7 months ago
An Optimization-Based Approach for Design Project Scheduling
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
Ming Ni, Peter B. Luh, Bryan Moser
PODS
2005
ACM
99views Database» more  PODS 2005»
14 years 7 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
CIKM
2007
Springer
14 years 1 months ago
Reasoning about vague topological information
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
Steven Schockaert, Martine De Cock
TYPES
1993
Springer
13 years 11 months ago
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
Marino Miculan