626 search results - page 109 / 126 » When Can Formal Methods Make a Real Difference |
109
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
172
Voted
SIGIR
2012
ACM
13 years 5 months ago
2012
ACM
Similarity search is a key challenge for multimedia retrieval applications where data are usually represented in high-dimensional space. Among various algorithms proposed for simi...
114
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: In this paper we present and discuss a new approach for securing multimedia communication, which is based on three innovations. The first innovation is the integration of...
135
Voted
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
Wireless networks are built upon a shared medium that makes it easy for adversaries to launch jamming-style attacks. These attacks can be easily accomplished by an adversary emitt...
151
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...