1546 search results - page 248 / 310 » Context-Aware Computing with Sound |
151
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
150
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
189
click to vote
KDD
2007
ACM
16 years 4 months ago
2007
ACM
Existing data-stream clustering algorithms such as CluStream are based on k-means. These clustering algorithms are incompetent to find clusters of arbitrary shapes and cannot hand...
122
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...
241
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....