咨询与建议

限定检索结果

文献类型

  • 109 篇 会议
  • 25 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 139 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 87 篇 工学
    • 71 篇 计算机科学与技术...
    • 59 篇 软件工程
    • 17 篇 信息与通信工程
    • 9 篇 控制科学与工程
    • 8 篇 生物工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 机械工程
    • 4 篇 光学工程
    • 4 篇 建筑学
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 动力工程及工程热...
    • 2 篇 电气工程
    • 2 篇 电子科学与技术(可...
  • 54 篇 理学
    • 33 篇 数学
    • 10 篇 物理学
    • 10 篇 生物学
    • 6 篇 系统科学
    • 5 篇 统计学(可授理学、...
    • 3 篇 化学
  • 31 篇 管理学
    • 17 篇 图书情报与档案管...
    • 15 篇 管理科学与工程(可...
    • 9 篇 工商管理
  • 7 篇 法学
    • 7 篇 社会学
  • 6 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 5 篇 教育学
    • 5 篇 教育学
  • 2 篇 文学
  • 2 篇 农学
  • 1 篇 经济学

主题

  • 6 篇 artificial intel...
  • 5 篇 data mining
  • 4 篇 software enginee...
  • 4 篇 optimization
  • 4 篇 multi agent syst...
  • 3 篇 computer science
  • 3 篇 super-resolution
  • 3 篇 compressed sensi...
  • 3 篇 computer archite...
  • 3 篇 semantics
  • 3 篇 software
  • 2 篇 learning systems
  • 2 篇 information syst...
  • 2 篇 cesium
  • 2 篇 compressed
  • 2 篇 application soft...
  • 2 篇 modeling languag...
  • 2 篇 real time system...
  • 2 篇 data mining and ...
  • 2 篇 interference

机构

  • 3 篇 dept. of compute...
  • 3 篇 school of foreig...
  • 3 篇 dept. of linguis...
  • 3 篇 dept. of compute...
  • 3 篇 dept. of languag...
  • 3 篇 dept. mathematic...
  • 2 篇 dept. of languag...
  • 2 篇 dept. of signal ...
  • 2 篇 dept. of compute...
  • 2 篇 tissue engineeri...
  • 2 篇 dept. signal the...
  • 2 篇 programming and ...
  • 2 篇 biomedical engin...
  • 2 篇 national technic...
  • 2 篇 department of co...
  • 2 篇 department of fo...
  • 2 篇 dept. of electri...
  • 2 篇 dept. of enginee...
  • 2 篇 kharkiv national...
  • 2 篇 dept. of speech ...

作者

  • 7 篇 griol david
  • 6 篇 fritzson peter
  • 5 篇 callejas zoraida
  • 4 篇 leonard barolli
  • 4 篇 fatos xhafa
  • 3 篇 pablo padilla
  • 3 篇 hu hai
  • 3 篇 xhafa fatos
  • 3 篇 rafael molina
  • 3 篇 schötz susanne
  • 3 篇 wael saafin
  • 3 篇 rasras mohammad
  • 3 篇 miguel vega
  • 3 篇 marin iuliana
  • 3 篇 lópez-cózar ramó...
  • 3 篇 aggelos k. katsa...
  • 3 篇 wang rui
  • 2 篇 astigarraga aitz...
  • 2 篇 troels andreasen
  • 2 篇 radu serban

语言

  • 136 篇 英文
  • 2 篇 其他
  • 1 篇 日文
检索条件"机构=Dept. of Computer Science and Programming Languages"
139 条 记 录,以下是31-40 订阅
排序:
Non-clausal deductive techniques for computing prime implicants and prime implicates  4th
收藏 引用
4th International Conference on Logic programming and Automated Reasoning, LPAR 1993
作者: Ramesh, Anavai Murray, Neil V. Inst. for Programming and Logics Dept. of Computer Science State Univ. of N.Y. at Albany AlbanyNY12222 United States
Several methods to compute the prime implicants and the prime implicates of a negation normal form (NNF) formula are developed and implemented. An algorithm PI is introduced that is an extension to negation normal for... 详细信息
来源: 评论
Properties, Types and Meaning  1
收藏 引用
丛书名: Studies in Linguistics and Philosophy
1000年
作者: Gennaro Chierchia Barbara H. Partee Raymond Turner
This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com­ puter ... 详细信息
来源: 评论
Towards an architecture for managing big semantic data in real-time
Towards an architecture for managing big semantic data in re...
收藏 引用
7th European Conference on Software Architecture, ECSA 2013
作者: Cuesta, Carlos E. Martínez-Prieto, Miguel A. Fernández, Javier D. VorTIC3 Research Group Dept. of Comp. Languages and Systems II Rey Juan Carlos University Madrid Spain DataWeb Research Dept. of Computer Science University of Valladolid Segovia Spain DataWeb Research Dept. of Computer Science University of Valladolid Valladolid Spain Dept. of Computer Science University of Chile Santiago Chile
Big Data Management has become a critical task in many application systems, which usually rely on heavyweight batch processes to process large amounts of data. However, batch architectures are not an adequate choice f... 详细信息
来源: 评论
POS-tag based poetry generation with WordNet  14
POS-tag based poetry generation with WordNet
收藏 引用
14th European Workshop on Natural Language Generation, ENLG 2013
作者: Agirrezabal, Manex Arrieta, Bertol Astigarraga, Aitzol Hulden, Mans IXA NLP Group Dept. of Computer Science Donostia20018 Spain University of Helsinki Department of Modern Languages Helsinki Finland
In this paper we present the preliminary work of a Basque poetry generation system. Basically, we have extracted the POS-tag sequences from some verse corpora and calculated the probability of each sequence. For the g...
来源: 评论
A study of acoustic correlates of speaker age
A study of acoustic correlates of speaker age
收藏 引用
Lecture Notes in computer science
作者: Schötz, Susanne Müller, Christian Dept. of Phonetics Centre for Languages and Literature Lund University Sweden International Computer Science Institute Berkeley CA United States
Speaker age is a speaker characteristic which is always present in speech. Previous studies have found numerous acoustic features which correlate with speaker age. However, few attempts have been made to establish the... 详细信息
来源: 评论
Syntactic characterization of the two-dimensional grid graphs
Syntactic characterization of the two-dimensional grid graph...
收藏 引用
作者: Arita, Tomokazu Tsuchida, Kensei Yaku, Takeo Dept. of Languages and Information Studies Obirin University Machida-shi 194-0294 Japan Dept. of Information and Computer Sciences Toyo University Kawagoe-shi 850-3535 Japan Dept. of Computer Science and System Analysis Nihon University Tokyo 156-0045 Japan Department of Languages and Information Studies Obirin University Japan Department of Information and Computer Sciences Department of Computer Science and System Analysis Nihon University Japan IEEE Computer Society ACM
Vigna and Ghezzi showed that the language of grid graphs could not be constructed by their context-free graph grammars [1]. In this paper, we construct a context-sensitive graph grammar for the two-dimensional grid gr... 详细信息
来源: 评论
A robust approach to the cell switch-off problem in 5G ultradense networks
A robust approach to the cell switch-off problem in 5G ultra...
收藏 引用
2019 International Conference on High Performance Computing and Simulation, HPCS 2019
作者: Luna, Francisco Zapata-Cano, Pablo H. Valenzuela-Valdes, Juan F. Padilla, Pablo Universidad de Málaga Dept. of Languages and Computer Science Málaga Spain Dept. Signal Theory Telematics and Communications Universidad de Granada Granada Spain
Ultra-dense networks (UDNs) are recognized as one of the key enabling technologies of the fifth generation (5G) networks, as they allow for an efficient spatial reuse of the spectrum, which is required to meet the tra... 详细信息
来源: 评论
Double inspection for run-time loop parallelization
Double inspection for run-time loop parallelization
收藏 引用
24th International Workshop on languages and Compilers for Parallel Computing, LCPC 2011
作者: Philippsen, Michael Tillmann, Nikolai Brinkers, Daniel Computer Science Dept. Programming Systems Group University of Erlangen-Nuremberg Erlangen Germany Microsoft Research One Microsoft Way Redmond WA United States
The Inspector/Executor is well-known for parallelizing loops with irregular access patterns that cannot be analyzed statically. The downsides of existing inspectors are that it is hard to amortize their high run-time ... 详细信息
来源: 评论
A method for compiling and executing expressive assertions
A method for compiling and executing expressive assertions
收藏 引用
4th International Conference on Integrated Formal Methods, IFM 2004
作者: Galán Morillo, F.J. Cañete Valdeón, J.M. Dept. of Languages and Computer Systems Faculty of Computer Science of Seville Av. Reina Mercedes s/n Sevilla41012 Spain
programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically a program with respect to ... 详细信息
来源: 评论
Implementing a mobile campus using MLE moodle
Implementing a mobile campus using MLE moodle
收藏 引用
5th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2010
作者: Xhafa, Fatos Caballe, Santi Rustarazo, Isaac Barolli, Leonard Dept. of Languages and Informatics Systems Technical University of Catalonia Spain Dept. of Computer Science Multimedia and Telecommunication Open University of Catalonia Spain Dept. of Information and Communication Engineering Fukuoka Institute of Technology Japan
Mobile learning is considered the next step of online learning by incorporating mobility as a key requirement. Indeed, the current wide spread of mobile devices and wireless technologies brings an enormous potential t... 详细信息
来源: 评论