Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. The paper introduces and discusses a structural mapping system from Object-Z to the programming ...
详细信息
The Navy's Next Generation CompMer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface standards that will allow the US. Nav...
Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as...
详细信息
Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as...
详细信息
Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as a science platform and potentially a transportation node for manned missions to the solar system. The Data Management System (DMS) is a key element of SSF. DMS is the computational infrastructure of SSF, responsible for integrating information onboard into a cooperative whole. Its primary role is to provide integrated data processing and communication services for both the core function and the payloads. The authors focus on some real-time issues in the design of DMS.< >
There are many different ways to prove that a training example is subsumed by a target concept. Each proof gives rise to a different sufficient condition for the concept, some of which are considerably more general th...
详细信息
With an ever increasing body of software to maintain and a small number ofexperiencedpersonnel, it is critical to improve software maintenance practice. One difficult problem maintenance organizations must address is ...
详细信息
This paper compares the finitary three-valued logic LPF and the infinitary two-valued logic MPLω, the logics underlying VDM SL and COLD-K. These logics reflect different approaches to reasoning about partial function...
详细信息
Whereas existing Prolog systems are very effective at handling small knowledge bases, they are not very efficient at and often incapable of handling large sets of clauses. Large knowledge bases which may comprise mill...
ISBN:
(纸本)9780897913195
Whereas existing Prolog systems are very effective at handling small knowledge bases, they are not very efficient at and often incapable of handling large sets of clauses. Large knowledge bases which may comprise millions of clauses and are shared by a number of users, may need to reside in secondary memory. In such cases exhaustive search is inordinately slow. Various approaches have been put forward for handling the problem, most of which involve coupled systems (loosely or tightly coupled). A Prolog data/knowledge based system which provides an integrated solution to the problem is being developed. An essential element in this system is the CLAuse Retrieval Engine, CLARE, which is a special purpose hardware engine designed to perform selective retrieval of data from disk in order to identify all potential clauses which will be required for full unification during a query. The engine consists of two separate hardware components, which together form a two-stage filtering configuration. This paper concentrates on the second stage filter which is concerned with partial test unification.
This book constitutes thoroughly refereed revised selected papers from the BPM 2012 Joint Workshop on Process-Oriented Information Systems and Knowledge Representation in Health Care, ProHealth 2012/KR4HC 2012, held i...
详细信息
ISBN:
(数字)9783642364389
ISBN:
(纸本)9783642364372
This book constitutes thoroughly refereed revised selected papers from the BPM 2012 Joint Workshop on Process-Oriented Information Systems and Knowledge Representation in Health Care, ProHealth 2012/KR4HC 2012, held in Tallinn, Estonia, in September 2012.
The 9 papers presented were carefully reviewed and selected from 19 submissions. In addition the book contains 1 keynote paper and 2 invited contributions. The papers are organized in topical sections named: guidelines and summarization; archetypes and cooperation; and process mining and temporal analysis.
th The 14 International Conference on Knowledge-Based and Intelligent Information and engineering Systems was held during September 8–10, 2010 in Cardiff, UK. The conference was organized by the School of engineering...
详细信息
ISBN:
(数字)9783642153938
ISBN:
(纸本)9783642153921
th The 14 International Conference on Knowledge-Based and Intelligent Information and engineering Systems was held during September 8–10, 2010 in Cardiff, UK. The conference was organized by the School of engineering at Cardiff University, UK and KES International. KES2010 provided an international scientific forum for the presentation of the - sults of high-quality research on a broad range of intelligent systems topics. The c- ference attracted over 360 submissions from 42 countries and 6 continents: Argentina, Australia, Belgium, Brazil, Bulgaria, Canada, Chile, China, Croatia, Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong ROC, Hungary, India, Iran, Ireland, Israel, Italy, Japan, Korea, Malaysia, Mexico, The Netherlands, New Zealand, Pakistan, Poland, Romania, Singapore, Slovenia, Spain, Sweden, Syria, Taiwan, - nisia, Turkey, UK, USA and Vietnam. The conference consisted of 6 keynote talks, 11 general tracks and 29 invited s- sions and workshops, on the applications and theory of intelligent systems and related areas. The distinguished keynote speakers were Christopher Bishop, UK, Nikola - sabov, New Zealand, Saeid Nahavandi, Australia, Tetsuo Sawaragi, Japan, Yuzuru Tanaka, Japan and Roger Whitaker, UK. Over 240 oral and poster presentations provided excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and generation of new ideas. Extended versions of selected papers were considered for publication in the Int- national Journal of Knowledge-Based and Intelligent engineering Systems, Engine- ing Applications of Artificial Intelligence, Journal of Intelligent Manufacturing, and Neural Computing and Applications.
暂无评论