Sciweavers

4581 search results - page 610 / 917
» Computing Transformation Semigroups
Sort
View
TLCA
2005
Springer
16 years 4 days ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird
ASSETS
2004
ACM
16 years 3 days ago
The audio abacus: representing numerical values with nonspeech sound for the visually impaired
Point estimation is a relatively unexplored facet of sonification. We present a new computer application, the Audio Abacus, designed to transform numbers into tones following the ...
Bruce N. Walker, Jeff Lindsay, Justin Godfrey
VRST
2004
ACM
16 years 3 days ago
Modeling and rendering of walkthrough environments with panoramic images
An important, potential application of image-based techniques is to create photo-realistic image-based environments for interactive walkthrough. However, existing image-based stud...
Angus M. K. Siu, Ada S. K. Wan, Rynson W. H. Lau
EUROPKI
2004
Springer
16 years 2 days ago
On the Use of Weber Polynomials in Elliptic Curve Cryptography
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
Elisavet Konstantinou, Yannis C. Stamatiou, Christ...
ICMI
2004
Springer
168views Biometrics» more  ICMI 2004»
16 years 1 days ago
TouchLight: an imaging touch screen and display for gesture-based interaction
A novel touch screen technology is presented. TouchLight uses simple image processing techniques to combine the output of two video cameras placed behind a semi-transparent plane ...
Andrew D. Wilson