391 search results - page 46 / 79 » Using computer games for hybrid systems controller synthesis |
144
Voted
DSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
145
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
154
click to vote
IJFCS
2008
15 years 3 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
116
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
184
click to vote
ECBS
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...