Sciweavers

2645 search results - page 8 / 529
» time 2003
Sort
View
63
Voted
AVBPA
2003
Springer
58views Biometrics» more  AVBPA 2003»
15 years 3 months ago
Performance Analysis of Time-Distance Gait Parameters under Different Speeds
Rawesak Tanawongsuwan, Aaron F. Bobick
96
Voted
CAV
2003
Springer
121views Hardware» more  CAV 2003»
15 years 3 months ago
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods
Sanjit A. Seshia, Randal E. Bryant