5877 search results - page 1067 / 1176 » Advanced High Performance Algorithms for Data Processing |
117
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
118
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
143
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we introduce the distributed spatio-temporal similarity search problem: given a query trajectory Q, we want to find the trajectories that follow a motion similar to ...
135
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Reconfigurable architectures enable the hardware function to be implemented by the user and, due to its characteristics, have been used in many areas, including Bioinformatics. One...
119
click to vote
MIE
2008
15 years 6 months ago
2008
Objective: The neighbors of a document are those documents in a corpus that are most similar to it. The objective of this paper is to develop and evaluate the related resources alg...