315 search results - page 36 / 63 » Reasoning about Assignments in Recursive Data Structures |
125
click to vote
IQ
2003
15 years 5 months ago
2003
: Genome databases store data about molecular biological entities such as genes, proteins, diseases, etc. The main purpose of creating and maintaining such databases in commercial ...
152
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
124
click to vote
AAAI
2008
15 years 6 months ago
2008
One of the core goals of the Semantic Web is to store data in distributed locations, and use ontologies and reasoning to aggregate it. Social networking is a large movement on the...
132
Voted
MLG
2007
Springer
15 years 10 months ago
2007
Springer
: Network topology not only tells about tightly-connected “communities,” but also gives cues on more subtle properties of the vertices. We introduce a simple probabilistic late...
131
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...