16430 search results - page 825 / 3286 » On Computable Tree Functions |
194
click to vote
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
The SpiNNaker project aims to develop parallel computer systems with more than a million embedded processors. The goal of the project is to support largescale simulations of syste...
173
click to vote
ICALT
2009
IEEE
16 years 2 months ago
2009
IEEE
With the aim of facilitating teachers the use of good techniques in computer assisted assessment, this paper proposes the integration of rubric functionalities in an editor compli...
216
click to vote
IDA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
191
click to vote
ISSAC
2009
Springer
16 years 2 months ago
2009
Springer
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...
165
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— We construct a family of iterative discretization algorithms for computing sequences of finitely-supported correlated equilibria of n-player games with polynomial utility func...