Sciweavers

2911 search results - page 162 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
AMAST
2004
Springer
15 years 10 months ago
A Language for Configuring Multi-level Specifications
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
Gillian Hill, Steven Vickers
WWW
2004
ACM
16 years 7 months ago
A proposal for an owl rules language
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
Ian Horrocks, Peter F. Patel-Schneider
POPL
2003
ACM
15 years 11 months ago
From control effects to typed continuation passing
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Hayo Thielecke
RECOMB
2007
Springer
16 years 6 months ago
Learning Gene Regulatory Networks via Globally Regularized Risk Minimization
Learning the structure of a gene regulatory network from time-series gene expression data is a significant challenge. Most approaches proposed in the literature to date attempt to ...
Yuhong Guo, Dale Schuurmans
ECCB
2008
IEEE
16 years 27 days ago
SIRENE: supervised inference of regulatory networks
Living cells are the product of gene expression programs that involve the regulated transcription of thousands of genes. The elucidation of transcriptional regulatory networks in ...
Fantine Mordelet, Jean-Philippe Vert