搜索结果: 1-15 共查到“知识库 Introduction”相关记录17条 . 查询时间(0.072 秒)
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...
HUMBOLDT Project for Data Harmonisation in the Framework of GMES and ESDI: Introduction and Early Achievements
Geoinformation SDI GMES INSPIRE Architecture Data Harmonisation
2015/12/18
The issue of spatial information sharing and harmonisation has become of the uttermost importance in the European context, with the European Community strongly engaged not only in political and econom...
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...
Introduction: The Fifth International Workshop on Epigenetic Robotics
epigenetic robotics developmental psychology humanoid robotics developmental robotics
2015/7/31
Introduction: The Fifth International Workshop on Epigenetic Robotics.
“People Hearing Without Listening”:An Introduction To Compressive Sampling
People Hearing Without Listening Compressive Sampling
2015/6/17
The conventional approach to sampling signals or images follows the celebrated Shannon sampling theorem: the sampling rate must be at least twice the maximum frequency present in the signal (the so-ca...
An introduction to the hybrid simulation – the conception of the simulation system
introduction the hybrid simulation the conception the simulation system
2010/4/12
Modern engineers are increasingly turning to new opportunities to present their projects. Mathematical formulas and charts are still the basis for discussion among professionals, but are incomprehensi...
Introduction of serial architecture for small CNC facilities
Open-architecture control Industrial networks Controller
2009/12/14
Purpose: The concept of open-architecture control, which has been used as a main method of control in many branches such as automatic systems of machining, robotics, testing and control, causes a grea...
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 of new ecologically safe material for fusible elements of low voltage fuses
Ecologically safe material Low melting alloy Low voltage fuse Fusible element
2009/12/1
Purpose: In European Union countries the legalisation forbids the production, processing and use of cadmium.
By January 2008 at the latest, all articles and products containing cadmium will either ha...
REVIEW OF EXISTING ENERGY MANAGEMENT STANDARDS AND POSSIBILITIES FOR ITS INTRODUCTION IN SERBIA
energy management energy management standard energy efficiency in industry
2009/11/6
Until recent times, energy management practices primarily consisted in replacing inefficient equipment and then using any number of methods to estimate obtained savings. Experience shows that positive...
Introduction of Confidence Levels for Transparent Network Planning
Introduction Confidence Levels Transparent Network Planning
2009/7/14
Confidence level on connection feasibilities is used to obtain Q-estimate margins when parameter uncertainties are considered. Adding such margins to the Q-estimate instead of fixed margins gives 22% ...
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...
秦山二期装卸料机简介(Brief Introduction on Fuel Manipulator Crane for Qinshan Phase Ⅱ)
新燃料 地址码 压水堆 编码器
2008/11/17
介绍核电秦山二期工程装卸料机的功能、组成、控制、原理其及设计、制造、使用情况。
什么是电子海图(Introduction on ECDIS)(图)
电子 海图 电子海图
2008/6/19
The Electronic Chart Display and Information System(ECDIS), with its unique features in
comparison with the paper chart, is being more and more attractive to the maritime field.
This paper descr...