the goal of this work is to make human-machine interaction in natural language smooth and efficient. To realize this, the machine has to generate natural language sentences which are understood by users most easily. A...
详细信息
this conference proceedings contains 91 papers. Topics include: commercially poorer advanced control techniques;induction motor servos;control systems for batch processes;shop floor computing standards and work cell c...
详细信息
ISBN:
(纸本)0914331566
this conference proceedings contains 91 papers. Topics include: commercially poorer advanced control techniques;induction motor servos;control systems for batch processes;shop floor computing standards and work cell controllers;interfacing the plant floor withthe outside world;manufacturing automation protocol;management information systems;operator interfaces in integrated manufacturing systems;control computer programming;vision systems for inspection applications;statistical process control;safety systems in process plants;flexible manipulation with programmable motion controllers;personal computers in control systems;software for manufacturing plant control;analytical instruments in control applications;programmable logic-controllers and complex control applications;control retrofitting and modernization;local area networks;process computers in generating stations;discrete simulation in control systems design;personal computer to programmable controller interfaces;artificial intelligence and expert systems in plant floor applications;planning and management for computer integrated manufcturing;and self-tuning controllers.
SXL is an executable specification language that is based on logic. It is shown how SXL can be used to specify, execute and analyze finite-state protocols. Using a conventional state-transition framework, protocol beh...
详细信息
ISBN:
(纸本)0818606975
SXL is an executable specification language that is based on logic. It is shown how SXL can be used to specify, execute and analyze finite-state protocols. Using a conventional state-transition framework, protocol behavior is specified by SXL statements which define preconditions and postconditions for each transition. Error conditions, such as deadlock, are also formally defined in SXL. In the context of a particular protocol model, evaluating an error condition can automatically determine all global states satisfying that condition. A complete SXL specification of a small protocol example is presented, along with SXL definitions of several standard error conditions.
An important outcome of recent work on the psychology o f programming has been the recognition that we have a poor understanding of how various programming practices-indenting, commenting, naming, etc.-facilitate or i...
详细信息
the proceedings contain 22 papers. the special focus in this conference is on programming. the topics include: the program dependence graph and its use in optimization;implementations of nondeterministic programs;for ...
ISBN:
(纸本)9783540129257
the proceedings contain 22 papers. the special focus in this conference is on programming. the topics include: the program dependence graph and its use in optimization;implementations of nondeterministic programs;for statements with restricted enumerations;a method for developing concurrent systems;an optimal-time recursive evaluator for attribute grammars;on the Merlin-Randell problem of train journeys;un systeme d'aide a la preuve de compilateurs;optimized combinatoric code for applicative language implementation;polymorphic type schemes and recursive definitions;une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees;non-sequential behaviour;proving properties of Snobol4 patterns: Selecting the assertion format;polynomial-time analysis for a class of communicating processes;Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus;le type abstrait “vecteur” et les methodes de programmation des ordinateurs vectoriels;some topics in the design of the specification language lotos;specification and verification of networks protocols using temporal logic;une implémentation des coroutines en Lisp, application à Smalltalk;vesta Vectorisation automatique et parametree de programmes;l'Inclusion de filtres: Une approche de la creation d'environnements symboliques en Plasma.
this conference proceedings contains 31 papers, 2 of which are in French. the papers address various topics from the field of theoretical computer science. Computer metatheory, programming techniques, mathematical log...
详细信息
ISBN:
(纸本)3540119736;9783540119739
this conference proceedings contains 31 papers, 2 of which are in French. the papers address various topics from the field of theoretical computer science. Computer metatheory, programming techniques, mathematical logic, and number science topics are presented.
We present in this paper a pseudo functional language and a specification language both of which are designed to describe systems of synchronized processes with shared resources. the semantics of the pseudo functional...
详细信息
In [Bundy and Sterling 81] we described how meta-level inference was useful for controlling search and deriving control information in the domain of algebra. Similar techniques are applicable to the verification of lo...
详细信息
this conference proceedings contains 31 papers, 2 of which are in French. the papers address various topics from the field of theoretical computer science. Computer metatheory, programming techniques, mathematical log...
详细信息
ISBN:
(纸本)3540119736
this conference proceedings contains 31 papers, 2 of which are in French. the papers address various topics from the field of theoretical computer science. Computer metatheory, programming techniques, mathematical logic, and number science topics are presented.
the paper presents a method of mechanical deduction along the lines indicated in [3]. Attempts to find refutation (s) are recorded in the form of triples: plan, constraints, conflicts. A plan corresponds to a portion ...
详细信息
暂无评论