882 search results - page 145 / 177 » Local Search for Very Large SAT Problems |
135
Voted
LISA
1994
15 years 5 months ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...
112
Voted
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
We present Paged Graph Visualization (PGV), a new semiautonomous tool for RDF data exploration and visualization. PGV consists of two main components: a) the “PGV explorer” an...
239
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
184
Voted
CAMP
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper describes the mapping of a recently introduced template matching algorithm based on the Normalized Cross Correlation (NCC) on a general purpose processor endowed wit...
157
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...