5964 search results - page 386 / 1193 » A theory of speculative computation |
202
click to vote
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
Conversational dialogue systems cannot be evaluated in a fully formal manner, because dialogue is heavily dependent on context and current dialogue theory is not precise enough to ...
190
click to vote
STACS
2009
Springer
16 years 2 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
171
click to vote
ACG
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Commercial games have various methods of game balancing, which modify the game’s entertainment value for players of different skill levels. This paper presents a way o...
199
click to vote
AIMS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Traditional approaches to multipath routing ignore the economic incentives necessary in aligning both networks and users towards a common goal. While theory suggests cong...
180
click to vote
ASIACRYPT
2009
Springer
16 years 2 months ago
2009
Springer
Code-based cryptography is often viewed as an interesting “Post-Quantum” alternative to the classical number theory cryptography. Unlike many other such alternatives, it has th...