331 search results - page 9 / 67 » Fragments of order |
156
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
We present an algorithm to find fragments in a set of molecules that help to discriminate between different classes of, for instance, activity in a drug discovery context. Instea...
185
click to vote
DPD
2010
15 years 3 months ago
2010
In distributed database systems, tables are frequently fragmented and replicated over a number of sites in order to reduce network communication costs. How to fragment, when to rep...
162
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
147
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
156
click to vote
LPAR
2007
Springer
16 years 2 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...