Sciweavers

1385 search results - page 155 / 277
» Natural Rewriting for General Term Rewriting Systems
Sort
View
KCAP
2003
ACM
15 years 11 months ago
LitLinker: capturing connections across the biomedical literature
The explosive growth in the biomedical literature has made it difficult for researchers to keep up with advancements, even in their own narrow specializations. In addition, this c...
Wanda Pratt, Meliha Yetisgen-Yildiz
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé
ISESE
2006
IEEE
16 years 15 days ago
The evolution of FreeBSD and Linux
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
Clemente Izurieta, James M. Bieman
CIE
2008
Springer
15 years 8 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
CIKM
2009
Springer
15 years 11 months ago
Data extraction from the web using wild card queries
This paper presents an overview of our framework for searching and retrieving facts and relationships within natural language text sources. In this framework, an extraction task o...
Davood Rafiei, Haobin Li