799 search results - page 18 / 160 » Synthesis for Probabilistic Environments |
133
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
131
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose a novel method to synthesize intermediate views from two stereo images and disparity maps that is robust to errors in disparity map. The proposed method computes a plac...
129
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
118
click to vote
ENTCS
2006
15 years 4 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...
155
click to vote
JCST
2010
14 years 11 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...