192 search results - page 11 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
71
Voted
VLDB
2000
ACM
15 years 1 months ago
2000
ACM
Many information resources on the web are relevant primarily to limited geographical communities. For instance, web sites containing information on restaurants, theaters, and apar...
80
Voted
CJ
2010
14 years 9 months ago
2010
Abstract. Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex a...
MOBIDE
2006
ACM
15 years 3 months ago
2006
ACM
The representation of moving objects in spatial database systems has become an important research topic in recent years. As it is not realistic to track and store the location of ...
NAR
2011
2011
FragmentStore - a comprehensive database of fragments linking metabolites, toxic molecules and drugs
14 years 11 days ago
Consideration of biomolecules in terms of their molecular building blocks provides valuable new information regarding their synthesis, degradation and similarity. Here, we present...
SC
2000
ACM
15 years 1 months ago
2000
ACM
An explosion in the amount of data generated through chemical and biological experimentation has been observed in recent years. This rapid proliferation of vast amounts of data ha...