咨询与建议

限定检索结果

文献类型

  • 5,426 篇 会议
  • 1,032 篇 期刊文献
  • 97 册 图书

馆藏范围

  • 6,555 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4,064 篇 工学
    • 2,719 篇 计算机科学与技术...
    • 2,295 篇 软件工程
    • 951 篇 信息与通信工程
    • 758 篇 控制科学与工程
    • 587 篇 电气工程
    • 551 篇 电子科学与技术(可...
    • 350 篇 生物工程
    • 274 篇 生物医学工程(可授...
    • 271 篇 机械工程
    • 248 篇 光学工程
    • 235 篇 动力工程及工程热...
    • 191 篇 仪器科学与技术
    • 164 篇 化学工程与技术
    • 143 篇 安全科学与工程
    • 137 篇 交通运输工程
    • 121 篇 建筑学
    • 119 篇 材料科学与工程(可...
  • 1,998 篇 理学
    • 1,146 篇 数学
    • 477 篇 物理学
    • 382 篇 生物学
    • 343 篇 统计学(可授理学、...
    • 317 篇 系统科学
    • 157 篇 化学
  • 981 篇 管理学
    • 629 篇 管理科学与工程(可...
    • 408 篇 图书情报与档案管...
    • 387 篇 工商管理
  • 219 篇 医学
    • 198 篇 临床医学
    • 184 篇 基础医学(可授医学...
  • 184 篇 法学
    • 147 篇 社会学
  • 138 篇 经济学
    • 137 篇 应用经济学
  • 111 篇 教育学
  • 64 篇 农学
  • 18 篇 文学
  • 17 篇 军事学
  • 6 篇 艺术学

主题

  • 137 篇 accuracy
  • 122 篇 computational mo...
  • 113 篇 machine learning
  • 109 篇 feature extracti...
  • 107 篇 training
  • 106 篇 software
  • 93 篇 software enginee...
  • 91 篇 optimization
  • 84 篇 predictive model...
  • 83 篇 artificial intel...
  • 79 篇 deep learning
  • 75 篇 real-time system...
  • 73 篇 data models
  • 68 篇 computer science
  • 68 篇 computer archite...
  • 62 篇 mathematical mod...
  • 61 篇 data mining
  • 61 篇 monitoring
  • 60 篇 internet of thin...
  • 58 篇 robustness

机构

  • 56 篇 dept. of systems...
  • 32 篇 dept. of systems...
  • 23 篇 optical sciences...
  • 20 篇 dept. of electri...
  • 19 篇 faculty of compu...
  • 19 篇 gik institute of...
  • 19 篇 university of eu...
  • 19 篇 dept. of technol...
  • 16 篇 dept. of electri...
  • 15 篇 dept. of electri...
  • 15 篇 dept. of compute...
  • 14 篇 dept. of systems...
  • 14 篇 dept. of electri...
  • 14 篇 dept. of compute...
  • 14 篇 dept. of softwar...
  • 12 篇 dept. of softwar...
  • 12 篇 networking and i...
  • 12 篇 ieee
  • 12 篇 bcmaterials basq...
  • 12 篇 dept. of compute...

作者

  • 35 篇 wainer gabriel
  • 21 篇 ali raja hashim
  • 20 篇 tan mengxi
  • 20 篇 moss david j.
  • 19 篇 xu xingyuan
  • 18 篇 gabriel wainer
  • 18 篇 usama arshad
  • 18 篇 ku wei-shinn
  • 18 篇 arshad usama
  • 16 篇 zain ul abideen
  • 15 篇 yangquan chen
  • 14 篇 baldwin timothy
  • 13 篇 shabtai asaf
  • 13 篇 ali zeeshan ijaz
  • 13 篇 xi zhang
  • 12 篇 reiner lisa
  • 12 篇 hyunseung choo
  • 12 篇 sakamoto makoto
  • 12 篇 min dong
  • 12 篇 nisar ali

语言

  • 6,342 篇 英文
  • 136 篇 其他
  • 58 篇 中文
  • 9 篇 朝鲜文
  • 8 篇 日文
  • 1 篇 德文
  • 1 篇 俄文
检索条件"机构=Dept. of Software Engineering and Computer Systems"
6555 条 记 录,以下是4991-5000 订阅
排序:
Multiobjective differential evolution for workflow execution on grids
Multiobjective differential evolution for workflow execution...
收藏 引用
5th International Workshop on Middleware for Grid Computing, MGC'07, held at the ACM/IFIP/USENIX 8th International Middleware Conference
作者: Talukder, A. K. M. Khaled Ahsan Kirley, Michael Buyya, Rajkumar Dept. of Computer Science and Software Engineering University of Melbourne VIC 3053 Australia
Most algorithms developed for scheduling applications on global Grids focus on a single Quality of Service (QoS) parameter such as execution time, cost or total data transmission time. However, if we consider more tha... 详细信息
来源: 评论
Sampling point-set implicits  4
Sampling point-set implicits
收藏 引用
Point-Based Graphics 2007, PBG 2007
作者: Proença, J. Jorge, J.A. Sousa, M.C. Dept. Information Systems and Computer Engineering TU Lisbon Portugal Dept. Computer Science University of Calgary Canada
We present a novel approach for point-set implicit surface sampling that is able to rapidly distribute particles over the surface of 3D objects. Our methods benefit from the inner structure of a MPU implicit to obtain... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Verification of automatically generated pattern-based LTL specifications
Verification of automatically generated pattern-based LTL sp...
收藏 引用
10th IEEE International Symposium on High Assurance systems engineering
作者: Salamah, Salamah Gates, Ann Q. Kreinovich, Vladik Roach, Steve Dept. Comp and Software Engineering Embry-Riddle Aeronautical Univ. Computer Science Dept. University of Texas El Paso United States
The use of property classifications and patterns, i.e., high-level abstractions that describe common behavior have been shown to assist practitioners in generating formal specifications that can be used informal verif... 详细信息
来源: 评论
Rough set based document ranking system
Rough set based document ranking system
收藏 引用
2007 International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2007
作者: Thammi Reddy, K. Shashi, M. Pratap Reddy, L. Dept of Computer Science and Engineering GITAM Visakhapatnam India Dept. of Computer Science and Systems Engineering Andhra University Visakhapatnam India Dept. of Electronics and Communications Engineering JNTU Hyderabad India
Information Retrieval systems used in digital libraries need to find the extent of similarity between a pair of text documents for providing access to topically relevant documents on one hand and for identifying docum... 详细信息
来源: 评论
Multi-Scale Distributed Port-Hamiltonian Representation of Ionic Polymer-Metal Composite
收藏 引用
IFAC Proceedings Volumes 2008年 第2期41卷 2300-2305页
作者: Gou Nishida Kentaro Takagi Bernhard Maschke Zhi-wei Luo RIKEN(The Institute of Physical and Chemical Research) Bio-Mimetic Control Research Center Environment Adaptive Robotic Systems Lab. 2271-130 Anagahora Shimoshidami Moriyama-ku Nagoya Aichi 463-0003 Japan Dept. of Mechanical Science and Engineering Graduate School of Engineering Nagoya University Furo-cho Chikusa-ku Nagoya 464-8603 JAPAN Université Claude Bernard Lyon-1 CPE Lyon - Bâtiment 308 G UCB Lyon 1 - UFR Génie Electrique et des Procédés - CNRS UMR 5007 Laboratoire d'Automatique et de Génie des Procédés 43 bd du 11 Novembre 1918 F-69622 Villeurbanne cedex France Department of Computer and Systems Engineering Kobe University 1-1 Rokkodai Nada-ku Kobe Hyogo 657-8501 JAPAN / RIKEN BMC
This paper shows that one of soft actuators, Ionic Polymer-Metal Composite (IPMC) can be modeled in terms of distributed port-Hamiltonian systems with multi-scale. The physical structure of IPMC consists of three part... 详细信息
来源: 评论
Bowl championship series vulnerability analysis  07
Bowl championship series vulnerability analysis
收藏 引用
4th Richard Tapia Celebration of Diversity in Computing Conference 2007
作者: Soares, Caio Page, George MacDonald, Jonathan Baskiyar, Sanjeev Hamilton Jr., John Dozier, Gerry Dept. of Computer Science and Software Engineering Auburn University AL 36849 Dept. of Computer Science North Carolina A and T State University Greensboro NC 27411
The Bowl Championship Series (BCS) is the system used to select the top two college football teams to play in a championship game at the end of a season. During the nine seasons played under the BCS, few have not caus... 详细信息
来源: 评论
A large-scale and decentralized infrastructure for content-based publish/subscribe services
A large-scale and decentralized infrastructure for content-b...
收藏 引用
36th International Conference on Parallel Processing in Xi'an, ICPP
作者: Yang, Xiaoyu Zhu, Yingwu Hu, Yiming Dept. of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States Dept. of Computer Science and Software Engineering Seattle University Seattle MA 98122 United States
Publish/Subscribe model has become a prevalent paradigm for building distributed event delivering systems. Content-based publish/subscribe allows high expresses in subscriptions and thus is more appropriate for conten... 详细信息
来源: 评论
AutoPaG: Towards automated software patch generation with source code root cause identification and repair  07
AutoPaG: Towards automated software patch generation with so...
收藏 引用
2nd ACM Symposium on Information, computer and Communications Security, ASIACCS '07
作者: Lin, Zhiqiang Jiang, Xuxian Xu, Dongyan Mao, Bing Xie, Li Dept. of Computer Science Nanjing University China Dept. of Information and Software Engineering George Mason University United States CERIAS Dept. of Computer Science Purdue University United States
software patch generation is a critical phase in the life-cycle of a software vulnerability. The longer it takes to generate a patch, the higher the risk a vulnerable system needs to take to avoid from being compromis... 详细信息
来源: 评论
Fault-adaptive control for robust performance management of computing systems
Fault-adaptive control for robust performance management of ...
收藏 引用
4th International Conference on Autonomic Computing, ICAC'07
作者: Abdelwahed, Sherif Kandasamy, Nagarajan Institute for Software Integrated Systems Vanderbilt University Nashville TN United States Electrical and Computer Engineering Dept. Drexel University Philadelphia PA United States
This paper introduces a fault-adaptive control approach for the robust and reliable performance management of computing systems. Fault adaptation involves the detection and isolation of faults, and then taking appropr... 详细信息
来源: 评论