2069 search results - page 331 / 414 » Synthesizing |
125
Voted
AUTOMATICA
2008
15 years 5 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
143
click to vote
CGF
2010
15 years 5 months ago
2010
We present a set of techniques for the synthesis of artificial images that depict branching structures like rivers, cracks, lightning, mountain ranges, or blood vessels. The centr...
172
click to vote
CGF
2010
15 years 5 months ago
2010
We present a new algorithm for efficient rendering of high-quality depth-of-field (DoF) effects. We start with a single rasterized view (reference view) of the scene, and sample t...
153
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
158
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
With the increasing growth of technology and the entrance into the digital age, we have to handle a vast amount of information every time which often presents difficulties. So, the...