نتایج جستجو برای: logic synthesis

تعداد نتایج: 554903  

1997
Keiko Horiguchi Alexander Franz

Previous work on speech-to-speech translation has su ered from problems of brittleness and low quality (rule-based approaches), or from excessive data requirements and linguistic ine ciency (analogical or example-based approaches). In this paper, we present a probabilistic approach to analogical speech translation, and describe its integration with linguistic processing. The evaluation results ...

2011
Young Min Park Vineet Rajendra Kamat Dae Young Lee Jonathan Brown Seunghyun Oh

.......................................................................................................................... xiii Chapter

1993
Vincent Lombart Geraint A. Wiggins Yves Deville

In this paper, we present a basic set of methods to guide a proof in the Whelk logic program synthesis system. Starting from the methods used in the Oyster/CL A M system, designed for a functional context, we developed some proof \critics" to solve the cases in which those methods are blocked in a relational context. The application of those methods and proof critics is illustrated by an exampl...

2017
Sheng-Feng Qin Kai Cheng

This research highlight overviews the development roadmap of digital design and manufacturing and focuses on the future development directions under the Industries 4.0.

2006
Henriette Bier Kathleen de Bodt Jerry Galle

This paper describes an ongoing research, SpaceCustomiser : InterActive, [SC : IA] which deals with development of digital design strategies based on non-Euclidean geometries, whereas the body in movement generates interactively architectural SPACE. The input – movement – is being electronically processed in such a way that the output represents a continuous, real-time modification of the space...

Journal: :IEE Proceedings - Software 2001
Martin Fleury R. P. Self Andy C. Downton

Journal: :J. Symb. Comput. 1993
Pierre Flener Yves Deville

Program synthesis research aims at maximally automating the passage from specifications to programs (see the survey by Biermann, 1992). We define possible formalisms for the starting points (specifications: see Section 1.1) and results (programs: see Section 1.2) of synthesis, and state existing approaches and related work, before pinning down the objectives (Section 1.3) of this paper. Some fa...

2011
Kuen-Meau Chen Siu-Tsen Shen Stephen D. Prior

A great number of factors affect the uncomfortable of seats. Apart from external appearance, the most important is the comfort for users in designing an un-adjustable seat. A system or suggested principles which assist designers in designing the comfort of the seats to testees will benefit waist of users, and hence prevent them from potential discomfort and injuries. This study attempts to deve...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید