10412 search results - page 251 / 2083 » The efficiency of algorithms - misconceptions |
148
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
149
click to vote
MDM
2010
Springer
15 years 5 months ago
2010
Springer
A k-Range Nearest Neighbor (or kRNN for short) query in road networks finds the k nearest neighbors of every point on the road segments within a given query region based on the net...
122
Voted
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, a new algorithm to route traffic efficiently is proposed. The proposed algorithm finds additional routes to the destination and identifies the critical links in the...
187
click to vote
BIRD
2008
Springer
15 years 5 months ago
2008
Springer
Exact matching of single patterns in DNA and amino acid sequences is studied. We performed an extensive experimental comparison of algorithms presented in the literature. In additi...
139
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
The popularity of zonal based algorithms for block based motion estimation has been recently increasing due to their superior performance in both terms of reduced complexity and s...