5964 search results - page 339 / 1193 » A theory of speculative computation |
186
click to vote
ENTCS
2006
15 years 7 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
166
click to vote
SIAMIS
2008
15 years 7 months ago
2008
The area distance to a convex plane curve is an important concept in computer vision. In this paper we describe a strong link between area distances and improper affine spheres. Th...
179
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
Often, we wish to design incentive-compatible algorithms for settings in which the players' private information is drawn from discrete domains (e.g., integer values). Our mai...
190
click to vote
SAC
2002
ACM
15 years 7 months ago
2002
ACM
In this paper the issue of system evolution is addressed. Activity Theory and the concept of exapansive cycles are reviewed as theories to explain systemic evolution. Contradictio...
184
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...