13151 search results - page 2265 / 2631 » Position based dynamics |
186
click to vote
PPAM
2007
Springer
16 years 28 days ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
170
click to vote
PVM
2007
Springer
16 years 28 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
156
click to vote
RAID
2007
Springer
16 years 28 days ago
2007
Springer
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...
186
click to vote
REFSQ
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
163
click to vote
ROBOCUP
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we propose a control system that changes the compliance based on the walking speed to stabilize biped walking on rough terrain. The proposed system does not use the ...