咨询与建议

限定检索结果

文献类型

  • 72 篇 期刊文献
  • 69 篇 会议

馆藏范围

  • 141 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 100 篇 工学
    • 80 篇 计算机科学与技术...
    • 63 篇 软件工程
    • 28 篇 信息与通信工程
    • 15 篇 生物工程
    • 13 篇 光学工程
    • 13 篇 电子科学与技术(可...
    • 12 篇 生物医学工程(可授...
    • 7 篇 控制科学与工程
    • 6 篇 电气工程
    • 4 篇 建筑学
    • 3 篇 机械工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 3 篇 航空宇航科学与技...
    • 3 篇 网络空间安全
    • 2 篇 力学(可授工学、理...
  • 55 篇 理学
    • 34 篇 数学
    • 18 篇 生物学
    • 15 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 系统科学
    • 3 篇 化学
  • 27 篇 管理学
    • 17 篇 图书情报与档案管...
    • 15 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 13 篇 医学
    • 12 篇 基础医学(可授医学...
    • 11 篇 临床医学
    • 8 篇 药学(可授医学、理...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 军事学
  • 1 篇 法学
  • 1 篇 教育学

主题

  • 6 篇 semantics
  • 5 篇 reinforcement le...
  • 4 篇 data mining
  • 4 篇 computational mo...
  • 4 篇 machine learning
  • 3 篇 image segmentati...
  • 3 篇 algorithm design...
  • 3 篇 location based s...
  • 3 篇 data models
  • 3 篇 privacy
  • 3 篇 training
  • 2 篇 programming
  • 2 篇 task analysis
  • 2 篇 sensitivity
  • 2 篇 computer archite...
  • 2 篇 xml
  • 2 篇 sun
  • 2 篇 satellite commun...
  • 2 篇 software enginee...
  • 2 篇 containers

机构

  • 12 篇 department of co...
  • 11 篇 university of ch...
  • 9 篇 software enginee...
  • 9 篇 shanghai key lab...
  • 8 篇 shanghai key lab...
  • 6 篇 shanghai key lab...
  • 6 篇 school of comput...
  • 5 篇 institute of art...
  • 5 篇 guangdong key la...
  • 4 篇 school of inform...
  • 4 篇 shanghai key lab...
  • 4 篇 shanghai key lab...
  • 4 篇 shanghai clinica...
  • 3 篇 department of co...
  • 3 篇 shanghai institu...
  • 3 篇 institute for fr...
  • 3 篇 college of infor...
  • 3 篇 shanghai key lab...
  • 3 篇 shanghai key lab...
  • 3 篇 state key lab of...

作者

  • 9 篇 wang xiaoling
  • 7 篇 zhou aoying
  • 6 篇 wang ting
  • 5 篇 zhang lei
  • 5 篇 shen dinggang
  • 4 篇 tang zhiqing
  • 4 篇 zhao hui
  • 4 篇 li xiang
  • 4 篇 zhenfu cao
  • 4 篇 shi yuanming
  • 4 篇 liu tianming
  • 4 篇 aoying zhou
  • 4 篇 lou jiong
  • 3 篇 zhang linfeng
  • 3 篇 zhang shu
  • 3 篇 zhu dajiang
  • 3 篇 rong zhang
  • 3 篇 jia weijia
  • 3 篇 sha chaofeng
  • 3 篇 jiang xi

语言

  • 128 篇 英文
  • 11 篇 其他
  • 2 篇 中文
检索条件"机构=Institute for Data Science and Engineering and Shanghai Key Lab for Trustworthy Computing"
141 条 记 录,以下是131-140 订阅
排序:
Time for statistical model checking of real-time systems
Time for statistical model checking of real-time systems
收藏 引用
Lecture Notes in Computer science
作者: David, Alexandre Larsen, Kim G. Legay, Axel Mikučionis, Marius Wang, Zheng Computer Science Aalborg University Denmark INRIA/IRISA Rennes Cedex France Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University China
We propose the first tool for solving complex (some undecidable) problems of timed systems by using Statistical Model Checking (SMC). The tool monitors several runs of the system, and then relies on statistical algori... 详细信息
来源: 评论
Parallel ISOdata clustering of remote sensing images based on MapReduce
Parallel ISODATA clustering of remote sensing images based o...
收藏 引用
International Conference on Cyber-Enabled Distributed computing and Knowledge Discovery
作者: Li, Bo Zhao, Hui Lv, ZhenHua Institute of Software Engineering Key Laboratory of Trustworthy Computing of Shanghai East China Normal University Shanghai China Key Laboratory of Geographic Information Science Ministry of Education Geography Department East China Normal University Shanghai China
The ISOdata clustering algorithm is regarded as a common method in the field of analyzing remote sensing images. It is very effective to generate a preliminary overview of images. These kinds of clustering methods are... 详细信息
来源: 评论
Parallel ISOdata Clustering of Remote Sensing Images Based on MapReduce
Parallel ISODATA Clustering of Remote Sensing Images Based o...
收藏 引用
International Conference on Cyber-Enabled Distributed computing and Knowledge Discovery, CyberC
作者: Bo Li Hui Zhao ZhenHua Lv Institute of Software Engineering East China Jiao Tong University Shanghai China Key Laboratory of Trustworthy Computing of Shanghai East China Jiao Tong University Shanghai China Key Laboratory of Geographic Information Science Ministry of Education Geography Department East China Jiao Tong University Shanghai China
The ISOdata clustering algorithm is regarded as a common method in the field of analyzing remote sensing images. It is very effective to generate a preliminary overview of images. These kinds of clustering methods are... 详细信息
来源: 评论
An integrated computing environment for bio-molecular networks
收藏 引用
Journal of Convergence Information Technology 2010年 第4期5卷
作者: Xie, Jiang Mao, Guoyong Zhang, Shilin Zhang, Wu School of Computer Engineering and Science Shanghai University Shanghai 200072 China Institute of Systems Biology Shanghai University Shanghai 200444 China Changzhou Key lab for Research and Application of Software Technology Changzhou 213002 China High Performance Computing Center Shanghai University Shanghai 200072 China
With the development of systems biology, more and more researchers focus on the study of bio-molecular networks. In recent years, researchers in different fields have accumulated a large number of biological experimen... 详细信息
来源: 评论
Directly identify unexpected instances in the test set by entropy maximization
Directly identify unexpected instances in the test set by en...
收藏 引用
Joint International Conference on Advances in data and Web Management, APWeb/WAIM 2009
作者: Sha, Chaofeng Xu, Zhen Wang, Xiaoling Zhou, Aoying Department of Computer Science and Engineering Fudan University Shanghai 200433 China Shanghai Key Laboratory of Trustworthy Computing Institute of Massive Computing East China Normal University Shanghai 200062 China
In real applications, a few unexpected examples unavoidably exist in the process of classification, not belonging to any known class. How to classify these unexpected ones is attracting more and more attention. Howeve... 详细信息
来源: 评论
Incorporating prior knowledge into learning by dividing training data
收藏 引用
中国高等学校学术文摘·计算机科学 2009年 第1期3卷 109-122页
作者: Baoliang LU Xiaolin WANG Masao UTIYAMA Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China MOE-Microsoft Key Lab for Intelligent Computing and Intelligent Systems Shanghai Jiao Tong University Shanghai 200240 China Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China National Institute of Information and Communications Technology (NICT) Kyoto 619-0288 Japan
In most large-scale real-world pattern classification problems, there is always some explicit information besides given training data, namely prior knowledge, with which the training data are organized. In this paper,... 详细信息
来源: 评论
Test data Generation for Derived Types in C Program
Test Data Generation for Derived Types in C Program
收藏 引用
Third International Symposium on Theoretical Aspects of Software engineering TASE 2009(第三届软件工程理论国际研讨会)
作者: Tao Sun Zheng Wang Geguang Pu Xiao Yu Zuohua Ding JueLiang Hu Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal Center of Math Computing and Software Engineering Institute of ScienceZhejiang Sci-Tech University Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal
Test data generation is one of the important tasks dur ing software testing. This paper proposes an approach to generating test cases automatically for the unit test of C programs with derived types including pointers... 详细信息
来源: 评论
Simplification of Numerical Rational Surfaces
Simplification of Numerical Rational Surfaces
收藏 引用
The Second International Joint Conference on Computational science and Optimization(CSO 2009)(2009 国际计算科学与优化会议)
作者: Liyong Shen Zhengfeng Yang Min Wu School of Mathematical Sciences Graduate University of CAS Beijing 100049 China Shanghai Key Lab of Trustworthy Computing Software Engineering Institute ECNU Shanghai 200062 Chi
Simplifying numerical rational surfaces is a basic problem in solid modeling, CAD and CAM. We present an algorithm to find a simpler approximate reparametrization of numerical rational surfaces which is very useful in... 详细信息
来源: 评论
Survey on the management of uncertain data
收藏 引用
Jisuanji Xuebao/Chinese Journal of Computers 2009年 第1期32卷 1-16页
作者: Zhou, Ao-Ying Jin, Che-Qing Wang, Guo-Ren Li, Jian-Zhong Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai 200062 China School of Information Science and Engineering Northeastern University Shenyang 110004 China School of Computer Science and Technology Harbin Institute of Technology Harbin 150001 China
The importance of the data uncertainty was studied deeply with the rapid development in data gathering and processing in various fields, inclusive of economy, military, logistic, finance and telecommunication, etc. Un... 详细信息
来源: 评论
A fast method to find solution for service composition
A fast method to find solution for service composition
收藏 引用
IEEE International Conference on Web Services, ICWS 2008
作者: Huang, Yan Wang, Xiaoling Zhou, Aoying Department of Computer Science and Engineering Fudan University Shanghai 200433 China Shanghai Key Laboratory of Trustworthy Computing Institute of Massive Computing East China Normal University Shanghai 200062 China
Web service has emerged as a new solution for enterprise application integration. Automatic service composite algorithm is to build a composite service for user's request or complex business requirement. Most form... 详细信息
来源: 评论