4211 search results - page 797 / 843 » Types as Abstract Interpretations |
BICOB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...
W2GIS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A review is provided of some database and representation issues involved in the implementation of geographic information systems (GIS). The increasing popularity of web-b...
DCOSS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents a failure diagnosis algorithm for summarizing and generalizing patterns that lead to instances of anomalous behavior in sensor networks. Often multipl...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
ICCCI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The Semantic Web promises increased precision in automated information sorting, searching, organizing and summarizing. Realizing this requires significantly more reliabl...