1382 search results - page 99 / 277 » Formal Analysis of Online Algorithms |
183
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The search for enriched features has become widely used to characterize a set of genes or proteins. A key aspect of this technique is its ability to identify correlati...
168
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
184
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
140
click to vote
COCOON
2005
Springer
15 years 11 months ago
2005
Springer
Rocchio’s similarity-based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive supervised lear...
205
click to vote
CAIP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...