Sciweavers

4772 search results - page 27 / 955
» An approach to interface synthesis
Sort
View
WWW
2009
ACM
14 years 8 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
CGI
2004
IEEE
13 years 11 months ago
Fast and High Quality Overlap Repair for Patch-Based Texture Synthesis
Patch-based texture synthesis has proven to produce high quality textures faster than pixel-based approaches. Previous algorithms differ in how the regions of overlap between neig...
Andrew Nealen, Marc Alexa
ATAL
2004
Springer
14 years 24 days ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
WSCG
2004
141views more  WSCG 2004»
13 years 8 months ago
User-defined Texture Synthesis
Synthesis of textures is a very popular and active area of research; the applications and the areas of interest are various and significant. In the last years, much work has been ...
Francesca Taponecco
ICSE
2010
IEEE-ACM
14 years 5 days ago
Oracle-guided component-based program synthesis
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashis...