The goal of this paper is to demonstrate that inductive progrwn synthesis can be applied to learning macrooperators from planning experience. We define macros as recursive program schemes (RPSs). An RPS represents the complete subgoal structure of a given problem domain with arbitrary complexity (e. g., rocket transportation problem with n objects), that is, it represents domain specific contro...

One of the most serious challenges for speech synthesis is the systematic treatment of events in language and speech that are known to have low frequencies of occurrence. The problems that extremely unbalanced frequency distributions pose for rulebased or data-driven models are often underestimated or even unrecognized. This paper discusses these problems in the contexts of morphology, syllabif...

A large portion of software development effort is focused on modification and evolution of existing software systems. To feed forward-engineering and design activities, analysts must first recover and synthesize a complete and consistent set of architectural representations. Architectural Synthesis is one method to build this representation. During the Architectural Synthesis of a software syst...

In this paper, we describe the Generic Modeling Environment (GME), a configurable graphical modeling toolsuite that supports the rapid creation of domain specific modeling, model analysis and program synthesis environments. The metamodeling, modeling and code generation features are illustrated through a case-study.

Differential signaling schemes are a common approach to achieving higher noise immunity for critical signals in a high-speed digital design. Measurement and modeling of the transmission lines carrying differential signals, however, pose several different challenges that need to be addressed in order to achieve an accurate picture of differential signal transmission in digital system design and ...

We describe the formal specification and automated synthesis of a strategic airlift scheduler for the Air Mobility Command of the U. S. Air Force. The program synthesis system, the Kestrel Interactive Development System, composes a formal domain theory with a formal description of a class of algorithms (global search with constraint propagation) to produce provably correct and highly efficient ...

Macrolactonization of natural product analogs presents a significant challenge to both biosynthetic assembly and synthetic chemistry. In the preceding paper , we identified a thioesterase (TE) domain catalytic bottleneck processing unnatural substrates in the pikromycin (Pik) system, preventing the formation of epimerized macrolactones. Here, we perform molecular dynamics simulations showing th...

We present work in progress whose main objective is the creation of a dictionary of Arabic dialects spoken in the northern part of Israel. The dictionary will be based on recorded samples of spontaneous speech as well as detailed linguistic questionnaires. The spoken data are manually transcribed to a narrow phonemic system of notation. The transcribed texts are analyzed morphologically using a...

This paper presents a time-scale pitch-scale modification technique for concatenative speech synthesis. The method is based on a frequency domain source-filter model, where the source is modeled as a mixed excitation. This model is highly coupled with a compression scheme that result in compact acoustic inventories. When compared to the approach in the Whistler system using no mixed excitation,...

The present study is a corpus analysis of discourse prosodic information using two different types of fluent continuous Mandarin speech. Global F0 heights and duration patterns of withinand between-paragraph phrases were compared by discourse positions. Results showed that overall phrase-level F0 height was paragraph-initial>-medial>-final while the tempo pattern was paragraph-initial<-medial<-...