4463 search results - page 734 / 893 » computing 2000 |
113
click to vote
SAS
2000
Springer
15 years 4 months ago
2000
Springer
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of s...
102
Voted
SIAMCOMP
2000
15 years 18 days ago
2000
We study the problem of computing the free space F of a simple legged robot called the spider robot. The body of this robot is a single point and the legs are attached to the body....
111
click to vote
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
We propose an algorithm to find piecewise linear skeletons of hand-written characters by using principal curves. The development of the method was inspired by the apparent similar...
117
click to vote
FOCS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
CGI
2000
IEEE
15 years 5 months ago
2000
IEEE
Computer synthesized characters are expected to make appropriate face, limb, and body gestures during communicative acts. We focus on non-facial movements and try to elucidate wha...