Sciweavers

560 search results - page 23 / 112
» From Continuous to Discrete Games
Sort
View
HYBRID
1994
Springer
13 years 11 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
ICIP
2002
IEEE
14 years 9 months ago
Extract highlights from baseball game video with hidden Markov models
In this paper, we describe a statistical method to detect highlights in a baseball game video. The input video is first segmented into scene shots, within which the camera motion ...
Peng Chang, Mei Han, Yihong Gong
ACRI
2004
Springer
14 years 1 months ago
A Hybrid Discrete-Continuum Model for 3-D Skeletogenesis of the Vertebrate Limb
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
Rajiv Chaturvedi, Chengbang Huang, Jesús A....
ICDM
2009
IEEE
111views Data Mining» more  ICDM 2009»
14 years 2 months ago
A Game Theoretical Model for Adversarial Learning
Abstract—It is now widely accepted that in many situations where classifiers are deployed, adversaries deliberately manipulate data in order to reduce the classifier’s accura...
Wei Liu, Sanjay Chawla
APN
2006
Springer
13 years 9 months ago
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
David Gilbert, Monika Heiner