2016 search results - page 232 / 404 » Some observations on HC-128 |
154
click to vote
SAT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
185
click to vote
ICARCV
2006
IEEE
16 years 14 days ago
2006
IEEE
: Relevance feedback in Content Based Image Retrieval(CBIR) has been an active field of research for quite some time now. Many schemes and techniques of relevance feedback exist w...
169
click to vote
ICMB
2006
IEEE
16 years 14 days ago
2006
IEEE
The emerging use of WLAN technologies to provide WISP services in public locations has been a hot topic in the mobile industry as it threatened traditional mobile operator busines...
133
click to vote
IJCNN
2006
IEEE
16 years 14 days ago
2006
IEEE
— The purpose of this article is to provide potential neuroscientists and computer scientists with an artificial retina model, delivering spikes to higher-level visual tasks sim...
150
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...