咨询与建议

限定检索结果

文献类型

  • 246 篇 会议
  • 88 篇 期刊文献
  • 13 册 图书

馆藏范围

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

日期分布

学科分类号

  • 213 篇 工学
    • 170 篇 计算机科学与技术...
    • 140 篇 软件工程
    • 26 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 11 篇 电气工程
    • 11 篇 船舶与海洋工程
    • 10 篇 机械工程
    • 10 篇 建筑学
    • 10 篇 生物医学工程(可授...
    • 9 篇 电子科学与技术(可...
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 5 篇 光学工程
  • 117 篇 理学
    • 61 篇 数学
    • 24 篇 物理学
    • 19 篇 生物学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
    • 8 篇 海洋科学
    • 6 篇 化学
  • 60 篇 管理学
    • 38 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 9 篇 医学
    • 8 篇 临床医学
    • 7 篇 基础医学(可授医学...
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 法学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 军事学

主题

  • 16 篇 artificial intel...
  • 8 篇 semantics
  • 8 篇 information stor...
  • 7 篇 monitoring
  • 6 篇 information syst...
  • 6 篇 forecasting
  • 6 篇 data models
  • 5 篇 computer science
  • 5 篇 software enginee...
  • 5 篇 predictive model...
  • 5 篇 middleware
  • 5 篇 data structures
  • 5 篇 software
  • 5 篇 standards
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 supercomputers
  • 4 篇 electronic mail
  • 4 篇 neural networks
  • 4 篇 information tech...

机构

  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 department of pr...
  • 4 篇 computer enginee...
  • 4 篇 tashkent univers...
  • 4 篇 institute for so...

作者

  • 31 篇 steffen bernhard
  • 23 篇 margaria tiziana
  • 11 篇 gancheva veska
  • 8 篇 mostafa abotaleb
  • 8 篇 christiansen hen...
  • 8 篇 abdelhameed ibra...
  • 7 篇 howar falk
  • 7 篇 veska gancheva
  • 7 篇 philippsen micha...
  • 7 篇 zimborás zoltán
  • 6 篇 michael philipps...
  • 6 篇 rakyta péter
  • 6 篇 morse gregory
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 merten maik
  • 5 篇 lamprecht anna-l...
  • 5 篇 koller alexander
  • 5 篇 naujokat stefan
  • 5 篇 doaa sami khafag...

语言

  • 340 篇 英文
  • 4 篇 其他
  • 2 篇 德文
  • 1 篇 法文
检索条件"机构=Department for Programming Systems"
347 条 记 录,以下是101-110 订阅
排序:
Bayesian annotation networks for complex sequence analysis
Bayesian annotation networks for complex sequence analysis
收藏 引用
27th International Conference on Logic programming, ICLP 2011
作者: Christiansen, Henning Have, Christian Theil Lassen, Ole Torp Petit, Matthieu Department of Communication Business and Information Technologies Research Group PLIS: Programming Logic and Intelligent Systems Roskilde University P.O.Box 260 DK-4000 Roskilde Denmark
Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide, furthermore, for sophistic... 详细信息
来源: 评论
Stochastic Definite Clause Grammars
Stochastic Definite Clause Grammars
收藏 引用
International Conference on Recent Advances in Natural Language Processing, RANLP-2009
作者: Have, Christian Theil Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O.Box 260 DK-4000 Roskilde Denmark
This paper introduces Stochastic Definite Clause Grammars, a stochastic variant of the wellknown Definite Clause Grammars. The grammar formalism supports parameter learning from annotated or unannotated corpora and pr... 详细信息
来源: 评论
Logic-statistic models with constraints for biological sequence analysis
Logic-statistic models with constraints for biological seque...
收藏 引用
25th International Conference on Logic programming, ICLP 2009
作者: Theil Have, Christian Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O.Box 260 Roskilde DK-4000 Denmark
This project aims to investigate biologically inspired, logic-statistic models with constraints. The complexity and expressiveness of models with different kinds of constraints will be examined and algorithms to effic... 详细信息
来源: 评论
On anti-links  5th
收藏 引用
5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994
作者: Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i... 详细信息
来源: 评论
Efficient tabling of structured data using indexing and program transformation  12
Efficient tabling of structured data using indexing and prog...
收藏 引用
14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012
作者: Theil Have, Christian Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O. Box 260 DK-4000 Roskilde Denmark
Tabling of structured data is important to support dynamic programming in logic programs. Several existing tabling systems for Prolog do not efficiently deal with structured data, but duplicate part of the structured ... 详细信息
来源: 评论
Implementing probabilistic abductive logic programming with constraint handling rules
收藏 引用
Lecture Notes in Computer Science
作者: Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O. Box 260 DK-4000 Roskilde Denmark
A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-expla... 详细信息
来源: 评论
RNN-Based Method for Classifying Natural Human Emotional States from Speech  25
RNN-Based Method for Classifying Natural Human Emotional Sta...
收藏 引用
25th International Conference on Digital Signal Processing and its Applications, DSPA 2023
作者: Alimuradov, Alan K. Tychkov, Alexander Yu. Dudnikov, Dmitry S. Tyurin, Mikhail A. Yuskaev, Marat I. Myasnikova, Maria G. Moiseev, Danil S. Student Research and Production Business Incubator Penza State University Penza Russia Penza State University Department of Radio Engineering and Radioelectronic Systems Penza Russia Penza State University Department of Automation and Telemechanics Penza Russia Leninogorsk Oil College Department of Information Systems and Programming Leninogorsk Russia
An accuracy of classifying human emotional states from speech has been dependent on emotional speech database, speech signal processing algorithms, and classification methods. Numerous static and dynamic classificatio... 详细信息
来源: 评论
Analysis of Direct Control Algorithms and Their Parallel Realisation
收藏 引用
IFAC Proceedings Volumes 1979年 第7期12卷 37-45页
作者: D.M. Dimitrov N.B. Vasilev Department of Interactive Systems Institute of Computing Technique Sofia Bulgaria Department of Microprocessor Programming Institute of Computing Technique Sofia Bulgaria
Most of the direct control algorithms are connected with, a lot of logical and computing operations. These algorithms have two important characteristicsirequred memory and exeqution time. They change in a wide range, ... 详细信息
来源: 评论
Learning from noise data with the help of logic programming systems
收藏 引用
WSEAS Transactions on Information Science and Applications 2005年 第2期2卷 104-109页
作者: Bauer, Elena Kókai, Gabriella Department of Programming Systems Friedrich-Alexander University Erlangen-Nuremberg Martensstrasse 3 91058 Erlangen Germany
This paper presents an overview of the recent systems, that combine inductive logic programming with genetic algorithms. The systems are described and then compared to their design and their behaviour with correct and... 详细信息
来源: 评论
A Human Capital Strategy for Ship Design Acquisition Workforce Improvement: The US Navy's Center for Innovation in Ship Design
收藏 引用
NAVAL ENGINEERS JOURNAL 2009年 第4期121卷 45-67页
作者: Keane, Robert G., Jr. Fireman, Howard Hough, Jeffrey J. Cooper, Kelly Naval Sea Systems Command (NAVSEA) Deputy Director for Programming (N80B) US Navy's Center for Innovation in Ship Design (CISD) located at the Naval Surface Warfare Center Carderock (NSWC-CD) Office of Naval Research Sea Warfare and Weapons Department Sea Platforms and Weapons Division
Early in the dark days of World War II, President Roosevelt asked the Navy how it would provide the thousands of ships necessary for the numerous amphibious assault landings that were being planned. At a subsequent hi... 详细信息
来源: 评论