10289 search results - page 1876 / 2058 » Standard bases in K |
216
click to vote
IDEAS
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper proposes WIDS, a wireless intrusion detection system, which applies data mining clustering technique to wireless network data captured through hardware sensors for purp...
171
click to vote
INFOCOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—IEEE 802.11 WiFi equipment based wireless mesh networks have recently been proposed as an inexpensive approach to connect far-flung rural areas. Such networks are built using h...
144
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
194
click to vote
SSDBM
2008
IEEE
16 years 28 days ago
2008
IEEE
Increasingly, many data sources appear as online databases, hidden behind query forms, thus forming what is referred to as the deep web. It is desirable to have systems that can pr...
128
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
Despite the progress of the last decades in electronic design automation, arithmetic circuits have always received way less attention than other classes of digital circuits. Logic...