咨询与建议

限定检索结果

文献类型

  • 86,110 篇 会议
  • 2,734 册 图书
  • 1,724 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 90,568 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,753 篇 工学
    • 38,434 篇 计算机科学与技术...
    • 31,983 篇 软件工程
    • 6,382 篇 控制科学与工程
    • 6,314 篇 信息与通信工程
    • 5,566 篇 电气工程
    • 3,216 篇 机械工程
    • 2,952 篇 电子科学与技术(可...
    • 2,059 篇 生物工程
    • 1,599 篇 生物医学工程(可授...
    • 1,487 篇 安全科学与工程
    • 1,407 篇 动力工程及工程热...
    • 1,374 篇 仪器科学与技术
    • 1,274 篇 建筑学
    • 1,206 篇 土木工程
    • 1,147 篇 材料科学与工程(可...
    • 1,038 篇 光学工程
    • 1,029 篇 交通运输工程
  • 13,168 篇 理学
    • 7,357 篇 数学
    • 2,661 篇 物理学
    • 2,363 篇 系统科学
    • 2,245 篇 生物学
    • 1,766 篇 统计学(可授理学、...
  • 11,155 篇 管理学
    • 7,853 篇 管理科学与工程(可...
    • 4,113 篇 工商管理
    • 4,080 篇 图书情报与档案管...
  • 2,147 篇 教育学
    • 2,121 篇 教育学
  • 1,383 篇 医学
    • 1,181 篇 临床医学
    • 1,036 篇 基础医学(可授医学...
  • 1,378 篇 法学
    • 1,077 篇 社会学
  • 1,313 篇 经济学
    • 1,304 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 7,112 篇 software enginee...
  • 5,921 篇 computer archite...
  • 5,291 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,535 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,223 篇 costs
  • 2,093 篇 programming
  • 1,811 篇 artificial intel...
  • 1,745 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,619 篇 testing
  • 1,508 篇 real-time system...
  • 1,419 篇 software design
  • 1,371 篇 protocols
  • 1,350 篇 information syst...

机构

  • 197 篇 college of compu...
  • 114 篇 school of comput...
  • 59 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 37 篇 department of el...
  • 37 篇 school of comput...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 29 篇 department of co...
  • 28 篇 school of comput...
  • 27 篇 department of co...

作者

  • 49 篇 anon
  • 37 篇 bernady o. apduh...
  • 36 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 shaoying liu
  • 28 篇 li yang
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 lei wang
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 rui wang
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 noraziah a.

语言

  • 89,084 篇 英文
  • 1,017 篇 其他
  • 437 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90574 条 记 录,以下是361-370 订阅
排序:
Integrated Word2Vec-based Speech Annotations for Enhanced EEG Decoding of Speech Intentions  13
Integrated Word2Vec-based Speech Annotations for Enhanced EE...
收藏 引用
13th International Winter conference on Brain-computer Interface, BCI 2025
作者: Jang, Se-Na Park, Hyeong-Yeong Kim, Seong-Wook Yu, Seong-Hyun Lee, Minji Jeong, Ji-Hoon Dept. Computer Science Chungbuk National University Cheongju Korea Republic of Dept. Biomedical Software Engineering The Catholic University of Korea Bucheon Korea Republic of
Brain-computer interface (BCI) technology has promising applications as an intuitive communication tool and in fields such as language rehabilitation. This study aims to decode human speech intentions by analyzing EEG... 详细信息
来源: 评论
Blockchain for Public Transportation: Digital Identity and Transaction Verification Architecture  25th
Blockchain for Public Transportation: Digital Identity and T...
收藏 引用
Topical Area: software, System and Service engineering, S3E 2024, Held as Part of FedCSIS 2024, and 25th conference on Practical Aspects of and Solutions for software engineering, KKIO 2024, held as part of SEAA 2024
作者: Saritas, Hidayet Burak Kardas, Geylani Ege University International Computer Institute Izmir Bornova35100 Turkey Kentkart Teknoloji AŞ Ege Teknopark Ege University Izmir Bornova35100 Turkey
Blockchain technology has emerged as a promising solution to address key challenges in public transport, such as interoperability, privacy and transaction transparency. Despite these advances, the lack of a unified pl... 详细信息
来源: 评论
Generating Synthetic Sign Language Datasets Using Conditional Generative Adversarial Networks  17
Generating Synthetic Sign Language Datasets Using Conditiona...
收藏 引用
17th International conference on Machine Vision, ICMV 2024
作者: Yadid, Yehuda Cohen, Sarel Saabni, Raid School of Computer Science The Academic College of Tel-Aviv Yafo Israel The Triangle Research and Development Center Kafr Qarea Israel
Approximately 70 million individuals globally utilize sign languages as a means of communication due to their hearing impairment. The study undertaken in sign languages is extensive and fruitful. However, there are ov... 详细信息
来源: 评论
Implicit Rankings for Verifying Liveness Properties in First-Order Logic  31th
Implicit Rankings for Verifying Liveness Properties in First...
收藏 引用
31st International conference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the International Joint conferences on Theory and Practice of software, ETAPS 2025
作者: Lotan, Raz Shoham, Sharon Tel Aviv University Tel Aviv Israel
Liveness properties are traditionally proven using a ranking function that maps system states to some well-founded set. Carrying out such proofs in first-order logic enables automation by SMT solvers. However, reasoni... 详细信息
来源: 评论
Scalable and Low-Cost Remote Lab Platforms: Teaching Industrial Robotics Using Open-Source Tools and Understanding Its Social Implications  16th
Scalable and Low-Cost Remote Lab Platforms: Teaching Indust...
收藏 引用
16th International conference on Social Robotics, ICSR + AI 2024
作者: Kumar, Amit Jose, Jaison Jain, Archit Kulkarni, Siddharth Arya, Kavi Centre for Systems and Control Indian Institute of Technology Bombay Mumbai India Embedded Real-Time Systems / e-Yantra Lab Indian Institute of Technology Bombay Mumbai India Computer Science and Engineering Department Indian Institute of Technology Bombay Mumbai India
With recent advancements in industrial robots, educating students in new technologies and preparing them for the future is imperative. However, access to industrial robots for teaching poses challenges, such as the hi... 详细信息
来源: 评论
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded systems  22nd
Automated Invariant Generation for Efficient Deductive Reas...
收藏 引用
22nd International conference on software engineering and Formal Methods, SEFM 2024
作者: Tasche, Philip Herber, Paula Huisman, Marieke University of Twente Enschede Netherlands University of Münster Münster Germany
Deductive verification is often more efficient than alternative techniques like model checking at reasoning about functional properties of programs. This is especially true when the program under verification contains... 详细信息
来源: 评论
Thermal Model of a Soldering Iron  33rd
Thermal Model of a Soldering Iron
收藏 引用
33rd International conference on Organization and Technology of Maintenance, OTO 2024
作者: Barić, Tomislav Glavaš, Hrvoje Dubravac, Anto Faculty of Electrical Engineering Computer Science and Information Technology Osijek University of Osijek Osijek Croatia
Soldering irons are a hand tool that is indispensable in the process of making small series of electronic devices. Soldering irons have evolved from very simple devices without temperature control to devices with comp... 详细信息
来源: 评论
Leveraging Requirements Elicitation through software Requirement Patterns and LLMs  31st
Leveraging Requirements Elicitation through Software Require...
收藏 引用
31st International Working conference on Requirements engineering: Foundation for software Quality, REFSQ 2025
作者: Franch, Xavier Gnesi, Stefania Paccosi, Federico Quer, Carme Semini, Laura Barcelona Spain Istituto di Scienza e Tecnologie dell’Informazione "A.Faedo" CNR Pisa Italy Dipartimento di informatica Università di Pisa Pisa Italy
[Context and motivation] software requirement patterns (SRPs) is one of the many techniques that contribute to requirements elicitation. At this respect, the emergence of large language models (LLMs) opens the door to... 详细信息
来源: 评论
Performance Analysis of Tesseract and EasyOCR for Bangla Optical Character Recognition on the Novel Bangla CrossHair Dataset  3
Performance Analysis of Tesseract and EasyOCR for Bangla Opt...
收藏 引用
3rd International conference on Intelligent systems, Advanced Computing, and Communication, ISACC 2025
作者: Chowdhury, Abdulla Nasir Sami, Aftar Ahmad Mamun, Shah Masud Parvej Absar, Shakib Rahman, Fuad Kohinoor, Saidur Rahman Leading University Department of Electrical and Electronic Engineering Sylhet Bangladesh Leading University Department of Computer Science and Engineering Sylhet Bangladesh Taylor's University Department of Software Engineering Kualalampur Malaysia King Fahd University of Petroleum and Minerals Department of Information and Computer Science Dhahran Saudi Arabia
This paper presents a comparative study of key metrics for OCR engines in Bangla language processing. PyTesseract (a Python wrapper for Tesseract OCR) and EasyOCR were benchmarked on a novel dataset, "Bangla-Cros... 详细信息
来源: 评论
LSMR: Synergy Randomness in Liquid State Machine and RRAM-based Analog-digital Accelerator  24
LSMR: Synergy Randomness in Liquid State Machine and RRAM-ba...
收藏 引用
43rd International conference on computer-Aided Design, ICCAD 2024
作者: Lin, Ning Wang, Songqi Zhang, Xinyuan Wang, Shaocong He, Yangu Zhang, Woyu Wang, Bo Li, Jiankun Li, Mingzi Cui, Binbin Li, Yi Chen, Jia Xia, Chunwei Xuan, Wei Chen, Xiaoming Shang, Dashan Wang, Zhongrui Department of Electrical and Electronic Engineering The University of Hong Kong Hong Kong ACCESS – AI Chip Center for Emerging Smart Systems Hong Kong Science Park Hong Kong Key Lab of Fabrication Technologies for Integrated Circuits Institute of Microelectronics Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China The Hong Kong University of Science and Technology Hong Kong School of Computing University of Leeds Leeds United Kingdom Institute of Computing Technology Chinese Academy of Sciences Beijing China
Bio-inspired event sensors are gaining popularity at the edge, such as in robots and wearable electronics. This trend necessitates learning vast amounts of sensory data on the edge, often in few-shot or even zero-shot... 详细信息
来源: 评论