设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(5)
SpringerLink电子期刊(529)
NATURE电子期刊(21)
Springer电子图书(7)
ProQuest学位论文(85)
Elsevier电子期刊(300)
在“
SpringerLink电子期刊
”中,
命中:
529
条,耗时:0.0169861 秒
在所有数据库中总计命中:
947
条
1.
Model checking of state-
rich
formalism
by linking to
\(CSP\,\Vert \,B\)
作者:
Kangfeng Ye…
关键词:
\(CSP \parallel B\)
;
CSP
ZB ;
ProB
;
Model checking
;
Buffer
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
2.
Towards formal open standards: formalizing a standard’s requirements
作者:
Konstantinos Barlas
;
Eleni Berki…
关键词:
Open standards
;
Formal methods
;
Formal specification
;
Rich
Site Summary (RSS)v2.0 protocol
;
CafeOBJ
刊名:Innovations in Systems and Software Engineering
出版年:2017
3.
Urdu language processing: a survey
作者:
Ali Daud
;
Wahab Khan
;
Dunren Che
关键词:
Urdu language processing (ULP)
;
Datasets
;
Characteristics
;
Natural language processing (NLP)
;
Part
;
of
;
speech (POS)
;
Named entity recognition (NER)
;
Sentence boundary detection (SBD)
刊名:Artificial Intelligence Review
出版年:2017
4.
Regular
Languages
of Thin Trees
作者:
Tomasz Idziaszek
;
Michał Skrzypczak
;
Mikołaj Bojańczyk
关键词:
Infinite trees
;
Regular
languages
;
Effective characterizations
;
Topological complexity
刊名:Theory of Computing Systems
出版年:2016
5.
Serpent or Half-Serpent? Bernhard
Rich
el’s Melusine and the Making of a Western European Icon
作者:
Lydia Zeldenrust
关键词:
Mélusine
;
Translation
;
Woodcuts
;
Early book production
;
Hybridity
;
Monstrosity
刊名:Neophilologus
出版年:2016
6.
Supporting the Linked Data Approach to Maintain Coherence Across
Rich
EMF Models
关键词:
Linked data
;
OSLC
;
Tool integration
;
Tool interoperability
;
EMF
;
Code generation
;
Model
;
driven engineering
刊名:Lecture Notes in Computer Science
出版年:2016
7.
Putting indigenous conservation policy into practice delivers biodiversity and cultural benefits
作者:
Emilie Ens
;
Mitchell. L. Scott
;
Yugul Mangi Rangers…
关键词:
Indigenous biocultural knowledge (IBK)
;
Natural and cultural resource management (NCRM)
;
Traditional
languages
;
Cross
;
cultural environmental management
;
Traditional ecological knowledge
刊名:Biodiversity & Conservation
出版年:2016
8.
Tamil Morphological Analyzer Using Support Vector Machines
关键词:
Tamil
;
Morphological analyzer
;
Support vector machine
;
Natural language processing
;
Dravidian
languages
刊名:Lecture Notes in Computer Science
出版年:2016
9.
A Model for Verbalising Relations with Roles in Multiple
Languages
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Class n-Gram Models for Very Large Vocabulary Speech Recognition of Finnish and Estonian
关键词:
Language modelling
;
Class n
;
gram models
;
Morphologically
rich
languages
;
Speech recognition
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(529)
题名(5)
关键词(2)
文摘(384)
按出版年细分(529)
2017年(3)
2016年(26)
2015年(45)
2014年(28)
2013年(47)
2012年(51)
2011年(16)
2010年(23)
2009年(24)
2008年(33)
2007年(48)
2006年(62)
2005年(46)
2004年(20)
2003年(16)
2002年(14)
2001年(9)
2000年(4)
2000年及以前(14)
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
.