3646 search results - page 226 / 730 » Voice search for development |
167
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
150
click to vote
JFR
2008
15 years 6 months ago
2008
Robots are slowly finding their way into the hands of search and rescue groups. One of the robots contributing to this effort is the Inuktun VGTV-Xtreme series by American Standar...
172
click to vote
IJAIT
2007
15 years 6 months ago
2007
In this paper, we study the unrelated parallel machine problem for minimizing the makespan, which is NP-hard. We used Simulated Annealing (SA) and Tabu Search (TS) with Neighborho...
167
click to vote
INTR
2007
15 years 6 months ago
2007
Purpose – The purpose of this paper is to examine the marketing and sales implications of page ranking techniques, in terms of how companies may use knowledge of their operation...
161
click to vote
ITNG
2006
IEEE
16 years 20 days ago
2006
IEEE
The utilization of parallel processing in bioinformatics is a relatively new development, and wide spread use of parallel processing in this domain has been limited by the availab...