Sciweavers

19 search results - page 4 / 4
» A proof Procedure for Testing Membership in Regular Expressi...
Sort
View
BMCBI
2008
101views more  BMCBI 2008»
13 years 5 months ago
Term-tissue specific models for prediction of gene ontology biological processes using transcriptional profiles of aging in dros
Background: Predictive classification on the base of gene expression profiles appeared recently as an attractive strategy for identifying the biological functions of genes. Gene O...
Wensheng Zhang, Sige Zou, Jiuzhou Song
EACL
1989
ACL Anthology
13 years 6 months ago
On The Generative Power Of Two-Level Morphological Rules
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
Graeme D. Ritchie
PODS
2007
ACM
171views Database» more  PODS 2007»
14 years 5 months ago
Monadic datalog over finite structures with bounded treewidth
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
Georg Gottlob, Reinhard Pichler, Fang Wei
SERVICES
2008
246views more  SERVICES 2008»
13 years 6 months ago
BioFlow: A Web-Based Declarative Workflow Language for Life Sciences
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...
Hasan M. Jamil, Bilal El-Hajj-Diab