81 search results - page 9 / 17 » The Power and Performance of Proof Animation |
ACMACE
2007
ACM
14 years 1 months ago
2007
ACM
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
PODC
2009
ACM
14 years 9 months ago
2009
ACM
In the interference scheduling problem, one is given a set of n communication requests described by pairs of points from a metric space. The points correspond to devices in a wire...
EWSN
2011
Springer
13 years 14 days ago
2011
Springer
Highly efficient compression provides a promising approach to address the transmission and computation challenges imposed by moving object tracking applications on resource constra...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— We consider the problem of estimating the incident angle of a sound, using only a single microphone. The ability to perform monaural (single-ear) localization is import...