Sciweavers

2116 search results - page 207 / 424
» On Probabilistic Alternating Simulations
Sort
View
IROS
2006
IEEE
100views Robotics» more  IROS 2006»
15 years 10 months ago
Toward Interactive Reaching in Static Environments for Humanoid Robots
— Reaching is a critical task for humanoid robots, requiring the application of state-of-the-art algorithms for motion planning and inverse kinematics. Practical algorithms for s...
Evan Drumwright, Victor Ng-Thow-Hing
QEST
2006
IEEE
15 years 10 months ago
Limiting Behavior of Markov Chains with Eager Attractors
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Ma...
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
ICMCS
2005
IEEE
104views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Joint Inter and Intra Shot Modeling for Spectral Video Shot Clustering
This paper proposed a novel video shot clustering algorithm using spectral method by joint modeling of inter and intra shot. Gauss Mixture Model (GMM) is used for probabilistic sp...
Jianning Zhang, Lifeng Sun, Shiqiang Yang, Yuzhuo ...
QEST
2005
IEEE
15 years 10 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...