1271 search results - page 192 / 255 » On Simulation-Checking with Sequential Systems |
FDG
2009
ACM
14 years 4 months ago
2009
ACM
Passengers pay attention to the landscape as they move through the environment. We suggest a new type of applications, which adds to that experience. It consider their motion and ...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
– With the rapid increase of design complexity and the decrease of device features in nano-scale technologies, interconnection optimization in digital systems becomes more and mo...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Bayesian estimation in nonlinear stochastic dynamical systems has been addressed for a long time. Among other solutions, Particle Filtering (PF) algorithms propagate in time a Mon...
ICTAI
2008
IEEE
14 years 4 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper proposes the kinodynamic gait planning for humanoid robots where both kinematics and dynamics of the system are considered. We can simultaneously plan both t...