3228 search results - page 536 / 646 » Computationally Sound Proofs |
VRML
1998
ACM
14 years 1 months ago
1998
ACM
Peloton is a sports simulator that uses the Virtual Reality Modeling Language (VRML) to create virtual environments for athletic training and competition. In particular, it create...
MOBISYS
2010
ACM
13 years 11 months ago
2010
ACM
Sensor networks have been conventionally defined as a network of sensor motes that collaboratively detect events and report them to a remote monitoring station. This paper makes a...
COMPUTER
2007
13 years 8 months ago
2007
ract in that they deal with sequences of sound or movement. Two social or personality skills can also be defined: Intrapersonal skill helps people perceive and control their own th...
SIGIR
2011
ACM
12 years 11 months ago
2011
ACM
We study the problem of automatically assigning appropriate music pieces to a picture or, in general, series of pictures. This task, commonly referred to as soundtrack suggestion,...
FOCS
1989
IEEE
14 years 27 days ago
1989
IEEE
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...