3228 search results - page 265 / 646 » Computationally Sound Proofs |
279
click to vote
Book
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
107
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
We have used two cameras and a SensAble Technologies "Phantom" force-feedback haptic display to haptically render a three-dimensional surface that represents key aspects...
139
click to vote
ACHI
2009
IEEE
15 years 11 months ago
2009
IEEE
An audio system is one of the basic components of a humanoid robot designed for natural interaction. For many interaction purposes it is sufficient to use the sound detection and...
127
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Multimedia and Information technology are reaching limits in terms of what can be done in multimedia applications with only sight and sound. The next critical step is to bring the...
119
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
SOA provides a flexible framework for betterintegrated systems that meet business needs. However, the existing methods are not successful in helping business analysts to devise ap...