644 search results - page 105 / 129 » Teaching system modeling, simulation and validation |
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
—In a reconfigurable network, lightpath connections can be dynamically changed to reflect changes in traffic conditions. This paper characterizes the gain in traffic capacity tha...
BMCBI
2006
13 years 10 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we propose a SLAM framework which is based on an algorithm that combines an Unscented Particle Filter (UPF) and Unscented Kalman Filters (UKFs). A UPF is used to ...
GRAPHICSINTERFACE
2000
13 years 11 months ago
2000
This paper describes a technique for using magnetic motion capture data to determine the joint parameters of an articulated hierarchy. This technique makes it possible to determin...