14779 search results - page 2828 / 2956 » On Ultrametric Algorithmic Information |
118
click to vote
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
IUI
2010
ACM
15 years 8 months ago
2010
ACM
We developed an augmented reality (AR) dental training simulator utilizing a haptic (force feedback) device. A number of dental procedures such as crown preparation and opening ac...
102
click to vote
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
People are often required to catch up on information they have missed in meetings, because of lateness or scheduling conflicts. Catching up is a complex cognitive process where pe...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
In modern Web applications, style formatting and layout calculation often account for a substantial amount of local Web page processing time. In this paper1 , we present two novel...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
In online content voting networks, aggregate user activities (e.g., submitting and rating content) make high-quality content thrive through the unprecedented scale, high dynamics ...