219 search results - page 28 / 44 » Context-aware counter abstraction |
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Priority queues are essential for various network processing applications, including per-flow queueing with Quality-of-Service (QoS) guarantees, management of large fa...
122
click to vote
CIG
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper compares the use of temporal difference learning (TDL) versus co-evolutionary learning (CEL) for acquiring position evaluation functions for the game of Othe...
118
click to vote
ICA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Mutual information (MI) is a common criterion in independent component analysis (ICA) optimization. MI is derived from probability density functions (PDF). There are scen...
101
click to vote
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...