1973 search results - page 83 / 395 » The Construction of Ludic Space |
281
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
198
click to vote
BLISS
2007
IEEE
16 years 19 days ago
2007
IEEE
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
170
click to vote
SAC
2006
ACM
16 years 7 days ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
142
click to vote
ICDE
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we show that the topologies of most logarithmic-style P2P systems like Pastry, Tapestry or P-Grid resemble small-world graphs. Inspired by Kleinberg’s small-world ...
159
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...