5964 search results - page 264 / 1193 » A theory of speculative computation |
211
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
194
click to vote
TAL
2010
Springer
15 years 2 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
231
click to vote
TVCG
2012
13 years 9 months ago
2012
—A fundamental goal of visualization is to produce images of data that support visual analysis, exploration, and discovery of novel insights. An important consideration during vi...
311
click to vote
Publication
Foundations of Mechanism Design: A Tutorial - Part 1: Key Concepts and Classical Results
220
click to vote
Lecture Notes
in Algorithmic Game Theory, Noam Nisan, Tim Roughgarden, Eva Tardos and Vijay Vazirani (eds.), Chapter 16, Cambrige University Press, 2007