5583 search results - page 954 / 1117 » Application of Micro-Genetic Algorithm for Task Based Comput... |
159
click to vote
WS
2004
ACM
15 years 10 months ago
2004
ACM
In many applications of wireless sensor networks (WSN), sensors are deployed un-tethered in hostile environments. For locationaware WSN applications, it is essential to ensure tha...
136
click to vote
IDA
2002
Springer
15 years 4 months ago
2002
Springer
Recently we presented a new approach [20] to the classification problem arising in data mining. It is based on the regularization network approach but in contrast to other methods...
155
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
141
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
130
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...