Sciweavers

2069 search results - page 62 / 414
» Synthesizing
Sort
View
ASPLOS
2006
ACM
15 years 11 months ago
Combinatorial sketching for finite programs
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
Armando Solar-Lezama, Liviu Tancau, Rastislav Bod&...
ICCD
1993
IEEE
124views Hardware» more  ICCD 1993»
15 years 9 months ago
Synthesis of Controllers from Interval Temporal Logic Specification
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
Masahiro Fujita, Shinji Kono
ICIP
2009
IEEE
16 years 6 months ago
Virtual View Rendering Using Super-resolution With Multiview Images
This paper presents a new approach to solve the problem of quality degradation of a synthesized view, when a virtual camera moves forward. Interpolation techniques using only two ...
SIGSOFT
2006
ACM
16 years 5 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
154
Voted
ICIP
2001
IEEE
16 years 6 months ago
Image-based rendering for mixed reality
In this paper, we propose an image-based approach to synthesize a novel view image for mixed reality (MR) systems. Theoretically, the image- based method is good for synthesizing ...
Hiroshi Kawasaki, Hiroyuki Aritaki, Katsushi Ikeuc...