159 search results - page 7 / 32 » Promised and Distributed Quantum Search |
AI
2003
Springer
13 years 12 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...
KBSE
2003
IEEE
13 years 12 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
EMNLP
2009
13 years 4 months ago
2009
In this paper we investigate temporal patterns of web search queries. We carry out several evaluations to analyze the properties of temporal profiles of queries, revealing promisi...
AICT
2006
IEEE
14 years 23 days ago
2006
IEEE
A peer-to-peer file sharing system includes a lookup and a content distribution protocol. Very efficient peer-to-peer protocols exist for content distribution, but efficient in...
IJCIA
2008
13 years 6 months ago
2008
Abstract: While code division multiple access (CDMA) is becoming a promising cellular communication system, the design for a CDMA cellular system configuration has posed a practica...