14084 search results - page 2563 / 2817 » A Theory for Game Theories |
189
click to vote
LCTRTS
2007
Springer
16 years 23 days ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
144
click to vote
MLG
2007
Springer
16 years 23 days ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
200
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
203
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
On March 11, 1944, the famous Eremitani Church in Padua (Italy) was destroyed in an Allied bombing along with the inestimable frescoes by Andrea Mantegna et al. contained in the Ov...
190
click to vote
SCHULE
2007
Springer
16 years 22 days ago
2007
Springer
: In our department we have a long history of developing interfaces for learning, which are framed by constructivist and constructionist theories of learning. Thus we try to create...