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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

5,068 篇 会议
45 篇 期刊文献
5 册 图书

馆藏范围

5,118 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,135 篇 工学
- 3,185 篇 计算机科学与技术...
- 1,613 篇 电气工程
- 1,553 篇 信息与通信工程
- 1,283 篇 软件工程
- 557 篇 控制科学与工程
- 346 篇 动力工程及工程热...
- 266 篇 仪器科学与技术
- 251 篇 电子科学与技术（可...
- 202 篇 机械工程
- 112 篇 测绘科学与技术
- 111 篇 安全科学与工程
- 106 篇 网络空间安全
- 105 篇 石油与天然气工程
- 93 篇 交通运输工程
- 77 篇 环境科学与工程（可...
- 77 篇 生物工程
- 76 篇 生物医学工程（可授...
- 74 篇 材料科学与工程（可...
- 66 篇 化学工程与技术
833 篇 理学
- 442 篇 数学
- 208 篇 物理学
- 126 篇 化学
- 123 篇 统计学（可授理学、...
- 102 篇 系统科学
- 99 篇 生物学
574 篇 管理学
- 442 篇 管理科学与工程(可...
- 199 篇 图书情报与档案管...
- 172 篇 工商管理
101 篇 医学
- 82 篇 临床医学
- 65 篇 基础医学(可授医学...
64 篇 经济学
52 篇 法学
40 篇 农学
25 篇 军事学
14 篇 教育学
6 篇 文学
3 篇 艺术学

主题

620 篇 wireless sensor ...
168 篇 sensor nodes
140 篇 sensor systems
138 篇 distributed comp...
122 篇 wireless sensor ...
95 篇 sensor networks
93 篇 distributed powe...
92 篇 internet of thin...
87 篇 energy efficienc...
85 篇 monitoring
81 篇 cloud computing
81 篇 distributed comp...
72 篇 computer network...
71 篇 sensors
68 篇 protocols
65 篇 routing
63 篇 security
59 篇 wireless communi...
59 篇 real-time system...
58 篇 computer archite...

机构

12 篇 maharishi school...
12 篇 jiangsu high tec...
12 篇 ieee
10 篇 college of elect...
9 篇 chitkara univers...
9 篇 chitkara univers...
8 篇 karnataka bangal...
8 篇 henan univ inst ...
8 篇 payame noor univ...
8 篇 wuhan univ sch c...
7 篇 beijing univ pos...
7 篇 tu wien distribu...
6 篇 dalian univ tech...
6 篇 college of techn...
6 篇 shanghai jiao to...
6 篇 centre for inter...
6 篇 univ pittsburgh ...
6 篇 indian sch mines...
6 篇 centre for cyber...
6 篇 chinese acad sci...

作者

14 篇 han zhijie
10 篇 dustdar schahram
10 篇 china
10 篇 zhang wei
9 篇 barolli leonard
8 篇 wang lei
8 篇 liu xue
7 篇 liu yang
6 篇 stankovic john a...
6 篇 xhafa fatos
6 篇 zakaria a.
6 篇 lin chi
6 篇 li wei
6 篇 abdelzaher tarek
6 篇 mukherjee nandin...
6 篇 li hui
5 篇 sarigiannidis pa...
5 篇 yang yang
5 篇 shakaff a.y.m.
5 篇 prasad ramjee

语言

4,969 篇 英文
142 篇 其他
7 篇 中文

检索条件"任意字段=3rd IEEE International Conference on Distributed Computing in Sensor Systems"

共 5118 条记录，以下是4821-4830 订阅

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

详细简洁

排序：

A stochastic model for content-based image retrieval 3rd

A stochastic model for content-based image retrieval

引用

3rd ieee Pacific Rim conference on Multimedia, PCM 2002

作者： Shyu, Mei-Ling Chen, Shu-Ching Luo, Lin Shu, Chi-Min Department of Electrical and Computer Engineering University of Miami Coral GablesFL United States Distributed Multimedia Information System Laboratory School of Computer Science Florida International University MiamiFL United States Department of Environmental and Safety Engineering National Yunlin University of Science and Technology Touliu Yunlin Taiwan

ISBN: (纸本)3540002626

Multimedia data, typically image data, is increasing rapidly across the Internet and elsewhere. To keep pace with the increasing volumes of image information, new techniques need to be investigated to retrieve images intelligently and efficiently. Content-based image retrieval is always a challenging task. In this paper, a stochastic model, called Markov Model Mediator (MMM) mechanism, is used to model the searching and retrieval process for content-based image retrieval. Different from the common methods, our stochastic model carries out the searching and similarity computing process dynamically, taking into consideration not only the image content features but also other characteristics of images such as their access frequencies and access patterns. Experimental results demonstrate that the MMM mechanism together with the stochastic process can assist in retrieving more accurate results for user queries. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Stochastic models

来源：评论

学校读者我要写书评

暂无评论

A novel hierarchical approach to image retrieval using color and spatial information 3rd

A novel hierarchical approach to image retrieval using color...

引用

3rd ieee Pacific Rim conference on Multimedia, PCM 2002

作者： Li, Xiuqi Chen, Shu-Ching Shyu, Mei-Ling Li, Sheng-Tun Furht, Borko Department of Computer Science and Engineering Florida Atlantic University Boca RatonFL33431 United States Distributed Multimedia Information System Laboratory School of Computer Science Florida International University MiamiFL33199 United States Department of Electrical and Computer Engineering University of Miami Coral GablesFL33124 United States Department of Information Management National Kaohsiung First University of Science and Technology Juoyue Rd Nantz District Kaohsiung811 Taiwan

ISBN: (纸本)3540002626

A novel hierarchical approach to image retrieval is proposed. First, a color label histogram is used to effectively filter out the images that are not similar to the query image in color. The proposed color label histogram built by categorizing the pixel colors is computationally much more efficient compared to other approaches. Next, the class parameters of those images passing the first filter are used to identify the images similar to the query image in spatial layout. These class parameters are obtained automatically from the proposed unsupervised segmentation algorithm. Moreover, the wavelet decomposition coefficients are used to generate the initial partition for the segmentation algorithm. It doubles the segmentation performance. At the last stage, all images passing two filters are ranked based on the total normalized distance in color and spatial layout. The experiments show the effectiveness and efficiency of our approach. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Color

来源：评论

学校读者我要写书评

暂无评论

Secure distributed linear algebra in a constant number of rounds

引用

21st Annual international Cryptology conference, CRYPTO 2001

作者： Cramer, Ronald Damgård, Ivan United States

ISBN: (纸本)3540424563

Consider a network of processors among which elements ina finite field K can be verifiably shared in a constant number of *** furthermore constant-round protocols are available for generat-ing random shared values, for secure multiplication and for addition ofshared values. These requirements can be met by known techniques inall standard models of *** this model we construct protocols allowing the network to securelysolve standard computational problems in linear algebra. In particular,we show how the network can securely, efficiently and in constant-roundcompute determinant, characteristic polynomial, rank, and the solutionspace of linear systems of equations. Constant round solutions follow forall problems which can be solved by direct application of such linearalgebraic methods, such as deciding whether a graph contains a *** the basic protocols (for shared random values, addition and multiplica-tion) we start from are unconditionally secure, then so are our *** results offer solutions that are significantly more efficient than pre-vious techniques for secure linear algebra, they work for arbitrary fieldsand therefore extend the class of functions previously known to be com-putable in constant round and with unconditional security. In particular,we obtain an unconditionally secure protocol for computing a function fin constant round, where the protocol has complexity polynomial in thespan program size of f over an arbitrary finite field. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

EEG real-time feedback based on STFT and coherence analysis

EEG real-time feedback based on STFT and coherence analysis

引用

Annual international conference of the ieee Engineering in Medicine and Biology Society (EMBC)

作者： Zhou Weidong Li Yingyuan Department of Electronic Engineering Shandong University Jinan China

A method and system of real-time feedback and analyzing Electroencephalogram (EEG) using short-time Fourier transform (STFT) and coherence analysis is presented in this paper. The system composition of hardware and software are described. By the utilization of this method and system, the EEG's real-time time-frequency distribution (TFD) is obtained, and the EEG temporal spectral 3-dimension array is displayed on computer's screen for EEG realtime feedback. The time-frequency analysis (TFA) such as Wigner-Ville distribution (WVT) and wavelet transform (WT), has been successfully applied in some biomedical signals to detect both temporal and spectral features of biomedical signals. But real-time realization of TFA is difficult since the computation complication of WVT and WT. By using the STFT algorithm, we develop a system for the EEG feedback and TFA in real-time. This system may be used for EEG biofeedback, and possesses the value of clinical practice.

关键词： Electroencephalography Feedback Real time systems Time frequency analysis Biomedical computing Fourier transforms Hardware Computer displays distributed computing Wavelet analysis

来源：评论

学校读者我要写书评

暂无评论

The mobile patient: Wireless distributed sensor networks for patient monitoring and care

The mobile patient: Wireless distributed sensor networks for...

引用

Joint Meeting of the 3rd ieee EMBS international conference on Information Technology Applications in Biomedicine/3rd Workshop of the Int-Telemedical-Information-Society

作者： Bauer, P Sichitiu, M Istepanian, R Premaratne, K Univ Notre Dame Dept EE Notre Dame IN 46556 USA

ISBN: (纸本)078036449X

In this paper, the concept of a 3 layer distributed sensor network for patient monitoring and care is introduced. The envisioned network has a leaf node layer (consisting of patient sensors), a intermediate node layer (consisting of the supervisory processor residing with each patient) and the root node processor (residing at a central monitoring facility). The introduced paradigm has the capability of dealing with the bandwidth bottleneck at the wireless patient - root node link and the processing bottleneck at the central processor or root node of the network.

关键词： mobile patient wireless network distributed sensor network variable bit-rate control

来源：评论

学校读者我要写书评

暂无评论

Hierarchical feedback adaptation for real time sensor-based distributed applications 3

Hierarchical feedback adaptation for real time sensor-based ...

引用

3rd ieee international Symposium on Object-Oriented Real-Time distributed computing, ISORC 2000

作者： Cardei, M. Cardei, I. Jha, R. Pavan, A. Honeywell Technology Center 3660 Technology Drive MinneapolisMN55418 United States

ISBN: (纸本)0769506070

The paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real time distributed data flow applications, such as sensor based data streams or mission-critical command and control applications. We applied this method in the context of the Real Time Adaptive Resource Management system, a middleware integrated services, developed at the Honeywell Technology Center. We present the analytical model for Automatic Target Recognition pipeline application and the impact of hierarchical feedback adaptation on the application behavior and its QoS parameters. © 2000 ieee.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

A case study in partial specification: Consistency and refinement for object-Z 3

A case study in partial specification: Consistency and refin...

引用

3rd ieee international conference on Formal Engineering Methods

作者： Taylor, C Derrick, J Boiten, E Univ Kent Comp Lab Canterbury CT2 7NF Kent England

ISBN: (纸本)0769508227

The 'viewpoint' approach, in which a system is described by several partial specifications, has been proposed as a way of making complex computing systems more understandable, The ISO's Open Distributing Processing (ODP) framework is an architecture for open distributed systems, involving five named viewpoints. This paper compares two partial specifications of a lending library - from the ODP's Enterprise and Information Viewpoints - and discusses the relation between them. Both specifications are written in Object-Z, an object-oriented variant of Z. Examining how such partial specifications might be unified raises broader issues of refinement and mutual consistency of partial specifications in Object-Z.

关键词： Computer aided software engineering Computer architecture Computer interfaces distributed computing Hardware Laboratories Libraries Natural languages Specification languages Timing

来源：评论

学校读者我要写书评

暂无评论

Mechanical verification of transaction processing systems 3

Mechanical verification of transaction processing systems

引用

3rd ieee international conference on Formal Engineering Methods

作者： Chkliaev, D Hooman, J van der Stok, P Eindhoven Univ Technol Dept Comp Sci NL-5600 MB Eindhoven Netherlands

ISBN: (纸本)0769508227

This paper concerns the formal specification and mechanical verification of transaction processing systems aimed at distributed databases. In such systems, a standard set of ACID properties most be ensured by a combination of concurrency control and recovery, protocols. In the existing literature, these protocols are often studied in isolation, making strong assumptions about each other The problem of combining them in a formal way is largely, ignored. To study the formal verification of combined protocols, we specify a transaction processing system, integrating strict two-phase locking, undo/redo recovery and two-phase commit. In our method, the locking and undo/redo mechanism at distributed sites is defined by state machines, whereas the interaction between sites according to the two-phase commit protocol is specified by assertions. We proved with the interactive proof checker of PVS that our system satisfies atomicity, durability and serializability properties.

关键词： Centralized control Concurrency control distributed computing distributed databases Error correction Formal verification Interleaved codes Processor scheduling Protocols Transaction databases

来源：评论

学校读者我要写书评

暂无评论

Multi-sensor schemes for controlling devices in clinical applications.

Multi-sensor schemes for controlling devices in clinical app...

引用

Joint Meeting of the 3rd ieee EMBS international conference on Information Technology Applications in Biomedicine/3rd Workshop of the Int-Telemedical-Information-Society

作者： Brett, PN Tritto, G Griffiths, MV Aston Univ Sch Engn & Appl Sci Birmingham B4 7ET W Midlands England

ISBN: (纸本)078036449X

This paper reports on automated sensing techniques developed for two automated tool systems for clinical application. The examples described are for controlling tool penetration through and on the surface of tissue interfaces in the form of a micro-drill and steerable endoscope tip respectively. As a result of interpreting multi sensory data as information, it is possible to identify the state of the tool/tissue interaction and to judge critical states of processes. These solutions show that integration of information technology can lead to reasonably simple designs.

关键词： mechatronics clinical tools sensing multi-sensors tissue interfaces

来源：评论

学校读者我要写书评

暂无评论

Embedding formally proved code in a smart card: Converting B to C 3

Embedding formally proved code in a smart card: Converting B...

引用

3rd ieee international conference on Formal Engineering Methods

作者： Requet, A Bossu, G Gemplus Res Lab F-13881 Gemenos France

ISBN: (纸本)0769508227

Smart cards are small embedded devices with strong security requirements. To fulfil those requirements, formal methods appear as promising techniques. The B method has already been used to model smart card components. However, smart cards have also very strong programming constraints, both for memory usage and computing power. Currently the code generated from a B specification does nor meet those constraints. This paper presents some classical optimisation techniques that are well suited for B specifications, and that need to be included within a code generator to embed this generated code.

关键词： Certification distributed power generation Information security Information systems Java Laboratories Memory management Operating systems Random access memory Smart cards

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 479 480 481 482 483 484 485 486 487 488 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：