Sciweavers

743 search results - page 112 / 149
» Games for Controls
Sort
View
ISM
2006
IEEE
231views Multimedia» more  ISM 2006»
14 years 2 months ago
Automatic Production System of Soccer Sports Video by Digital Camera Work Based on Situation Recognition
We are studying about automatic production of soccer sports videos for easy understanding by using digital camera work on camera fixed videos. The digital camera work is a movie ...
Yasuo Ariki, Shintaro Kubota, Masahito Kumano
DSRT
2005
IEEE
14 years 2 months ago
Collaborative Visualization: A Review and Taxonomy
We present a brief review of 42 collaborative visualization systems, grouped into four application areas: collaborative problem-solving environments, virtual reality environments,...
Ian J. Grimstead, David W. Walker, Nick J. Avis
ICIP
2005
IEEE
14 years 2 months ago
Robust highlight extraction using multi-stream hidden Markov models for baseball video
This paper proposes a robust statistical framework to extract highlights from a baseball broadcast video. We applied multistream Hidden Markov Models (HMMs) to control the weights...
Nguyen Huu Bach, Koichi Shinoda, Sadaoki Furui
HYBRID
2005
Springer
14 years 2 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
CAV
2003
Springer
160views Hardware» more  CAV 2003»
14 years 1 months ago
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
Jan Obdrzálek