1925 search results - page 211 / 385 » Dynamic Typing |
101
click to vote
IJRR
2007
15 years 2 months ago
2007
This paper proposes an algorithm that drives a unicycle type robot to a desired path, including obstacle avoidance capabilities. The path-following control design relies on Lyapun...
123
Voted
AC
2002
Springer
15 years 2 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
122
Voted
CGF
2004
15 years 2 months ago
2004
Sound is an indispensable element for the simulation of a realistic virtual environment. Therefore, there has been much recent research focused on the simulation of realistic soun...
113
click to vote
SIGSOFT
2010
ACM
15 years 1 days ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
132
Voted
DIS
2009
Springer
14 years 12 months ago
2009
Springer
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...