1005 search results - page 66 / 201 » A Language for Manipulating Arrays |
128
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
148
click to vote
CG
2008
Springer
15 years 3 months ago
2008
Springer
We report on a multiresolution rendering system driving light field displays based on a specially arranged array of projectors and a holographic screen. The system gives multiple ...
145
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper presents a signal processing tool for analyzing and manipulating digitized acoustic wave fields, based on a spatio-temporal extension of the time–frequency represent...
149
click to vote
NIME
2001
Springer
15 years 8 months ago
2001
Springer
The MATRIX (Multipurpose Array of Tactile Rods for Interactive eXpression) is a new musical interface for amateurs and professionals alike. It gives users a 3dimensional tangible ...
113
click to vote
APGV
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...