设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(2)
CNKI会议论文(2)
CNKI期刊论文0611(1)
Springer电子图书(5)
CNKI学位论文(2253)
知网期刊论文(555)
在“
SpringerLink电子期刊
”中,
命中:
214
条,耗时:小于0.01 秒
在所有数据库中总计命中:
2,818
条
1.
Semantic approach to the automatic recognition of machining features
作者:
Yingzhong Zhang
;
Xiaofang Luo
;
Baiyun Zhang…
关键词:
Machining features
;
Automatic feature recognition
;
Interacting features
;
Semantic representation
;
Knowledge
reasoning
刊名:The International Journal of Advanced Manufacturing Technology
出版年:2017
2.
STEP-NC compliant process planning of additive manufacturing: remanufacturing
作者:
Jumyung Um
;
Matthieu Rauch…
关键词:
STEP
;
NC
;
ISO 14649
;
Additive manufacturing
;
Laser cladding
;
Multiple process planning
;
Remanufacturing
;
SPAIM
刊名:The International Journal of Advanced Manufacturing Technology
出版年:2017
3.
Symbolic
Geometric
Reasoning
with Advanced Invariant Algebras
关键词:
Grassmann
;
Cayley algebra
;
Cayley bracket algebra
;
Conformal
Geometric
Algebra
;
Null bracket algebra
;
Automated
geometric
theorem proving
刊名:Lecture Notes in Computer Science
出版年:2016
4.
A Numerical Optimisation Based Characterisation of Spatial
Reasoning
关键词:
Numerical optimisation
;
Declarative spatial
reasoning
;
Constraint logic programming
;
Geometric
and spatial
reasoning
刊名:Lecture Notes in Computer Science
出版年:2016
5.
THE EFFECT OF ORIGAMI-BASED INSTRUCTION ON SPATIAL VISUALIZATION, GEOMETRY ACHIEVEMENT, AND
GEOMETRIC
REASONING
作者:
Sevil Ar?c?…
关键词:
geometric
reasoning
;
geometry achievement
;
high school geometry instruction
;
origami
;
spatial visualization
;
triangles
刊名:International Journal of Science & Math Education
出版年:2015
6.
Zig-zagging in
geometric
al
reasoning
in technological collaborative environments: a Mathematical Working Space-framed study concerning cognition and affect
作者:
Inés Mª. Gómez-Chacón
;
Isabel Mª. Romero Albaladejo
;
Mª. del Mar García López
关键词:
Geometry
;
Mathematical Working Space
;
GeoGebra
;
Cognition
;
affect interplay
;
Argumentation
;
Secondary education
刊名:ZDM
出版年:2016
7.
Integrating
Geometric
al Context for Semantic Labeling of Indoor Scenes using RGBD Images
作者:
Salman H. Khan
;
Mohammed Bennamoun…
关键词:
Scene parsing
;
Graphical models
;
Geometric
reasoning
;
Structured learning
刊名:International Journal of Computer Vision
出版年:2016
8.
Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial
Reasoning
关键词:
Declarative spatial
reasoning
;
Geometric
reasoning
;
Logic programming
;
Knowledge representation and
reasoning
刊名:Lecture Notes in Computer Science
出版年:2015
9.
Problem solving and the use of digital technologies within the Mathematical Working Space framework
作者:
Manuel Santos-Trigo
;
Luis Moreno-Armella
;
Matías Camacho-Machín
关键词:
Problem solving
;
Empirical and formal
reasoning
;
Mathematical Working Space
;
Digital technologies
刊名:ZDM
出版年:2016
10.
Architecture for the Automatic Generation of Plans for Multiple UAS from a Generic Mission Description
作者:
Jorge Muñoz-Morera
;
Ivan Maza…
关键词:
Symbolic planning
;
Task planning
;
Task allocation
;
Multiple UAS
;
Interoperability
刊名:Journal of Intelligent & Robotic Systems
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(214)
题名(21)
关键词(29)
文摘(154)
按出版年细分(214)
2017年(2)
2016年(13)
2015年(29)
2014年(18)
2013年(12)
2012年(10)
2011年(6)
2010年(10)
2009年(9)
2008年(9)
2007年(20)
2006年(17)
2005年(11)
2004年(9)
2002年(4)
2001年(6)
2000年(7)
2000年及以前(22)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.