8431 search results - page 1578 / 1687 » Algorithmically Independent Sequences |
BIBM
2008
IEEE
15 years 4 months ago
2008
IEEE
Many characteristics of functional synthetic siRNAs have been identified. Our three-phase algorithm was developed to design siRNA on a wholegenome scale based on these characteris...
105
click to vote
IDEAS
2008
IEEE
15 years 4 months 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...
FOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a near-optimal reduction from approximately counting the cardinality of a discrete set to approximately sampling elements of the set. An important application of our wo...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—As developments in wireless networks continue, there is an increasing expectation with regard to supporting highquality real-time video streaming service in such networks. The r...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...