咨询与建议

限定检索结果

文献类型

  • 979 篇 会议
  • 37 篇 期刊文献
  • 24 册 图书

馆藏范围

  • 1,038 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 700 篇 工学
    • 581 篇 计算机科学与技术...
    • 364 篇 软件工程
    • 146 篇 电气工程
    • 56 篇 控制科学与工程
    • 30 篇 信息与通信工程
    • 27 篇 材料科学与工程(可...
    • 19 篇 电子科学与技术(可...
    • 16 篇 机械工程
    • 11 篇 动力工程及工程热...
    • 11 篇 生物医学工程(可授...
    • 10 篇 生物工程
    • 7 篇 仪器科学与技术
    • 7 篇 石油与天然气工程
    • 6 篇 城乡规划学
    • 4 篇 核科学与技术
    • 4 篇 农业工程
  • 189 篇 理学
    • 156 篇 数学
    • 18 篇 系统科学
    • 17 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 10 篇 生物学
  • 69 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 22 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 16 篇 教育学
    • 16 篇 教育学
  • 11 篇 文学
    • 11 篇 新闻传播学
  • 9 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 农学
    • 4 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 1 篇 军事学

主题

  • 96 篇 logic gates
  • 77 篇 programming
  • 62 篇 logic programmin...
  • 40 篇 fuzzy logic
  • 35 篇 application soft...
  • 30 篇 probabilistic lo...
  • 29 篇 linear programmi...
  • 27 篇 programming prof...
  • 27 篇 computer archite...
  • 26 篇 computer science
  • 26 篇 dynamic programm...
  • 23 篇 software enginee...
  • 23 篇 protocols
  • 21 篇 uncertainty
  • 20 篇 object oriented ...
  • 20 篇 java
  • 20 篇 semantics
  • 19 篇 computer circuit...
  • 18 篇 costs
  • 17 篇 software systems

机构

  • 4 篇 univ potsdam pot...
  • 4 篇 vienna univ tech...
  • 4 篇 imdea software i...
  • 4 篇 institute for lo...
  • 3 篇 tu wien austria
  • 3 篇 graduate school ...
  • 3 篇 univ calabria de...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ freiburg fr...
  • 3 篇 univ british col...
  • 3 篇 imperial coll lo...
  • 3 篇 department of in...
  • 2 篇 univ tecn federi...
  • 2 篇 ist austria klos...
  • 2 篇 univ savoie savo...
  • 2 篇 tel aviv univers...
  • 2 篇 zhongguancun lab...
  • 2 篇 univ ferrara dip...
  • 2 篇 south china univ...
  • 2 篇 univ neuchatel i...

作者

  • 8 篇 alviano mario
  • 6 篇 lamma evelina
  • 5 篇 schaub torsten
  • 4 篇 riguzzi fabrizio
  • 3 篇 lin yu
  • 3 篇 vardi moshe y.
  • 3 篇 gebser martin
  • 3 篇 bellodi elena
  • 3 篇 costa vitor sant...
  • 3 篇 shinji sakamoto
  • 3 篇 lakemeyer gerhar...
  • 3 篇 ikeda markus
  • 3 篇 zhou neng-fa
  • 3 篇 xu hongxiang
  • 3 篇 sabuncu orkunt
  • 3 篇 leonard barolli
  • 3 篇 schockaert steve...
  • 3 篇 pichler andreas
  • 3 篇 wang bin
  • 3 篇 de givry simon

语言

  • 1,017 篇 英文
  • 16 篇 其他
  • 8 篇 中文
  • 1 篇 法文
检索条件"任意字段=30th International Conference on Logic Programming"
1040 条 记 录,以下是71-80 订阅
Online Learning of logic Based Neural Network Structures  1
收藏 引用
30th international conference on Inductive logic programming (ILP) held as part of the 1st international Joint conference on Learning and Reasoning (IJCLR)
作者: Guimaraes, Victor Costa, Vitor Santos Univ Porto CRACS Porto Portugal Univ Porto DCC FCUP Porto Portugal
In this paper, we present two online structure learning algorithms for NeuralLog, NeuralLog+OSLR and NeuralLog+OMIL. NeuralLog is a system that compiles first-order logic programs into neural networks. Both learning a... 详细信息
来源: 评论
Strain Elastogram Improvement through Dynamic programming Refinement using Multi-objective Optimization Technique  30
Strain Elastogram Improvement through Dynamic Programming Re...
收藏 引用
30th National and 8th international Iranian conference on Biomedical Engineering (ICBME)
作者: Kalani, Mohammadhosein Fallah, Ali Rashidi, Saeid Dastjerdi, Maryam Mehdizadeh Amirkabir Univ Technol Fac Biomed Engn Tehran Iran Islamic Azad Univ Fac Med Sci & Technol Sci & Res Branch Tehran Iran
Elastograms suffer from noise and undesirable artifacts, making it necessary to enhance their signal-to-noise ratio (SNR) and contrast-to-noise ratio (CNR) for accurate detection of tissue deformations, determination ... 详细信息
来源: 评论
logic Rules as Explanations for Legal Case Retrieval  30
Logic Rules as Explanations for Legal Case Retrieval
收藏 引用
Joint 30th international conference on Computational Linguistics and 14th international conference on Language Resources and Evaluation, LREC-COLING 2024
作者: Sun, Zhongxiang Zhang, Kepu Yu, Weijie Wang, Haoyu Xu, Jun Gaoling School of Artificial Intelligence Renmin University of China China School of Information Technology and Management University of International Business and Economics China
In this paper, we address the issue of using logic rules to explain the results from legal case retrieval. the task is critical to legal case retrieval because the users (e.g., lawyers or judges) are highly specialize... 详细信息
来源: 评论
Impact of Task Adapting on Transformer Models for Targeted Sentiment Analysis in Croatian Headlines  30
Impact of Task Adapting on Transformer Models for Targeted S...
收藏 引用
Joint 30th international conference on Computational Linguistics and 14th international conference on Language Resources and Evaluation, LREC-COLING 2024
作者: Lee, Sofia Bloem, Jelke Vrije Universiteit Amsterdam Netherlands Institute for Logic Language and Computation University of Amsterdam Netherlands Data Science Centre University of Amsterdam Netherlands
Transformer models, such as BERT, are often taken off-the-shelf and then fine-tuned on a downstream task. Although this is sufficient for many tasks, low-resource settings require special attention. We demonstrate an ... 详细信息
来源: 评论
Proceedings - 30th international conference on Field-Programmable logic and Applications, FPL 2020
Proceedings - 30th International Conference on Field-Program...
收藏 引用
30th international conference on Field-Programmable logic and Applications, FPL 2020
the proceedings contain 64 papers. the topics discussed include: a deep-learning framework for predicting congestion during FPGA placement;lightweight side-channel protection using dynamic clock randomization;executin...
来源: 评论
Investigating Bloom's Cognitive Skills in Foundation and Advanced programming Courses from Students' Discussions  30
Investigating Bloom's Cognitive Skills in Foundation and Adv...
收藏 引用
30th international conference on Computers in Education (ICCE)
作者: Lim, Joel J. W. Gottipati, Swapna Shim, Kyong Jin Singapore Management Univ Sch Comp & Informat Syst Singapore Singapore
programming courses provide students with the skills to develop complex business applications. Teaching and learning programming is challenging, and collaborative learning is proposed to help with this challenge. Onli... 详细信息
来源: 评论
Data Analytics Environment: Combining Visual programming and MLOps for AI workflow creation  30
Data Analytics Environment: Combining Visual Programming and...
收藏 引用
30th IEEE international conference on Engineering, Technology, and Innovation
作者: Grilo, Andre Figueiras, Paulo Rega, Bruno Lourenco, Luis Khodamoradi, Amin Costa, Ruben Jardim-Goncalves, Ricardo UNINOVA Ctr Technol & Syst CTS Caparica Portugal
In the Industry 4.0 scene, Artificial Intelligence (AI) is sought after as a new way of getting a competitive advantage from other market competitors. this technology can support not only in-line production status ass... 详细信息
来源: 评论
Using Constraint programming for Disjunctive Scheduling in Temporal AI Planning  30
Using Constraint Programming for Disjunctive Scheduling in T...
收藏 引用
30th international conference on Principles and Practice of Constraint programming, CP 2024
作者: Green, Adam Francis Beck, J. Christopher Coles, Amanda Department of Informatics King's College London United Kingdom Tango Hospitality Inc. Toronto Canada Department of Mechanical and Industrial Engineering University of Toronto Canada
We present a novel scheduling model that leverages Constraint programming (CP) to enhance problem solving performance in Temporal Planning. Building on the established strategy of decomposing causal and temporal reaso... 详细信息
来源: 评论
IWSSIP 2023 - 30th international conference on Systems, Signals and Image Processing
IWSSIP 2023 - 30th International Conference on Systems, Sign...
收藏 引用
30th international conference on Systems, Signals and Image Processing, IWSSIP 2023
the proceedings contain 74 papers. the topics discussed include: automatic music score difficulty classification;a feature-based approach for the recognition of image quality degradation in automotive applications;fuz...
来源: 评论
Constructing Temporal Networks of OSS programming Language Ecosystems  30
Constructing Temporal Networks of OSS Programming Language E...
收藏 引用
30th IEEE international conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Agroskin, Alexander Lyulina, Elena Titov, Sergey Kovalenko, Vladimir Weizmann Inst Sci Rehovot Israel JetBrains Res Belgrade Serbia JetBrains Res Limassol Cyprus JetBrains Res Amsterdam Netherlands
One of the primary factors that encourage developers to contribute to open source software (OSS) projects is the collaborative nature of OSS development. However, the collaborative structure of these communities large... 详细信息
来源: 评论