7404 search results - page 314 / 1481 » New Tools in Education |
152
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: The work presented in this paper is related to the use of a haptic device in an environment of robotic simulation. Such device introduces a new approach to feel and to understand...
195
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
118
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
111
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This contribution presents a new approach for allocating suitable function-implementation variants depending on given quality-of-service functionrequirements for run-time reconfig...
164
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...