咨询与建议

限定检索结果

文献类型

  • 108,400 篇 会议
  • 15,727 册 图书
  • 11,121 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 135,109 篇 电子文献
  • 170 种 纸本馆藏

日期分布

学科分类号

  • 107,605 篇 工学
    • 93,057 篇 计算机科学与技术...
    • 66,619 篇 软件工程
    • 23,096 篇 信息与通信工程
    • 12,539 篇 电气工程
    • 8,337 篇 控制科学与工程
    • 8,184 篇 生物工程
    • 8,077 篇 生物医学工程(可授...
    • 6,286 篇 光学工程
    • 4,393 篇 电子科学与技术(可...
    • 3,853 篇 机械工程
    • 3,609 篇 化学工程与技术
    • 2,781 篇 建筑学
    • 2,343 篇 动力工程及工程热...
    • 2,310 篇 土木工程
    • 2,012 篇 安全科学与工程
  • 55,651 篇 理学
    • 41,048 篇 数学
    • 9,539 篇 生物学
    • 8,447 篇 物理学
    • 7,806 篇 统计学(可授理学、...
    • 4,825 篇 系统科学
    • 3,126 篇 化学
  • 22,326 篇 管理学
    • 13,183 篇 图书情报与档案管...
    • 10,141 篇 管理科学与工程(可...
    • 6,929 篇 工商管理
  • 5,722 篇 医学
    • 5,266 篇 临床医学
    • 4,540 篇 基础医学(可授医学...
    • 3,132 篇 药学(可授医学、理...
  • 3,695 篇 法学
    • 3,129 篇 社会学
  • 2,458 篇 教育学
    • 2,416 篇 教育学
  • 2,158 篇 经济学
    • 2,152 篇 应用经济学
  • 1,824 篇 农学
  • 171 篇 军事学
  • 107 篇 文学
  • 74 篇 艺术学
  • 17 篇 哲学
  • 2 篇 历史学

主题

  • 8,057 篇 artificial intel...
  • 4,840 篇 computer communi...
  • 3,516 篇 information syst...
  • 2,779 篇 algorithm analys...
  • 2,432 篇 software enginee...
  • 2,006 篇 image processing...
  • 1,992 篇 user interfaces ...
  • 1,973 篇 semantics
  • 1,939 篇 computers
  • 1,925 篇 information stor...
  • 1,665 篇 computer applica...
  • 1,526 篇 pattern recognit...
  • 1,469 篇 data mining and ...
  • 1,433 篇 computer vision
  • 1,426 篇 software enginee...
  • 1,371 篇 database managem...
  • 1,251 篇 distributed comp...
  • 1,225 篇 theory of comput...
  • 1,216 篇 computer circuit...
  • 1,181 篇 computer systems...

机构

  • 202 篇 university of sc...
  • 152 篇 huazhong univers...
  • 151 篇 department of co...
  • 145 篇 institute of inf...
  • 121 篇 department of co...
  • 120 篇 tsinghua univers...
  • 116 篇 shanghai jiao to...
  • 112 篇 national institu...
  • 96 篇 school of comput...
  • 93 篇 chinese academy ...
  • 85 篇 école des ponts ...
  • 83 篇 department of co...
  • 81 篇 university of el...
  • 73 篇 karnataka bangal...
  • 72 篇 department of co...
  • 71 篇 college of compu...
  • 68 篇 school of comput...
  • 67 篇 university of ch...
  • 63 篇 school of comput...
  • 63 篇 college of compu...

作者

  • 73 篇 vardi moshe y.
  • 70 篇 wang lei
  • 60 篇 zhang lei
  • 59 篇 pnueli amir
  • 47 篇 hancock edwin r.
  • 41 篇 huang yueh-min
  • 40 篇 li xin
  • 40 篇 marina l. gavril...
  • 38 篇 man ka lok
  • 37 篇 jiang xiaoyi
  • 37 篇 li yang
  • 36 篇 stuckey peter j.
  • 35 篇 zhang tao
  • 34 篇 yu yong
  • 34 篇 liu bo
  • 33 篇 panayiotis zaphi...
  • 33 篇 jianying zhou
  • 32 篇 peleg david
  • 31 篇 hsu tsan-sheng
  • 31 篇 lee dong chun

语言

  • 127,590 篇 英文
  • 5,876 篇 其他
  • 1,495 篇 中文
  • 284 篇 德文
  • 4 篇 法文
  • 1 篇 加泰罗尼亚文
  • 1 篇 俄文
检索条件"任意字段=Lecture Notes in Computer Science"
135251 条 记 录,以下是311-320 订阅
Padel Two-Dimensional Tracking Extraction from Monocular Video Recordings  25th
Padel Two-Dimensional Tracking Extraction from Monocular Vid...
收藏 引用
25th International Conference on Intelligent Data Engineering and Automated Learning
作者: Novillo, Alvaro Acena, Victor Lancho, Carmen Cuesta, Marina De Diego, Isaac Martin Rey Juan Carlos Univ Data Sci Lab C Tulipan S-N Mostoles 28933 Spain
This study introduces a novel framework for the automatic two-dimensional tracking of padel games using monocular recordings. By integrating advanced computer Vision and Deep Learning techniques, our algorithm detects... 详细信息
来源: 评论
An Ontology for Tuberculosis Surveillance System  1
收藏 引用
5th Iberoamerican and the 4th Indo-American Knowledge Graphs and Semantic Web Conference, KGSWC 2023
作者: Jiomekong, Azanzi Tapamo, Hippolyte Camara, Gaoussou Department of Computer Science University of Yaounde 1 Yaounde Cameroon University Alioune Diop de Bambey EIR-IMTICE Bambey Senegal
Existing epidemiological surveillance systems use relational databases to store data and the SQL language to get information and automatically build statistics tables and graphics. However, a lack of logical and machi... 详细信息
来源: 评论
An O(log n) -Competitive Posted-Price Algorithm for Online Matching on the Line  16th
An O(log n) -Competitive Posted-Price Algorithm for Online ...
收藏 引用
16th Annual International Conference on Combinatorial Optimization and Applications, COCOA 2023
作者: Arndt, Stephen Ascher, Josh Pruhs, Kirk Computer Science Department University of Pittsburgh PittsburghPA15260 United States
Motivated by demand-responsive parking pricing systems, we consider posted-price algorithms for the online metric matching problem. We give an O(log n) -competitive posted-price randomized algorithm in the case that t... 详细信息
来源: 评论
Checking Satisfiability of Hyperproperties Using First-Order Logic  22nd
Checking Satisfiability of Hyperproperties Using First-Order...
收藏 引用
22nd International Symposium on Automated Technology for Verification and Analysis
作者: Beutner, Raven Finkbeiner, Bernd CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany
Hyperproperties are system properties that relate multiple execution traces and occur, e.g., when specifying security and information-flow properties. Checking if a hyperproperty is satisfiable has many important appl... 详细信息
来源: 评论
Comparative Analysis of a Resource Loss System with the Finite Buffer and Different Service Disciplines  1
收藏 引用
26th International Conference on Distributed computer and Communication Networks: Control, Computation, Communications, DCCN 2023
作者: Stepanov, V.A. Daraseliya, A.V. Sopin, E.S. Shorgin, S.Ya. Moscow Russia Institute of Informatics Problems Federal Research Center Computer Science and Control of Russian Academy of Sciences Moscow Russia
Fifth-generation (5G) networks are expected to revolutionize wireless communication by enabling faster and more reliable data transfer rates. However, the use of millimeter-wave frequencies in 5G networks introduces u... 详细信息
来源: 评论
AFMA-Track: Adaptive Fusion of Motion and Appearance for Robust Multi-object Tracking  27th
AFMA-Track: Adaptive Fusion of Motion and Appearance for ...
收藏 引用
27th International Conference on Pattern Recognition, ICPR 2024
作者: Liao, Wei Luo, Lei Zhang, Chunyuan College of Computer Science and Technology National University of Defence Technology Changsha China Science and Technology on Parallel and Distributed Processing Laboratory College of Computer Science and Technology National University of Defense Technology Changsha China
Motion and appearance cues play a crucial role in Multi-object Tracking (MOT) algorithms for associating objects across consecutive frames. While most MOT methods prioritize accurate motion modeling and distincti... 详细信息
来源: 评论
Automatically Choosing Selection Operator Based on Semantic Information in Evolutionary Feature Construction  20th
Automatically Choosing Selection Operator Based on Semantic...
收藏 引用
20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023
作者: Zhang, Hengzhe Chen, Qi Xue, Bing Banzhaf, Wolfgang Zhang, Mengjie Centre for Data Science and Artificial Intelligence and School of Engineering and Computer Science Victoria University of Wellington PO Box 600 Wellington6140 New Zealand Department of Computer Science and Engineering Michigan State University East Lansing48824 United States
In recent years, genetic programming-based evolutionary feature construction has shown great potential in various applications. However, a critical challenge in applying this technique is the need to select an appropr... 详细信息
来源: 评论
Functional Modelling of the Matroid and Application to the Knapsack Problem  1st
Functional Modelling of the Matroid and Application to t...
收藏 引用
1st International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024
作者: Wan, Zikang You, Zhen Zhang, Chen Zuo, Zhengkang Wang, Changjing Hu, Qimin State International S&T Cooperation Base of Networked Supporting Software Jiangxi Normal University Nanchang330022 China Computer Information Engineering School Jiangxi Normal University Nanchang330022 China
The matroids have a wide range of applications in discrete mathematics, combinatorial mathematics, computer science and other fields. However, most of the researches about matroids focus on the mathematical level, and... 详细信息
来源: 评论
Efficient SMT-Based Model Checking for HyperTWTL  1
收藏 引用
25th International Conference on Formal Engineering Methods, ICFEM 2024
作者: Bonnah, Ernest Nguyen, Luan Viet Hoque, Khaza Anuarul Department of Computer Engineering Baylor University WacoTX United States Department of Computer Science University of Dayton DaytonOH United States Department of Computer Science University of Missouri ColumbiaMO United States
Hyperproperties extend trace properties to express properties of sets of traces, and thus, they are increasingly popular in specifying various security and performance-related properties in domains such as autonomous,... 详细信息
来源: 评论
Characterizing Collective Attention on Online Chats: A Three-Pronged Approach  25th
Characterizing Collective Attention on Online Chats: A Thre...
收藏 引用
25th International Conference on Web Information Systems Engineering, WISE 2024
作者: Caetano, Josemar Alves Marques-Neto, Humberto Torres Almeida, Virgilio Department of Computer Science UFMG Belo Horizonte Brazil Department of Computer Science PUC Minas Belo Horizonte Brazil
In an era where platforms like WhatsApp, Telegram, and YouTube dominate digital communication, understanding collective attention is important to analyzing societal impacts. This paper presents a comprehensive and int... 详细信息
来源: 评论