Titlebook: SOFSEM 2001: Theory and Practice of Informatics; 28th Conference on C Leszek Pacholski,Peter Ru?i?ka Conference proceedings 2001 Springer-V

保存

Knowledge-Based Control Systemstrol system design are also discussed. Two case studies are described which illustrate the variety of problems and approaches: one for control of flooding in a city, the other for control of an anaerobic waste treatment plant.

FLORA

憤怒歷史

Formal Verification Methods for Industrial Hardware Designpacity limits of existing FV tools and the availability of trained personnel. The application of FV to industrial designs is an active research area with huge opportunities for academic and industrial researchers.

我不死扛

鍵琴

Agreement Problems in Fault-Tolerant Distributed Systemsroadcast, Group Membership which are different versions of this paradigmunderly much of existing fault-tolerant distributed systems. We describe these problems, explain their relationships, and state some fundamental results on their solvability, depending on the system model. We then review and com

船員

Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapesweb document retrieval. This work concerns a technique, latent semantic indexing (LSI), which has been used for textual information retrieval for many years. In this environment, LSI determines clusters of co-occurring keywords, sometimes, called concepts, so that a query which uses a particular key

Grasping

Omniscient

Osteoarthritis

Sciatica

Knowledge-Based Control Systemsem is intrinsically knowledge-intensive, benefiting from awareness of the behaviour and interactions of components. There are complexities such as time constraints, partial and qualitative information, and in many cases there is a need for a degree of human understandability in performance. In this