Advanced information processing: proceedings of a joint symposium : information processing and software, systems design automation, Academy of Sciences of the USSR, Siemens AG, FRG, Moscow, June 5/6, 1990
What people are saying - Write a review
We haven't found any reviews in the usual places.
Approaches to the Representation of Knowledge
Construction of HighQuality Software with Formally Guaranteed Properties
15 other sections not shown
Other editions - View all
abstract algorithm analysis approach architecture Artificial Intelligence automatic basic behavior Boltzmann machine cells cellular automata chip circuit complex components concept connected connectionist consists constraints construction corresponding database defined Design Automation design process device diagnosis dialogue distributed document DSDL dynamic E-net elements environment example fault floorplanning formal global graph graphics hardware hierarchical IEEE implementation information resource input integrated interaction interface internal knowledge base knowledge representation layout logic logic synthesis machine macro methods modules neural neurons nodes object-oriented objects operations optimization output parameters partitioning pattern perceptron performed Petri nets phoneme placement possible problem Proc procedure programming languages recognition relations representation requirements scan segmentation semantics sequence sequential Siemens simulation solution specification speech recognition standard-cell blocks step structure synthesis System Design task techniques testability thyristor transformation values variables VHDL VLSI