48 search results - page 8 / 10 » Note on MAX 2SAT |
FOCS
2007
IEEE
14 years 1 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...
SODA
2010
ACM
13 years 5 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...
TASE
2010
IEEE
13 years 2 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
13 years 8 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 ...
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...