11066 search results - page 2006 / 2214 » Linearity in Process Languages |
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
200
Voted
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
144
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: One of the difficulties in mapping biomedical named entities, e.g. genes, proteins, chemicals and diseases, to their concept identifiers stems from the potential varia...
147
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
156
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: We study the adaptation of Link Grammar Parser to the biomedical sublanguage with a focus on domain terms not found in a general parser lexicon. Using two biomedical c...