3510 search results - page 348 / 702 » Searching with numbers |
156
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
156
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
One of well-known routing protocol for ad-hoc networks is Zone Routing Protocol (ZRP). The performance of ZRP is better than other protocols. However, many useless control packets...
212
Voted
ISW
1997
Springer
15 years 10 months ago
1997
Springer
Signcryption is a new paradigm in public key cryptography that simultaneously fulfills both the functions of digital signature and public key encryption in a logically single step,...
162
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
269
Voted
EUSAI
2003
Springer
16 years 2 days ago
2003
Springer
This paper addresses the content overload problem applied to photo retrieval activities in the home environment. The starting point is an analysis of the main activities that users...