咨询与建议

限定检索结果

文献类型

  • 2,454 篇 会议
  • 99 册 图书
  • 86 篇 期刊文献

馆藏范围

  • 2,639 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,652 篇 工学
    • 1,295 篇 计算机科学与技术...
    • 658 篇 软件工程
    • 368 篇 电气工程
    • 252 篇 控制科学与工程
    • 110 篇 信息与通信工程
    • 106 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 21 篇 安全科学与工程
    • 20 篇 土木工程
  • 405 篇 理学
    • 302 篇 数学
    • 60 篇 系统科学
    • 54 篇 物理学
    • 47 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 238 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 26 篇 法学
    • 18 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 software enginee...
  • 59 篇 probabilistic lo...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 48 篇 software
  • 46 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 42 篇 computer program...
  • 41 篇 logic

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 5 篇 raidl günther r.
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...

语言

  • 2,575 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2639 条 记 录,以下是281-290 订阅
排序:
Accident Risk Detection in Urban Trees using Machine Learning and Fuzzy logic  17
Accident Risk Detection in Urban Trees using Machine Learnin...
收藏 引用
17th international conference on Future Networks and Communications / 19th international conference on Mobile Systems and Pervasive Computing / 12th international conference on Sustainable Energy Information Technology, FNC/MobiSPC/SEIT 2022
作者: Ramírez, Giuliano Salazar, Kevin Barria, Vicente Pinto, Oscar Martin, Lilian San Carrasco, Raúl Fuentealba, Diego Gatica, Gustavo Faculty of Engineering Universidad Andres Bello Santiago Chile Facultad de Ingeniería y Negocios Universidad de Las Américas Santiago Chile Departamento de Informática y Computación Universidad Tecnológica Metropolitana Santiago Chile
Knowing the state of trees and their associated risks contribute to the care of the population. Machine Learning, through supervised learning, has demonstrated its effectiveness in various areas of knowledge. the risk... 详细信息
来源: 评论
Always-on instrumentation for application introspection in HPC  22
Always-on instrumentation for application introspection in H...
收藏 引用
19th ACM international conference on Computing Frontiers, CF 2022
作者: Raoofy, Amir Weidendorfer, Josef Ott, Michael Leibniz Supercomputing Centre Garching bei München Germany
Obtaining insights into the dynamic behavior of user code is crucial for supercomputing centers to support both better operation and co-design of future systems. To this end, always-on instrumentation is the key: enab... 详细信息
来源: 评论
Two-dimensional Kapur Entropy Multilevel thresholding Algorithm Based on Dynamic programming and Spatial Contextual Information
Two-dimensional Kapur Entropy Multilevel Thresholding Algori...
收藏 引用
international conference on Fuzzy Systems and Knowledge Discovery (FSKD)
作者: Jinming Li Bo Lei School of Communications and Information Engineering Xi’an University of Posts and Telecommunications Xi’an China
the Kapur entropy multilevel thresholding image segmentation algorithm based on the two-dimensional histogram does not consider the spatial contextual information of image pixels, and the algorithm’s time complexity ...
来源: 评论
Determining Action Reversibility in STRIPS Using Answer Set programming with Quantifiers  38
Determining Action Reversibility in STRIPS Using Answer Set ...
收藏 引用
38th international conference on logic programming, ICLP 2022
作者: Faber, Wolfgang Morak, Michael Chrpa, Lukáš University of Klagenfurt Austria Czech Technical University Czech Republic
来源: 评论
A Comparison of Recent Algorithms for Symbolic Regression to Genetic programming  19thth
A Comparison of Recent Algorithms for Symbolic Regression ...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Radwan, Yousef A. Kronberger, Gabriel Winkler, Stephan University of Applied Sciences Upper Austria Heuristic and Evolutionary Algorithms Laboratory Softwarepark 11 Hagenberg4232 Austria
Symbolic regression is a machine learning method with the goal to produce interpretable results. Unlike other machine learning methods such as, e.g. random forests or neural networks, which are opaque, symbolic regres... 详细信息
来源: 评论
A Method to Increase Maintainability of Microservice Software through Enhanced Event Management
A Method to Increase Maintainability of Microservice Softwar...
收藏 引用
international Computer Sciences and Information Technologies (CSIT)
作者: Vladyslav Lakhai Institute of Computer Sciences and Information Technology Lviv Polytechnic National University Lviv Ukraine
the increasing demands on the quality of microservice software, particularly regarding maintainability, necessitate the implementation of new and improved methods to enhance maintainability by improving event handling... 详细信息
来源: 评论
Fuzzy logic based Vegetable Price prediction in IoT  17
Fuzzy Logic based Vegetable Price prediction in IoT
收藏 引用
17th international conference on Future Networks and Communications / 19th international conference on Mobile Systems and Pervasive Computing / 12th international conference on Sustainable Energy Information Technology, FNC/MobiSPC/SEIT 2022
作者: Nalwanga, Rosemary Belay, Ayalew African Center of Excellence in IoT University of Rwanda Rwanda Rwanda Addis Ababa University Addis Ababa Ethiopia
Agriculture is an integral part of every economy with research in this domain mainly aimed at not only increasing food quality and production but also reducing expenditure while maximizing profit. Climate is a major f... 详细信息
来源: 评论
Robot Kits in Primary Informatics Education - What Should Future Teachers Know?  19
Robot Kits in Primary Informatics Education - What Should Fu...
收藏 引用
19th international conference on Information Technology Based Higher Education and Training, IthET 2021
作者: Mikova, Karolina Budinska, Lucia Faculty Of Math. Physics And Inf. Comenius University In Bratislava Depart. Of Education Bratislava Slovakia
In the last years, many robot kits for children were introduced. they can be used as an introduction to programming when pupils can learn many computing concepts - as a part of informatics or in STEAM subjects. But no... 详细信息
来源: 评论
A Mixed Integer Linear programming Formulation for Subway Timetable Optimization Problems with Passenger Waiting and Energy Saving Objectives
A Mixed Integer Linear Programming Formulation for Subway Ti...
收藏 引用
IEEE international conference on Automation Science and Engineering (CASE)
作者: Anbang Liu Xi Chen Department of Automation and BNRist Center for Intelligent and Networked System (CFINS) Tsinghua University Beijing China
Subway timetabling problems are important but difficult discrete optimization problems that are usually solved with strict computational time requirements in order to minimize passenger waiting time while maximizing e...
来源: 评论
Improvements in Large Neighborhood Search for the Electric Autonomous Dial-A-Ride Problem  19thth
Improvements in Large Neighborhood Search for the Electri...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Bresich, Maria Raidl, Günther R. Limmer, Steffen Institute of Logic and Computation TU Wien Vienna Austria Honda Research Institute Europe GmbH Offenbach/Main63073 Germany
We consider a practical extension of the classical dial-a-ride problem (DARP) called the electric autonomous DARP where electric and autonomous vehicles provide service for transportation requests with time windows. T... 详细信息
来源: 评论