343 search results - page 69 / 69 » Complete Axiomatizations for Reasoning About Knowledge and T... |
SCP
1998
13 years 4 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
BMCBI
2006
13 years 4 months ago
2006
Background: Several high-throughput searches for ppotential natural antisense transcripts (NATs) have been performed recently, but most of the reports were focused on cis type. A ...
EUROSYS
2010
ACM
13 years 10 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...