咨询与建议

限定检索结果

文献类型

  • 1,336 篇 会议
  • 214 篇 期刊文献
  • 39 册 图书

馆藏范围

  • 1,589 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,012 篇 工学
    • 851 篇 计算机科学与技术...
    • 734 篇 软件工程
    • 223 篇 信息与通信工程
    • 116 篇 控制科学与工程
    • 107 篇 生物工程
    • 67 篇 生物医学工程(可授...
    • 64 篇 电气工程
    • 46 篇 电子科学与技术(可...
    • 43 篇 安全科学与工程
    • 38 篇 光学工程
    • 37 篇 机械工程
    • 29 篇 交通运输工程
    • 28 篇 建筑学
    • 26 篇 动力工程及工程热...
    • 25 篇 土木工程
    • 24 篇 仪器科学与技术
  • 421 篇 理学
    • 252 篇 数学
    • 117 篇 生物学
    • 81 篇 统计学(可授理学、...
    • 58 篇 物理学
    • 57 篇 系统科学
  • 316 篇 管理学
    • 176 篇 管理科学与工程(可...
    • 160 篇 图书情报与档案管...
    • 101 篇 工商管理
  • 59 篇 法学
    • 42 篇 社会学
  • 59 篇 医学
    • 57 篇 临床医学
    • 53 篇 基础医学(可授医学...
    • 37 篇 药学(可授医学、理...
  • 37 篇 教育学
    • 37 篇 教育学
  • 36 篇 经济学
    • 36 篇 应用经济学
  • 19 篇 农学
  • 2 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 56 篇 software
  • 54 篇 software enginee...
  • 38 篇 machine learning
  • 37 篇 feature extracti...
  • 36 篇 computer science
  • 35 篇 accuracy
  • 32 篇 computational mo...
  • 30 篇 semantics
  • 29 篇 real-time system...
  • 28 篇 artificial intel...
  • 28 篇 training
  • 27 篇 deep learning
  • 23 篇 data models
  • 22 篇 data mining
  • 21 篇 internet of thin...
  • 21 篇 analytical model...
  • 20 篇 support vector m...
  • 20 篇 wireless sensor ...
  • 19 篇 quality of servi...
  • 19 篇 predictive model...

机构

  • 19 篇 faculty of compu...
  • 19 篇 gik institute of...
  • 19 篇 university of eu...
  • 19 篇 dept. of technol...
  • 17 篇 dept. of compute...
  • 16 篇 dept. of compute...
  • 13 篇 dept. of softwar...
  • 13 篇 state key labora...
  • 13 篇 dept. of compute...
  • 12 篇 dept. of compute...
  • 12 篇 dept. of compute...
  • 11 篇 bcmaterials basq...
  • 11 篇 bcmaterials basq...
  • 10 篇 college of compu...
  • 10 篇 dept. of compute...
  • 9 篇 school of softwa...
  • 9 篇 nicta victoria r...
  • 8 篇 daffodil interna...
  • 8 篇 faculty of elect...
  • 8 篇 university of re...

作者

  • 19 篇 ku wei-shinn
  • 19 篇 baldwin timothy
  • 19 篇 ali raja hashim
  • 19 篇 raja hashim ali
  • 16 篇 usama arshad
  • 16 篇 arshad usama
  • 14 篇 zain ul abideen
  • 12 篇 shiri nematollaa...
  • 11 篇 buyya rajkumar
  • 10 篇 baik doo-kwon
  • 10 篇 ali zeeshan ijaz
  • 8 篇 qusay h. mahmoud
  • 8 篇 cho seong-je
  • 8 篇 nisar ali
  • 8 篇 shafiur rahman
  • 8 篇 ali nisar
  • 8 篇 ijaz ali zeeshan
  • 7 篇 stuckey peter j.
  • 7 篇 siddique abu bak...
  • 7 篇 ul abideen zain

语言

  • 1,547 篇 英文
  • 30 篇 其他
  • 5 篇 中文
  • 4 篇 朝鲜文
  • 3 篇 日文
检索条件"机构=Dept of Computer Science and Software Engineering"
1589 条 记 录,以下是121-130 订阅
排序:
An integrated verification environment for JML: Architecture and early results
An integrated verification environment for JML: Architecture...
收藏 引用
ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
作者: Chalin, Patrice James, Perry R. Karabotsos, George Dependable Software Research Group Dept. of Computer Science and Software Engineering Concordia University Montréal Canada
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almos... 详细信息
来源: 评论
Partially lexicalized parsing model utilizing rich features  8
Partially lexicalized parsing model utilizing rich features
收藏 引用
8th International Conference on Spoken Language Processing, ICSLP 2004
作者: Park, So-Young Kwak, Yong-Jae Lim, Joon-Ho Rim, Hae-Chang Kim, Soo-Hong Dept. of Computer Science Engineering Korea University Korea Republic of Dept. of Computer Software Engineering Sangmyung University Korea Republic of
In this paper, we propose a partially lexicalized parsing model utilizing rich features to improve the parsing ability and reduce the parsing cost. In order to disambiguate parse trees effectively, it employs several ... 详细信息
来源: 评论
An RFID and particle filter-based indoor spatial query evaluation system
An RFID and particle filter-based indoor spatial query evalu...
收藏 引用
16th International Conference on Extending Database Technology, EDBT 2013
作者: Yu, Jiao Ku, Wei-Shinn Sun, Min-Te Lu, Hua Dept. of Computer Science and Software Engineering Auburn University United States Dept. of Computer Science and Information Engineering National Central University Taiwan Dept. of Computer Science Aalborg University Denmark
People spend a significant amount of time in indoor spaces (e.g., office buildings, subway systems, etc.) in their daily lives. Therefore, it is important to develop efficient indoor spatial query algorithms for suppo... 详细信息
来源: 评论
Large language model-driven probabilistic trajectory prediction in the Internet of Things using spatio-temporal encoding and normalizing flows
收藏 引用
Digital Communications and Networks 2025年
作者: Xiaoliang Wang Liming Xu Lian Zhou Yuzhen Liu Neal Xiong Kuan-Ching Li School of Computer Science and Engineering Hunan University of Science and Technology Xiangtan 411201 China Sanya Institute of Hunan University of Science and Technology Sanya 572024 China Hunan Key Laboratory for Service Computing and Novel Software Technology Xiangtan 411201 China Department of Computer Mathematical and Physical Sciences Sul Ross State University Alpine TX 79830 USA Dept of Computer Science and Information Engineering Providence University Taichung 43301 Taiwan Republic of China
The convergence of the Internet of Things (IoT) and foundation models, particularly Large Language Models (LLMs), heralds a new era of intelligent and adaptive systems. This investigation explores the integration of L... 详细信息
来源: 评论
A Systematic Review on Pattern-based GUI Testing of Android and Web Apps: State-of-the-Art, Taxonomy, Challenges and Future Directions  25
A Systematic Review on Pattern-based GUI Testing of Android ...
收藏 引用
25th International Multi Topic Conference, INMIC 2023
作者: Kousar, Ambreen Khan, Saif Ur Rehman Hussain, Shahid Abdul Basit Ur Rahim, M. Wang, Wen-Li Ibrahim, Naseem Comsats University Islamabad Dept of Computer Science Islamabad Pakistan Shifa Tameer-e-Millat University Dept. of Software Engineering Islamabad Pakistan Penn State University Behrend School of Computer Science and Software Engineering Pennsylvania16563 United States California State University Dept. of Computer Engineering and Computer Science Long Beach United States Penn State Erie Dept. of Computer Science and Software Engineering United States
Graphical User Interface (GUI) designing and testing of different applications is significant from a user point of view. GUI testing ensures that the user interface of apps is visually appealing, user-friendly, and en... 详细信息
来源: 评论
Simulation-based verification of avionic systems deployed on IMA architectures
Simulation-based verification of avionic systems deployed on...
收藏 引用
MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015
作者: Robati, Tiyam El Kouhen, Amine Gherbi, Abdelouahed Mullins, John Dept. of Software and IT Engineering École de Technologie Suprieure Canada Dept. of Engineering and Computer Science Concordia University Canada Dept. of Computer and Software Engineering École Polytechnique de Montreal Canada
To build reliable avionic applications, we interconnect Integrated Modular Avionics (IMA) architectures with Time-Triggered Ethernet (TT-Ethernet). These systems have direct impacts on human lives where the failure is... 详细信息
来源: 评论
Neighboring Zipcodes -- with a new distance mapping method for better accuracy  13
Neighboring Zipcodes -- with a new distance mapping method f...
收藏 引用
13th IEEE International Conference on Networking, Sensing, and Control (ICNSC)
作者: Apgar, Jordan Yu, Cui Dept. Computer Science and Software Engineering Monmouth University West Long Branch NJ United States
SaA1.5
来源: 评论
A technique for using model checkers to teach formal specifications
A technique for using model checkers to teach formal specifi...
收藏 引用
21st Conference on software engineering Education and Training
作者: Salamah, Salamah Gates, Ann Q. Computer and Software Engineering Dept. Embry-Riddle Aeronautical University Computer Science Dept. University of Texas El Paso United States
The difficulty of writing, reading, and understanding formal specifications is one of the main obstacles in adopting formal verification techniques such as model checking and runtime verification. Introducing concepts... 详细信息
来源: 评论
An Effective Recurrent Neural Network (RNN) based Intrusion Detection via Bi-directional Long Short-Term Memory
An Effective Recurrent Neural Network (RNN) based Intrusion ...
收藏 引用
2021 International Conference on Intelligent Technologies, CONIT 2021
作者: Sivamohan, S. Sridhar, S.S. Krishnaveni, S. Dept of Computer Science and Engineering SRMIST Kattankulathur Chennai India Dept of Software Engineering SRMIST Kattankulathur Chennai India
The evolution of communication and information systems has raised the volume of data distributed through the internet. As an effect, a majority of digital resources have been increased, so does the challenge of cybers... 详细信息
来源: 评论
User-friendly calibration tool for temperature measurements of PCR devices with NTC thermistors
International Journal of Control and Automation
收藏 引用
International Journal of Control and Automation 2015年 第7期8卷 13-24页
作者: Lee, Wan Yeon Kim, Tong Min Kim, Min Ja Ko, Young Woong Kim, Jong Dae Department of Computer Science Dongduk Women's University Seoul Korea Republic of Dept. of Computer Science and Engineering Korea University Seoul Korea Republic of Department of Computer engineering Hallym University Chunchon Korea Republic of Department of Convergence Software Hallym University Chunchon Korea Republic of
In this paper, we propose a user-friendly tool that calibrates the coefficient variables of Steinhart-Hart equation used for the temperature measurement of NTC thermistor. The proposed tool provides automatic modifica... 详细信息
来源: 评论