检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

4,801 篇 会议
355 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,233 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,596 篇 工学
- 3,093 篇 计算机科学与技术...
- 2,589 篇 软件工程
- 586 篇 信息与通信工程
- 437 篇 控制科学与工程
- 343 篇 电气工程
- 230 篇 机械工程
- 200 篇 电子科学与技术（可...
- 194 篇 生物工程
- 142 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 100 篇 动力工程及工程热...
- 94 篇 土木工程
- 83 篇 交通运输工程
- 82 篇 仪器科学与技术
- 82 篇 材料科学与工程（可...
994 篇 理学
- 559 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 170 篇 物理学
- 152 篇 统计学（可授理学、...
- 77 篇 化学
803 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 290 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
224 篇 software
175 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
130 篇 computer communi...
114 篇 computer science
110 篇 software enginee...
109 篇 hardware
109 篇 computer softwar...
102 篇 real-time system...
94 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
7 篇 sturm arnon
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,054 篇 英文
155 篇 其他
40 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5237 条记录，以下是4291-4300 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Applying machine learning to solve an estimation problem in software inspections

引用

12th International conference on Artifical Neural Networks (ICANN 2002)

作者： Ragg, T Padberg, F Schoknecht, R Phase It AG D-69115 Heidelberg Germany Univ Karlsruhe Fak Informat D-76131 Karlsruhe Germany

ISBN: (纸本)3540440747

We use Bayesian neural network techniques to estimate the number of defects in a software document based on the outcome of an inspection of the document. Our neural networks clearly outperform standard methods from software engineering for estimating the defect content. We also show that selecting the right subset of features largely improves the predictive performance of the networks.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Information systems development through social structures 02

Information systems development through social structures

引用

14th International conference on software engineering and Knowledge engineering, SEKE '02

作者： Kolp, Manuel Giorgini, Paolo Mylopoulos, John IAG - Information Systems Unit University of Louvain 1 Place des Doyens 1348 Louvain-La-Neuve Belgium Dept. of Information and Communication Technology University of Trento 14 Via Sommerive 38100 Trento Italy Dept. of Computer Science University of Toronto 6 King's College Road Toronto ON M5S 3H5 Canada

ISBN: (纸本)1581135564

Information systems for organizations such as e-business and knowledge management systems must continually evolve to adapt to their operational environment. Unfortunately, current development methodologies do not support system evolution well, making software an obstacle to organizational changes. the paper describes a framework that develops and evolves seamlessly a system-to-be within its organizational environment. We adopt a set of social structures - organizational styles and social patterns - based on concepts of organization theory and agent approaches, as a foundation to model early and late requirements as well as architectural and detailed design. We illustrate the use of the social structures through a case study, and we specify one of the styles in Formal Tropos language. this research has been conducted within the context of the Tropos project. Copyright 2002 ACM.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

PC-based control unit for a head mounted operating microscope for augmented reality visualization in surgical navigation 5th

引用

5th International conference on Medical Image Computing and computer-Assisted Intervention, MICCAI 2002

作者： Figl, Michael Birkfellner, Wolfgang Watzinger, Franz Wanschitz, Felix Hummel, Johann Hanel, Rudolf Ewers, Rolf Bergmann, Helmar Department of Biomedical Engineering and Physics AKH Vienna Austria CARCAS Group University Hospital of Basle Switzerland Department of Oral and Maxillofacial Surgery AKH Vienna Austria Ludwig-Boltzmann Institute of Nuclear Medicine Vienna Austria

ISBN: (纸本)3540442251

We have adapted a miniature head mounted operating microscope for AR by integrating two very small computer displays. To calibrate the projection parameters of this so called Varioscope AR we have used Tsai’s Algorithm for camera calibration. Connection to a surgical navigation system was performed by defining an open interface to the control unit of the Varioscope AR. the control unit consists of a standard PC with an dual head graphics adapter. We connected this control unit to an computer aided surgery (CAS) system by the TCP/IP interface. In this paper we present the control unit for the HMD and its software design. We tested two different optical tracking systems, the Flashpoint (Image Guided Technologies, Boulder, CO), which provided about 10 frames per second, and the Polaris (Northern Digital, Ontario, Can) which provided at least 30 frames per second, both with a time delay of one frame. © Springer-Verlag Berlin Heidelberg 2002.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Learning physical fields through operating robot movements: a case study

Learning physical fields through operating robot movements: ...

引用

Proceedings of the Biannual World Automation Congress

作者： I.M. Verner I. Ushin E. Korchnoy Department of Education in Technology and Science Technion-Israel Institute of Technology Israel

this paper considers an electronic development workshop course taught in israeli high schools (grade 11). the students learn electronic systems in the context of their application to operating a mobile robot. they equip a mobile robot platform with sensor systems, and perform assignments of automatic detection of electrical, sound, and other physical fields. Our educational study examines the effect of learning experiences with different physical environments throughout the course on the students' understanding of physical field concepts.

关键词： computer aided software engineering Educational robots Mobile robots Robot sensing systems Robotics and automation Educational institutions computer science education Educational technology Sensor systems Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

On the many ways software engineering can benefit from knowledge engineering 02

On the many ways software engineering can benefit from knowl...

引用

14th International conference on software engineering and Knowledge engineering, SEKE '02

作者： Briand, Lionel C. Software Quality Engineering Laboratory Carleton University Department of Systems and Computer Engineering 1125 Colonel By Drive Ottawa ON K1S 5B6 Canada

ISBN: (纸本)1581135564

software engineering is not only a technical discipline of its own. It is also a problem domain where technologies coming from other disciplines are relevant and can play an important role. One important example is knowledge engineering, a term that I use in the broad sense to encompass artificial intelligence, computational intelligence, knowledge bases, data mining, and machine learning. I see a number of typical software development issues that can benefit from these disciplines and, for the sake of clarifying the discussion, I have divided them into four categories: (1) Planning, monitoring, and quality control of projects, (2) the quality and process improvement of software organizations, (3) Decision making support, (4) Automation. First, the planning, monitoring, and quality control of software development is typically based, unless it is entirely ad-hoc, on past project data and/or expert opinion. As discussed below, several techniques coming from machine learning, computational intelligence, and knowledge-based systems have shown to be useful in this context. Second, software organizations are inherently learning organizations, that need to improve, based on experience and project feedback, the way they develop software in changing and volatile environments. Large amounts of data, numerous documents, and other forms of information are typically gathered on projects. the question then becomes how to enable the intelligent storage and use of such information in future projects. third, during the course of a project, software engineers and managers have to face important, complex decisions. they need decision models to support them, especially when project pressure is intense. Techniques originally developed for building risk models based on expert elicitation or optimization heuristics can play a key role in such a context. the last category of applications concerns automation. Many automation problems, such as test data generation, can be formulated as const

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

An architecture-centric approach to the development of a distributed model-checker for timed automata 02

An architecture-centric approach to the development of a dis...

引用

24th International conference on software engineering

作者： Schapachnik, F Braberman, V Olivero, A Univ Buenos Aires Fac Ciencias Exactas & Nat Dept Computac RA-1053 Buenos Aires DF Argentina

ISBN: (纸本)158113472X

Research in Model-Checking is focused on increasing the size of the problems tools can deal with. the ultimate wave has been the use of Distributed-Computing, where a cluster of computers work together to solve the problem [8, 3, 9]. In our work we present a distributed model-checker that evolves from the tool Kronos [5] and can handle backwards computation of TCTL-reachability formulae [1] over timed-automata [2]. Our proposal, including the arguments of its correctness, is based on software architectures, using a notation adapted from [6]. We find such an approach a natural and general way to address the development of complex tools that need to incorporate new features and optimizations as they evolve. We introduce some interesting features such as a priori graph partitioning (using METIS [7], a standard library for graph partitioning), a sophisticated machinery to reach optimum performance (communication piggybacking and delayed messaging) and dead-time utilization, where every processor uses time intervals of inactivity to perform auxiliary, time-consuming tasks that will later speed up the rest of the computation. the correctness proof strategy combines an architecture evolution with the theoretical results about fix point calculation developed by Patrick Cousot in 1978 [4].

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

AUI: A programming language for developing plastic interactive software 35

AUI: A programming language for developing plastic interacti...

引用

35th Annual Hawaii International conference on System Sciences, HICSS 2002

作者： Schneider, K.A. Cordy, J.R. Department of Computer Science University of Saskatchewan SaskatoonSKS7N 5A9 Canada Department of Computing and Information Science Queen's University KingstonONK7L 3N6 Canada

ISBN: (纸本)0769514359

With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across multiple physical environments without requiring costly redesign and reimplementation. Interactive software that easily adapts to new computer systems and environments while maintaining its usability is said to be 'plastic'. this paper introduces the AUI programming language that was designed specifically to support the development of plastic interactive software. An AUI program describes the abstract interaction of the user interface, independent of a particular physical device or concrete interaction style. the features of the AUI language are presented here with examples of how they are used to specify user interaction. As well, this paper describes a prototype implementation that uses function application, pattern matching and lazy evaluation techniques to process the abstract descriptions of the display and user actions. © 2002 IEEE.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

software performance models from system scenarios in use case maps 1

引用

12th International conference on Modelling Techniques and Tools for computer Performance Evaluation, TOOLS 2002

作者： Petriu, Dorin C. Woodside, Murray Dept. of Systems and Computer Engineering Carleton University OttawaK1S 5B6 Canada

ISBN: (数字)9783540460299

ISBN: (纸本)3540435395

software performance concerns begin at the very outset of a new project. the first definition of a software system may be in the form of Use Cases, which may be elaborated as scenarios: this work creates performance models from scenarios. the Use Case Maps notation captures the causal flow of intended execution in terms of responsibilities, which may be allocated to components, and which are annotated with expected resource demands. the SPT algorithm was developed to transform scenario models into performance models. the UCM2LQN tool implements SPT and converts UCM scenario models to layered queueing performance models, allowing rapid evaluation of an evolving scenario definition. the same reasoning can be applied to other scenario models such as Message Sequence Charts, UML Activity Graphs (or Collaboration Diagrams, or Sequence Diagrams), but UCMs are particularly powerful, in that they can combine interacting scenarios and show scenario interactions. thus a solution for UCMs can be applied to multiple scenarios defined with other notations. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Web-oriented software technology 1

引用

16th European conference on Object-Oriented Programming, ECOOP 2002

作者： Pastor, Oscar Schwabe, Daniel Rossi, Gustavo Olsina, Luis Department of Information Systems and Computation Valencia University of Technology P.O. Box: 22012 ValenciaE-46022 Spain Computer Science Department PUC Rio Marques de Sao Vicente 225 Rio de Janeiro22453-900 Brazil UNLP La Plata Argentina Department of Informatics Engineering School UNLPam Calle 110 esq. 9 General PicoLa Pampa6360 Argentina

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

Web engineering has become an important research area, due to the unceasing growth of web sites and applications. New challenges must be faced to provide correct solutions to the problem of defining a precise process to go from requirements to a final software product of quality, all this in the context of a sound web-oriented software technology. this situation is influencing all the conventional areas of software engineering, that must be properly adapted to the particularities of Web Applications. For instance, UML-based Web engineering, need of new mechanisms and techniques for elicitating and representing user requirements for the Web, methods for web-based development and web-based conceptual modeling, methods to evaluate the quality of web application production process and the quality of web products,… among others are issues that require solutions from both the development and the quality assurance point of view. Addressing some of these issues, this work presents the conclusions of the discussions held in the Second Edition of the International Workshop on Web-Oriented software Technology (IWWOST), held in Málaga, Spain, June 2002, as part of the European conference on Object-Oriented Programming (ECOOP). Following the tradition of previous editions, the workshop has been a rich forum of discussions, whose main results are presented structured in four main categories: UML-based web engineering, requirements engineering in the context of web applications, conceptual modeling for the web, and quality assessment for web production processes and products. Each issue is developed starting from the motivation of the problem, followed by the introduction of diverse concrete, current, potential solution to the corresponding problems together to the relevant references. In this way, an added value of this work is a complete overview on what has been already done, and what is still to be done. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Metadata models for QoS-aware information management systems 02

Metadata models for QoS-aware information management systems

引用

14th International conference on software engineering and Knowledge engineering, SEKE '02

作者： Graziano, Almerindo Russo, Stefano Vecchio, Vincenzo Foster, Paul ARPA/Università di Napoli Federico II Via Claudio 21 80125 Napoli Italy School of Computing and Management Sciences Sheffield Hallam University Sheffield United Kingdom BTexact Technologies Future Content Group Adastral Park Martlesham Heath Suffolk IP5 3RE United Kingdom

ISBN: (纸本)1581135564

the provisioning of multimedia services with guaranteed Quality-of-Service (QoS) is currently an important research issue in computer engineering, especially in the networking and information management areas. In this paper, we concentrate on the QoS-based provisioning of discovery and delivery services of multimedia resources in the educational application domain. We present a generic model for QoS-aware information management systems, able to support guarantee of the QoS in search and delivery of information objects over a network infrastructure (such as the Internet or an inter-organizations network). the model identifies actors and components involved, and their role. the metadata models we analyse are specialized for the education domain. For this application domain, we also propose QoS extensions to standard metadata models for profiling users, information services and resources, capable of supporting learning resources discovery and personalized delivery with QoS guarantee. Copyright 2002 ACM.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 426 427 428 429 430 431 432 433 434 435 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：