130 search results - page 26 / 26 » IRIS: A Semi-Formal Approach for Detecting Requirements Inte... |
DAGSTUHL
2007
13 years 7 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
BMCBI
2010
13 years 5 months ago
2010
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...
BMCBI
2010
13 years 5 months ago
2010
Background: Sequencing metagenomes that were pre-amplified with primer-based methods requires the removal of the additional tag sequences from the datasets. The sequenced reads ca...
JUCS
2008
13 years 5 months ago
2008
Abstract: Intelligence and Knowledge play more and more important roles in building complex intelligent systems, for instance, intrusion detection systems, and operational analysis...
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...