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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,409 篇 会议
50 篇 期刊文献
33 册 图书

馆藏范围

1,490 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,116 篇 工学
- 855 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 23 篇 生物医学工程（可授...
- 22 篇 电子科学与技术（可...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
21 篇 artificial intel...
20 篇 software enginee...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
7 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,438 篇 英文
30 篇 其他
15 篇 德文
7 篇 中文
2 篇 俄文

检索条件"任意字段=12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1492 条记录，以下是1321-1330 订阅

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

详细简洁

排序：

Using petri net invariants in state space construction

Using petri net invariants in state space construction

引用

9th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2003 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2003

作者： Schmidt, Karsten Institut für Informatik Humboldt-Universität zu Berlin BerlinD-10099 Germany

ISBN: (纸本)3540008985

the linear algebraic invariant calculus is a powerful technique for the verification of Petri nets. Traditionally it is used for structural verification, i.e. for avoiding the explicit construction of a state space. In this paper, we study the use of Petri net invariants for reducing the memory resources required during state space construction. While place invariants help to reduce the amount of memory needed for each single state (without reducing the number of states as such), transition invariants can be used to reduce the number of states to be stored. Interestingly, our approach does not require computing invariants in full, let alone storing them permanently. All information we need can be deduced from an upper triangular form of the Petri net’s incidence matrix. Experiments prove that the place invariant technique leads to improvements in both memory and run time costs while transition invariants lead to a space/time tradeoff that can be controlled heuristically. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Fuzzy clustering and decision tree learning for time-series tidal data classification

Fuzzy clustering and decision tree learning for time-series ...

引用

IEEE international conference on Fuzzy systems (FUZZ-IEEE)

作者： Jiwen Chen Jianhua Chen G.P. Kemp Coastal Ecology Institute Louisiana State University Baton Rouge LA USA Computer Science Department Louisiana State University Baton Rouge LA USA

In this paper, a hybrid decision tree learning approach is presented that combines fuzzy C-means method and the ID3 algorithm in decision tree construction from continuous-valued features. the fuzzy C-means method is applied to find a number of central means for each continuous-valued feature and thus discretize such features. the ID3 algorithm is subsequently used to build a decision tree from the discretized data. Preliminary experiments using a real-world time-series data set from the Louisiana coast are reported that compare our method with the OC1 system for oblique decision tree learning. the experiment results seem to suggest that the proposed hybrid method achieves better or comparable classification accuracy.

关键词： Decision trees Classification tree analysis Hurricanes Tropical cyclones Data mining Clustering algorithms Tides Clustering methods System testing Computer science

来源：评论

学校读者我要写书评

暂无评论

Compositional analysis for verification of parameterized systems

Compositional analysis for verification of parameterized sys...

引用

作者： Basu, Samik Ramakrishnan, C.R. Department of Computer Science SUNY at Stony Brook Stony BrookNY11794-4400 United States

ISBN: (纸本)3540008985

Many safety-critical systems that have been considered by the verification community are parameterized by the number of concurrent components in the system, and hence describe an infinite family of systems. Traditional model checking techniques can only be used to verify specific instances of this family. In this paper, we present a technique based on compositional model checking and program analysis for automatic verification of infinite families of systems. the technique views a parameterized system as an expression in a process algebra (CCS) and interprets this expression over a domain of formulas (modal mu-calculus), considering a process as a property transformer. the transformers are constructed using partial model checking techniques. At its core, our technique solves the verification problem by finding the limit of a chain of formulas. We present a widening operation to find such a limit for properties expressible in a subset of modal mu-calculus. We describe the verification of a number of parameterized systems using our technique to demonstrate its utility. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

the research of fuzzy modeling using multiresolution analysis

The research of fuzzy modeling using multiresolution analysi...

引用

IEEE international conference on Fuzzy systems (FUZZ-IEEE)

作者： Bin Zhang Linxiang Wang Jingcheng Wang Department of Automation Shanghai Jiaotong University China

ISBN: (纸本)0780378105

A method is developed to combine multiresolution analysis with fuzzy system to build dynamic system model. the proposed method consists of two parts, the construction and application of model. To construct the model, the signals are decomposed respectively to form data pairs on different scale and, the data pairs are used to construct the model on different scale whose output will be reconstructed to approximate the original signal. When this method is put into use, a certain length of past signal and current signal are used to predict the model output and, at next time instance, the past signal is push forward. this is a repeated procedure. the simulation shows the method is effective.

关键词： Multiresolution analysis Fuzzy systems Electrical equipment industry Signal resolution Image sampling Signal sampling Signal analysis Sampling methods Automation Image reconstruction

来源：评论

学校读者我要写书评

暂无评论

Verification of hybrid systems based on counterexample-guided abstraction refinement

Verification of hybrid systems based on counterexample-guide...

引用

作者： Clarke, Edmund Fehnker, Ansgar Han, Zhi Krogh, Bruce Stursberg, Olaf theobald, Michael Computer Science Carnegie Mellon University PittsburghPA United States Electrical and Computer Engineering Carnegie Mellon University PittsburghPA United States Process Control Lab University of Dortmund Germany

ISBN: (纸本)3540008985

Hybrid dynamic systems include both continuous and discrete state variables. Properties of hybrid systems, which have an infinite state space, can often be verified using ordinary model checking together with a finite-state abstraction. Model checking can be inconclusive, however, in which case the abstraction must be refined. this paper presents a new procedure to perform this refinement operation for abstractions of infinite-state systems, in particular of hybrid systems. Following an approach originally developed for finite-state systems [1,2], the refinement procedure constructs a new abstraction that eliminates a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires the computation of sets of reachable states in the continuous state *** showhowsuch reachability computations with varying degrees of complexity can be used to refine hybrid system abstractions efficiently. A detailed example illustrates our counterexample-guided refinement procedure. Experimental results for a prototype implementation of the procedure indicate its advantages over existing methods. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Hybrid SOM and fuzzy integral frameworks for fuzzy classification

Hybrid SOM and fuzzy integral frameworks for fuzzy classific...

引用

IEEE international conference on Fuzzy systems (FUZZ-IEEE)

作者： A. Soria-Frisch Department Security and Inspection Technologies Fraunhofer IPK Berlin Germany

the construction of fuzzy measures in the fuzzy integral, which is considered to be the crucial point for the extended utilization of this fusion methodology, is attained in the here presented paper through a Self-Organizing Map (SOM). this fact can improve the performance in the fuzzy measure assessment specially in high-dimensional feature spaces. Different methodologies for knowledge discovery related to the SOM paradigm are taken into consideration in order to achieve the assessment of the fuzzy measure coefficients. Furthermore an overview of the utilization of the fuzzy integral in classification problems is given. Finally two hybrid frameworks considering the SOM and the fuzzy integral are presented and used for fuzzy classification.

关键词： Image texture analysis Image analysis Extraterrestrial measurements Gabor filters Fuzzy systems Security Inspection Paper technology Humans Area measurement

来源：评论

学校读者我要写书评

暂无评论

Static guard analysis in timed automata verification

Static guard analysis in timed automata verification

引用

作者： Behrmann, Gerd Bouyer, Patricia Fleury, Emmanuel Larsen, Kim G. BRICS Aalborg University Denmark Fredrik Bajers Vej 7 Aalborg Ø9220 Denmark LSV CNRS UMR 8643 ENS de Cachan 61 av. du Prés.Wilson Cachan Cedex94235 France

ISBN: (纸本)3540008985

By definitionTimedAutomata have an infinite state-space, thus for verification purposes, an exact finite abstraction is required. We propose a locationbased finite zone abstraction, which computes an abstraction based on the relevant guards for a particular state of the model (as opposed to all guards).We show that the location-based zone abstraction is sound and complete with respect to location reachability;that it generalises active-clock reduction, in the sense that an inactive clock has no relevant guards at all;that it enlarges the class of timed automata, that can be verified. We generalise the new abstraction to the case of networks of timed automata, and experimentally demonstrate a potentially exponential speedup compared to the usual abstraction. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

Generalization of classification rules

Generalization of classification rules

引用

international conference on tools for Artificial Intelligence (ICTAI)

作者： Zhipeng Xie Wynne Hsu Mong Li Lee Department of CIT Fudan University Shanghai China School of Computing National University of Singapore Singapore

ISBN: (纸本)0769520383

Traditional classification rules are in the form of production rules. Recent works in hybrid classification algorithms have proposed the generation of contextual rules, whereby the right-hand side of the production rule is replaced by a classifier, to achieve higher accuracy. In this work, we present a framework to further generalize classification rules such that the left-hand side of a production rule is expressed as a conjunction of classifiers, called space splitters. An intelligent divide-and-conquer approach is designed to construct such generalized classification rules. the construction algorithm, GCTree, is elegant, efficient and scalable. the resulting classifier is able to achieve high predictive accuracy that outperforms naive Bayes and C4.5. Experiments demonstrate that GCTree is compact and stable.

关键词： Production Decision trees Classification algorithms Machine learning algorithms Classification tree analysis Machine learning Bayesian methods Hybrid power systems Accuracy Kernel

来源：评论

学校读者我要写书评

暂无评论

Camera calibration and 3D reconstruction using interval analysis

Camera calibration and 3D reconstruction using interval anal...

引用

international conference on Image analysis and Processing

作者： B. Telle M.-J. Aldon N. Ramdani LIRMM UMR CNRS/UMII n.C55060 Montpellier France CERTES University of Paris XII-Val de Marne Creteil France

the paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. the description of an image point by an interval assumes an unknown but bounded localization. We present a new method based on interval analysis tools to propagate this bounded uncertainty. this way of computation can produce guaranteed results since a datum is not the most probabilistic value but an interval which contains the true value. We validate our method by computing a guaranteed model for a projective camera, and we achieve a guaranteed 3D reconstruction.

关键词： Cameras Calibration Image reconstruction Uncertainty Error analysis Layout Equations Linear systems Additive noise Maximum likelihood estimation

来源：评论

学校读者我要写书评

暂无评论

Visual self-localisation using automatic topology construction

Visual self-localisation using automatic topology constructi...

引用

international conference on Image analysis and Processing

作者： P. Baldassarri P. Puliti A. Montesanto G. Tascini Institute of Computer Science University of Ancona Italy

ISBN: (纸本)0769519482

the paper proposes a machine learning method for self-localising a mobile agent, using the images supplied by a single omni-directional camera. the images acquired by the camera may be viewed as an implicit topological representation of the environment. the environment is a priori unknown and the topological representation is derived by unsupervised neural network architecture. the architecture includes a self-organising neural network, and is constituted by a growing neural gas, which is well known for its topology preserving quality. the growth depends on the topology that is not a priori defined, and on the need of discovering it, by the neural network, during the learning. the implemented system is able to recognise correctly the input frames and to reconstruct a topological map of the environment. Each node of the neural network identifies a single zone of the environment and the connections between the nodes correspond to the real space connections in the environment.

关键词： Network topology Cameras Neural networks Mobile robots Robot sensing systems Mobile agents Sensor phenomena and characterization Sensor systems Robot vision systems Neurons

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 129 130 131 132 133 134 135 136 137 138 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：