747 search results - page 120 / 150 » An Alternative Representation for QBF |
SIGMETRICS
2010
ACM
14 years 10 months ago
2010
ACM
Given that broadband access networks are an integral part of the ICT infrastructure and that DSL is the most widely deployed broadband access technology, greening DSL has become i...
101
click to vote
ECMDAFA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
ICGI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
105
click to vote
ICPADS
2010
IEEE
14 years 9 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...
MASS
2010
14 years 9 months ago
2010
This paper presents our work in solving one of the weakest links in 802.11-based indoor-localization: the training of ground-truth received signal strength data. While crowdsourcin...