4595 search results - page 68 / 919 » Reasoning about Plans |
129
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
148
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
171
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
122
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
In many text retrieval tasks, it is highly desirable to obtain a "similarity profile" of the document collection for a given query. We propose sampling-based techniques ...
