2299 search results - page 137 / 460 » Logical Data Expiration |
135
click to vote
PSSS
2003
15 years 5 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
148
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
153
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: DNA microarray experiments are conducted in logical sets, such as time course profiling after a treatment is applied to the samples, or comparisons of the samples unde...
143
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
137
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...