This paper presents a method for the automatic extraction of subgrammars to control and speeding-up natural language generation NLG. The method is based on explanation-based learn...
An integrated medium access control framework for a direct sequence code-division multiple access (CDMA) radio access to an asynchronous transfer mode (ATM) network is considered. ...
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...