3228 search results - page 165 / 646 » Computationally Sound Proofs |
191
click to vote
DEXAW
2010
IEEE
15 years 5 months ago
2010
IEEE
—An innovative application of gaze-tracking and acoustic vector sensors (AVS) technologies for guidance of moving pan- tilt-zoom (PTZ) monitoring camera is presented. Gaze-tracki...
154
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
117
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Traditional musical instruments have a direct connection between the way they are played or controlled and the properties of the sound produced. This connectedness has, in general...
159
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a peripheral device that supports communication especially in terms of expressive power in mobile environments. As people can speak and hear while doing some...
155
click to vote
COCOON
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We show that finding roots of Boolean matrices is an NPhard problem. This answers a twenty year old question from semigroup theory. Interpreting Boolean matrices as dire...