Sciweavers

7766 search results - page 1321 / 1554
» Testing Nondeterminate Systems
Sort
View
ATAL
2006
Springer
14 years 2 months ago
Learning against multiple opponents
We address the problem of learning in repeated N-player (as opposed to 2-player) general-sum games. We describe an extension to existing criteria focusing explicitly on such setti...
Thuc Vu, Rob Powers, Yoav Shoham
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
14 years 2 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
CCECE
2006
IEEE
14 years 2 months ago
Variable Step-Size Affine Projection Algorithm with a Weighted and Regularized Projection Matrix
This paper presents a forgetting factor scheme for variable step-size affine projection algorithms (APA). The proposed scheme uses a forgetting processed input matrix as the projec...
Tao Dai, Andy Adler, Behnam Shahrrava
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
14 years 2 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
DSRT
2004
IEEE
14 years 2 months ago
FreeMMG: A Scalable and Cheat-Resistant Distribution Model for Internet Games
State-of-the-art Massively Multiplayer Games such as EverQuest and Ultima Online are currently implemented as client-server systems. Although this approach allows the development ...
Fábio Reis Cecin, Rodrigo Araújo Rea...
« Prev « First page 1321 / 1554 Last » Next »