搜索结果: 1-6 共查到“知识库 计算机科学技术 Introduction”相关记录6条 . 查询时间(0.259 秒)
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach,abstract data type...
Understanding Science Through Knowledge Organizers: An Introduction
KR knowledge representation ontology GNOWSYS knowledge organization semantics semantic relations conceptual change learning evaluation grammar of science biology education novice expert concept maps Novak Ausubel Fisher Sowa
2015/8/5
We propose, in this paper, a teaching program based on a grammar of scientific language borrowed mostly from the area of knowledge representation in computer science and logic. The paper introduces an...
Studies in Organisational Semiotics: an introduction
Organisational Semiotics introduction
2009/12/7
The broad application of semiotic approaches to organisations has been considered by a number of information systems academics to be a necessary advance in information systems theory (see for examples...
Introduction to China’s CWMT2008 Machine Translation Evaluation
Introduction China’s CWMT2008 Machine Translation Evaluation
2009/4/22
This paper presents an overall introduction to the CWMT2008 evaluation and focuses on its two new metrics: BLEU-SBP (Chiang et al., 2008) and linguistic check-point me-thod (Zhou et al., 2008). BLEU-S...
Introduction to use virtual reality visualisations in the exploitation and virtual testing of machines
Engineering design Virtual reality Simulation Virtual manuals
2007/12/30
Purpose: Purpose of this paper: Due to quick evolution of virtual reality systems, this technology is more often used in processes of prototype’s design. On the other hand it could be also effective i...