317 search results - page 61 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
95
Voted
NIME
2005
Springer
15 years 3 months ago
2005
Springer
In recent years Computer Network-Music has increasingly captured the attention of the Computer Music Community. With the advent of Internet communication, geographical displacemen...
107
click to vote
SG
2005
Springer
15 years 3 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
ICS
2001
Tsinghua U.
15 years 1 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
72
Voted
AVI
2008
14 years 12 months ago
2008
As information environments grow in complexity, we yearn for simple interfaces that streamline human cognition and effort. Users need to perform complex operations on thousands of...
89
Voted
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...