48 search results - page 8 / 10 » Note on MAX 2SAT |
FOCS
2007
IEEE
15 years 6 months ago
2007
IEEE
: We study the computational strength of quantum particles (each of finite dimensionality) arranged on a line. First, we prove that it is possible to perform universal adiabatic q...
117
click to vote
SODA
2010
ACM
14 years 10 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
114
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
SEMWIKI
2008
15 years 1 months ago
2008
This paper presents a tool for semantic personal knowledge management called Hypertext Knowledge Workbench (HKW), an editor and browser for semantic personal knowledge models. The ...
219
click to vote
Lecture Notes
The lecture notes cover the following topics,
CSE 574S Wireless and Mobile Networking: Course Overview,
Wireless Networking Trends,
A Review of Key Wireless Physical Layer Co...