5964 search results - page 344 / 1193 » A theory of speculative computation |
171
Voted
RTA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
153
click to vote
MABS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Dynamic and resource-constrained environments raise interesting issues for partnership formation and multi-agent systems. In a scenario in which agents interact with each...
173
click to vote
ADS
2004
Springer
16 years 27 days ago
2004
Springer
While most dialogue systems restrict themselves to the adjustment of the propositional contents, our work concentrates on the generation of stylistic variations in order to improve...
169
Voted
ICCS
2004
Springer
16 years 26 days ago
2004
Springer
While modern evolutionary theory has emphasized the role of neutral evolution, protein biochemistry and biophysics has interpreted the properties of proteins as largely resulting f...
198
click to vote
NPAR
2010
ACM
16 years 17 days ago
2010
ACM
I argue that Non-Photorealistic Rendering (NPR) research will play a key role in the scientific understanding of visual art and illustration. NPR can contribute to scientific un...