5600 search results - page 400 / 1120 » Synthesizing robust systems |
165
click to vote
COMPLEXITY
2006
15 years 6 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
161
click to vote
ENTCS
2006
15 years 6 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
163
click to vote
IEICET
2006
15 years 6 months ago
2006
This paper proposes a calibration method for catadioptric camera systems consisting of a surface of revolution mirror and a perspective camera, such as HyperOmni Vision. The propo...
214
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
197
click to vote
IVC
2006
15 years 6 months ago
2006
In this paper, we propose a new method to estimate players' and ball's positions from monocular broadcast soccer video. With the relationship between objects and the cam...