2846 search results - page 30 / 570 » Believe it or Not |
COCO
2006
Springer
14 years 1 months ago
2006
Springer
We may believe SAT does not have small Boolean circuits. But is it possible that some language with small circuits looks indistiguishable from SAT to every polynomialtime bounded ...
ISLPED
1997
ACM
14 years 1 months ago
1997
ACM
In this paper we report the fully depleted CMOS/SOI device design guidelines for low power applications. Optimal technology, device and circuit parameters are discussed and compar...
ACL
2008
13 years 11 months ago
2008
This paper describes the online demo of the QuALiM Question Answering system. While the system actually gets answers from the web by querying major search engines, during presenta...
ICWN
2007
13 years 11 months ago
2007
Abstract Knowledge of nodes’ locations is an essential requirement for many applications. This paper surveys the current state of the art for localization schemes in sensor netwo...
MASCOTS
2001
13 years 11 months ago
2001
Simulation is a common technique used by Web researchers and provides many benefits. Verification and validation of a simulator are essential if the results of those simulations a...