Sciweavers

261 search results - page 20 / 53
» synthese 2010
Sort
View
TVLSI
2010
13 years 2 months ago
Asynchronous Data-Driven Circuit Synthesis
A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a data-driven, rather than a control-driven, style. This approach...
Sam Taylor, Doug A. Edwards, Luis A. Plana, Luis A...
POPL
2010
ACM
14 years 5 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
Human Motion Synthesis with Optimization-based Graphs
Continuous constrained optimization is a powerful tool for synthesizing novel human motion segments that are short. Graph-based motion synthesis methods such as motion graphs and ...
Cheng Ren, Liming Zhao, Alla Safonova
ICMCS
2010
IEEE
267views Multimedia» more  ICMCS 2010»
13 years 8 months ago
Depth-level-adaptive view synthesis for 3D video
In the multiview video plus depth (MVD) representation for 3D video, a depth map sequence is coded for each view. In the decoding end, a view synthesis algorithm is used to genera...
Ying Chen, Weixing Wan, Miska M. Hannuksela, Jun Z...
COLING
2010
13 years 2 months ago
Unsupervised Synthesis of Multilingual Wikipedia Articles
In this paper, we propose an unsupervised approach to automatically synthesize Wikipedia articles in multiple languages. Taking an existing high-quality version of any entry as co...
Yuncong Chen, Pascale Fung