4463 search results - page 484 / 893 » computing 2000 |
154
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Over the last decade, processors have made enormous gains in speed. But increase in the speed of the secondary and tertiary storage devices could not cope with these gains. The re...
159
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
: We present an algorithm for haptic display of moderately complex polygonal models with a six degree of freedom (DOF) force feedback device. We make use of incremental algorithms ...
176
click to vote
STOC
2000
ACM
15 years 11 months ago
2000
ACM
We propose a new method for proving lower bounds on quantum query algorithms. Instead of a classical adversary that runs the algorithm with one input and then modifies the input,...
194
click to vote
AADEBUG
2000
Springer
15 years 11 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
152
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
Allowing the student to have some control over the diagnosis inspecting and changing the model the system has made of him is a feasible approach in student modelling which tracks t...