1668 search results - page 330 / 334 » Two Philosophical Applications of Algorithmic Information Th... |
IUI
2004
ACM
14 years 1 months ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...
MIR
2010
ACM
14 years 1 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...
PODC
2003
ACM
14 years 1 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
WOLLIC
2010
Springer
14 years 28 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
PLDI
1998
ACM
14 years 3 days ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...