1481 search results - page 249 / 297 » Enriching the Software Development Process by Formal Methods |
ICAI
2008
15 years 1 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
110
click to vote
ECBS
1999
IEEE
15 years 4 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
122
click to vote
BIOINFORMATICS
2007
14 years 11 months ago
2007
Motivation: Clustering technique is used to find groups of genes that show similar expression patterns under multiple experimental conditions. Nonetheless, the results obtained by...
ACE
2003
15 years 1 months ago
2003
Being able to formulate useful SQL queries is a fundamental skill required by many software development professionals. Mastering this skill is a difficult process, requiring consi...
129
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...