34 search results - page 5 / 7 » Specialization of Imperative Programs Through Analysis of Re... |
NAR
2008
13 years 8 months ago
2008
In addition to maintaining the GenBank(R) nucleic acid sequence database, the National Center for Biotechnology Information (NCBI) provides analysis and retrieval resources for th...
SAS
1994
Springer
14 years 18 days ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...
BMCBI
2008
13 years 8 months ago
2008
Background: Last years' mapping of diverse genomes has generated huge amounts of biological data which are currently dispersed through many databases. Integration of the info...