咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
Advancements in xASP, an XAI System for Answer Set programming  38
Advancements in xASP, an XAI System for Answer Set Programmi...
收藏 引用
38th Italian conference on Computational logic, CILC 2023
作者: Alviano, Mario Trieu, Ly Ly Son, Tran Balduccini, Marcello DEMACS University of Calabria Via Bucci 30/B CS Rende87036 Italy New Mexico State University United States Saint Joseph's University United States
Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling solutions with reasons that justify the provided answer. In the context of Answer Set programming (ASP) the user may be interes... 详细信息
来源: 评论
MaLTeSQuE 2022 - Proceedings of the 6th international Workshop on Machine Learning Techniques for Software Quality Evaluation, co-located with ESEC/FSE 2022
MaLTeSQuE 2022 - Proceedings of the 6th International Worksh...
收藏 引用
6th international Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2022, co-located with the 30th ACM Joint Meeting on European Software Engineering conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022
the proceedings contain 6 papers. the topics discussed include: the promise and perils of using machine learning when engineering software;neural language models for code quality identification;are machine programming...
来源: 评论
Use of deductive and/or inductive approach in the study of nonlinear programming problems  30
Use of deductive and/or inductive approach in the study of n...
收藏 引用
30th international Scientific conference Electronics, ET 2021
作者: Linova, P. Kalcheva, N. Nikolov, N. Faculty of Computer Sciences and Automation Technical University of Varna Department of Software and Internet Technologies Varna9010 Bulgaria
Two main approaches in the theory and practice of teaching are used to acquire knowledge: inductive and deductive. the focus of the report is on how to use both approaches effectively in the process of teaching studen... 详细信息
来源: 评论
"programming - It's not for Normal People": A Qualitative Study on User-Empowering Interfaces for programming Collaborative Robots  30
"Programming - It's not for Normal People": A Qualitative St...
收藏 引用
30th IEEE international conference on Robot and Human Interactive Communication (RO-MAN)
作者: Giannopoulou, Georgia Borrelli, Elsi-Mari McMaster, Fiona Akasha Imaging Zurich Switzerland ABB Res Baden Switzerland Innovia Tech Cambridge England
Technology can be empowering: It can lift the burden from tasks we find dreadful and help us excel in tasks we enjoy. Equally, a mismatch between the user interface (UI) and our skills can make us feel incompetent and... 详细信息
来源: 评论
Federated Authorization for Managed Data Sharing: Experiences from the ImPACT Project  30
Federated Authorization for Managed Data Sharing: Experience...
收藏 引用
30th international conference on Computer Communications and Networks (ICCCN)
作者: Chase, Jeffrey S. Baldin, Ilya Duke Univ Comp Sci Durham NC 27708 USA RENCI UNC Chapel Hill Chapel Hill NC USA
this paper presents the rationale and design of the trust plane for ImPACT, a federated platform for managed sharing of restricted data. Key elements of the architecture include Web-based notaries for credential estab... 详细信息
来源: 评论
FalAI: A Dataset for End-to-end Spoken Language Understanding in a Low-Resource Scenario  30
FalAI: A Dataset for End-to-end Spoken Language Understandin...
收藏 引用
Joint 30th international conference on Computational Linguistics and 14th international conference on Language Resources and Evaluation, LREC-COLING 2024
作者: Piñeiro-Martín, Andrés García-Mateo, Carmen Docío-Fernández, Laura del Carmen López-Pérez, María Gandarela-Rodríguez, José GTM Research Group AtlanTTic Research Center University of Vigo Vigo Spain Balidea Consulting & Programming S.L. Santiago de Compostela Spain
End-to-end (E2E) Spoken Language Understanding (SLU) systems infer structured information directly from the speech signal using a single model. Due to the success of virtual assistants and the increasing demand for sp... 详细信息
来源: 评论
High Precision Carry-Look-Ahead logic for Negation, Absolute Value, and Two’s Complement
High Precision Carry-Look-Ahead Logic for Negation, Absolute...
收藏 引用
IEEE international conference on Electronics, Circuits and Systems (ICECS)
作者: Riley Jackson Maxwell Phillips Firas Hassan Ahmed Ammar Department of Electrical and Computer Engineering and Computer Science Ohio Northern University Ada OH USA
this paper presents a novel paradigm, based on carry-look-ahead principles, for finding the negation of a high-precision binary integer represented in two’s complement, and also for converting a two’s complement num...
来源: 评论
A Mixed-Integer Linear programming Formulation for Human Multi-Robot Task Allocation  30
A Mixed-Integer Linear Programming Formulation for Human Mul...
收藏 引用
30th IEEE international conference on Robot and Human Interactive Communication (RO-MAN)
作者: Lippi, Martina Marino, Alessandro Roma Tre Univ Rome Italy Univ Cassino & Southern Lazio Cassino Italy
In this work, we address a task allocation problem for human multi-robot settings. Given a set of tasks to perform, we formulate a general Mixed-Integer Linear programming (MILP) problem aiming at minimizing the overa... 详细信息
来源: 评论
Extension Algorithms for Path Exposure in Energy Harvesting Wireless Sensor Networks  30
Extension Algorithms for Path Exposure in Energy Harvesting ...
收藏 引用
30th international conference on Computer Communications and Networks (ICCCN)
作者: Basabaa, Abdulsalam Elmallah, Ehab S. Univ Alberta Dept Comp Sci Edmonton AB T6G 2E8 Canada
Our work in this paper concerns a wireless sensor network (WSN) problem, called the path exposure with communication range uncertainty (EXPO-RU) problem. Nodes in the network are assumed to rely on energy harvesting f... 详细信息
来源: 评论
Student's Academic Performance Prediction in the programming Techniques Course By Using Machine Learning Methods
Student's Academic Performance Prediction in The Programming...
收藏 引用
international conference on Telecommunications (ICT)
作者: Quoc Huy-Le thiet Pham-thi Nguyen Huynh-Tuong Khoa Vo Tien Vu-Van Huy Tran Faculty of Information Technology Industrial University of Ho Chi Minh City Faculty of Computer Science and Engineering Ho Chi Minh City Vietnam
Learning Management System (LMS) plays an essential role in interactive learning, especially after the COVID-19 outbreak with a rapid shift from traditional classroom learning to online learning. LMS also facilitates ... 详细信息
来源: 评论