306 search results - page 57 / 62 » Conversation Types |
179
click to vote
LISP
2007
15 years 6 months ago
2007
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
174
Voted
VIS
2003
IEEE
16 years 7 months ago
2003
IEEE
Volume rendering is a flexible technique for visualizing dense 3D volumetric datasets. A central element of volume rendering is the conversion between data values and observable q...
185
Voted
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
192
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Popular content in video sharing web sites (e.g., YouTube) is usually duplicated. Most scholars define near-duplicate video clips (NDVC) based on non-semantic features (e.g., di...
165
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
We consider the problem of interconnecting a simple type of social network: Instant Messaging services. Today, users are members of various IM communities such as AOL, Yahoo, and ...