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

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Kai Wang Sangbae Kim Jun Zhang K. Nakajima H. Okuda Laboratory for High Performance Scientific Computing and Computer Simulation Department of Computer Science University of Kentucky Lexington KY USA Research Organization for Information Science and Technology Meguro Tokyo Japan Department of Quantum Engineering and System Sciences University of Tokyo Bunkyo Tokyo Japan

We investigate and compare a few parallel preconditioning techniques in the iterative solution of large sparse linear systems arising from solid Earth simulation with and without using contact information in the domain partitioning process. Previous studies are focused on using static or matrix pattern based incomplete LU (ILU) preconditioners in a localized preconditioner implementation. Our current studies are concerned with preconditioner performance for solving two different cases with and without known contact information. For the cases with contact information, we use localized threshold value based incomplete LU (ILUT) preconditioner to improve efficiency. For the cases without contact information, we use a global sparse approximate inverse preconditioner with a static sparsity pattern to achieve robustness. Numerical results from simulating ground motion on a parallel supercomputer are given to compare the effectiveness of these parallel preconditioning techniques.

关键词： Large-scale systems Earth Solid modeling Linear systems Sparse matrices Computational modeling computer simulation Uniform resource locators Geoscience Information science

来源：评论

学校读者我要写书评

暂无评论

Paradigm of design for biosystem-on-a-chip(BioSoC)

Paradigm of design for biosystem-on-a-chip(BioSoC)

引用

IEEE International Conference on Microelectronic systems Education

作者： R.L. Ewing H.S. Abdel-Aty-Zohdy Information Directorate Air Force Research Laboratory Air Force Institute of Technology Department of Electrical and Computer Engineering Wright Patterson Air Force Base OH USA Microelectronics System Design Laboratory Department of Electrical and Systems Engineering Oakland University Rochester MI USA

The paradigm of design for biosystem-on-a-chip (BioSoC), is that multidisciplinary skills are required. Thus, the educational goals are to develop an understanding of micro/macro collaboration along with the ability to apply and use multidisciplinary skills for the design and performance evaluation of a "biosystem on a chip". The need for the architectural design of the BioSoC addresses the next-generation of intelligent information processing systems.

关键词： Intelligent sensors Collaboration Design engineering Biology computing Chemical and biological sensors Biosensors Artificial intelligence Microelectronics Circuits Chemical sensors

来源：评论

学校读者我要写书评

暂无评论

MMM: a stochastic mechanism for image database queries

MMM: a stochastic mechanism for image database queries

引用

International Symposium on Multimedia Software Engineering

作者： M.-L. Shyu S.-C. Chen M. Chen C. Zhang Chi-Min Shu Department of Electrical & Computer Engineering University of Miami Coral Gables FL USA Distributed Multimedia Information System Laboratory School of Computer Science Florida International University Miami FL USA Department of Environmental and Safety Engineering National Yunlin University of Science and Technology Yunlin Taiwan

We present a mechanism called the Markov model mediator (MMM) to facilitate the effective retrieval for content-based image retrieval (CBIR). Different from the common methods in content-based image retrieval, our stochastic mechanism not only takes into consideration the low-level image content features, but also learns high-level concepts from a set of training data, such as access frequencies and access patterns of the images. The advantage of our proposed mechanism is that it exploits the structured description of visual contents as well as the relative affinity measurements among the images. Consequently, it provides the capability to bridge the gap between the low-level features and high-level concepts. Our experimental results demonstrate that the MMM mechanism can effectively assist in retrieving more accurate results for user queries.

关键词： Stochastic processes Image databases Image retrieval Information retrieval Content based retrieval Feedback Digital images Spatial databases Distributed computing Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

From fault tolerance to security and back

引用

IEEE Distributed systems Online 2003年第9期4卷

作者： Gartner, Felix C. Buttyan, Levente Kursawe, Klaus Swiss Fed. Institute of Technology Switzerland Budapest Univ. of Technol./Economics Hungary IBM Research Distributed Programming Laboratory Swiss Fed. Institute of Technology Lausanne Switzerland Lab. of Cryptography/System Security Budapest Univ. of Technol./Economics Hungary Department of Computer Switzerland

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Developing a formal specification for the mission system of a maritime surveillance aircraft

Developing a formal specification for the mission system of ...

引用

International Conference on Application of Concurrency to system Design

作者： L. Petrucci J. Billington L.M. Kristensen Z.H. Qureshi ENS de Cachan LSV CNRS UMR 8643 Cachan France Computer Systems Engineering Centre School of Elec. and Information Engineering University of South Australia Mawson Lakes SA Australia Department of Computer Science University of Aarhus Aarhus Denmark System Sciences Laboratory Defence Science and Technology Organisation Edinburgh SA Australia

The mission system of an aircraft is a complex real-time distributed system consisting of a mission control computer, different kinds of devices interconnected by a number of serial data buses. The complexity and real-time requirements of mission systems have motivated research into the application of formal techniques to investigate and predict the effects of upgrades on mission system behaviour. We report on a joint research project between the University of South Australia and Australia's Defence Science and technology Organisation. In previous work we modelled a generic avionics mission system with coloured Petri nets and analysed the model using state spaces. Here, we describe how this model was refined and modified to obtain a coloured Petri net model for the AP-3C Orion maritime surveillance aircraft.

关键词： Formal specifications Surveillance Aircraft Real time systems Aerospace electronics Aerospace control Control systems Distributed computing Data buses Application software

来源：评论

学校读者我要写书评

暂无评论

Facilitating KMS reusability by XML binding model

Facilitating KMS reusability by XML binding model

引用

IEEE International Conference on Information Reuse and Integration (IRI)

作者： Sheng-Tun Li Huang-Chih Hsieh Shu-Ching Chen Mei-Ling Shyu Institute of Information Management National Cheng Kung University Tainan 701 Taiwan Department of Information Management National Kaohsiung First University of Science Technology Nantz District Kaohsiung Taiwan Distributed Multimedia Information System Laboratory Florida International University Miami FL USA Department of Electrical & Computer Engineering University of Miami Coral Gables FL USA

ISBN: (纸本)0780382420

Since knowledge management becomes an important issue, knowledge management system (KMS) plays a crucial role to enhance the performance of knowledge management. It is a difficult work to build a KMS from scratch. In order to facilitate KMS reusability, we propose a scheme based on XML binding technology which can automatically generate the knowledge management components so that one may reengineer the system to accommodate with different requirements of other domains.

关键词： XML Knowledge management Information management USA Councils Information processing Humans Law Legal factors Information technology Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Distribution discovery: Local analysis of temporal rules 6th

Distribution discovery: Local analysis of temporal rules

引用

6th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2002

作者： Jin, Xiaoming Lu, Yuchang Shi, Chunyi The State Key Laboratory of Intelligent Technology and System Computer Science and Technology Dept Tsinghua University Beijing China

ISBN: (纸本)9783540437048

In recent years, there has been increased interest in using data mining techniques to extract temporal rules from temporal sequences. Local temporal rules, which only a subsequence exhibits, are actually very common in practice. Efficient discovery of the time duration in which temporal rules are valid could benefit KDD of many real applications. In this paper, we present a novel problem class that is the discovery of the distribution of temporal rules. We simplify the mining problem and depict a model that could represent this knowledge clearly, uniquely and efficiently. Our methods include four online dividing strategies for different mining interest, an incremental algorithm for measuring rule-sets, and an algorithm for mining this knowledge. We have analyzed the behavior of the problem and our algorithms with both synthetic data and real data. The results correspond with the definition of our problem and reveal a kind of novel knowledge. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

A method to boost support vector machines 6th

A method to boost support vector machines

引用

6th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2002

作者： Diao, Lili Hu, Keyun Lu, Yuchang Shi, Chunyi The State Key Laboratory of Intelligent Technology and System Dept of Computer Science and Technology Tsinghua University Beijing100084 China

ISBN: (纸本)9783540437048

Combining boosting and Support Vector Machine (SVM) is proved to be beneficial, but it is too complex to be feasible. This paper introduces an efficient way to boost SVM. It embraces the idea of active learning to dynamically select "important" samples into training sample set for constructing base classifiers. This method maintains a small training sample set with settled size in order to control the complexity of each base classifier. Other than construct each base SVM classifier directly, it uses the training samples only for finding support vectors. This way to combine boosting and SVM is proved to be accurate and efficient by experimental results. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

A method to boost naïve Bayesian classifiers 6th

A method to boost naïve Bayesian classifiers

引用

6th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2002

作者： Diao, Lili Hu, Keyun Lu, Yuchang Shi, Chunyi The State Key Laboratory of Intelligent Technology and System Dept of Computer Science and Technology Tsinghua University Beijing100084 China

ISBN: (纸本)9783540437048

In this paper, we introduce a new method to improve the performance of combining boosting and naive Bayesian. Instead of combining boosting and Naive Bayesian learning directly, which was proved to be unsatisfactory to improve performance, we select the training samples dynamically by bootstrap method for the construction of naive Bayesian classifiers, and hence generate very different or unstable base classifiers for boosting. Besides, we devise a modification for the weight adjusting of boosting algorithm in order to achieve this goal: minimizing the overlapping errors of its constituent classifiers. We conducted series of experiments, which show that the new method not only has performance much better than naive Bayesian classifiers or directly boosted naive Bayesian ones, but also much quicker to obtain optimal performance than boosting stumps and boosting decision trees incorporated with naive Bayesian learning. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Unit-cell modeling of high-speed interconnect with adjacent metal-filled via array using FDTD method

Unit-cell modeling of high-speed interconnect with adjacent ...

引用

6th IEEE Workshop on Signal Propagation on Interconnects, SPI

作者： Lee, Heeseok Park, Charlie Kam, Derek Kim, Joungho Terahertz Media and System Laboratory Department of Electrical Engineering and Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong Yusong Taejon 305-701 Korea Republic of

ISBN: (纸本)0780398211

The periodic structure modeling technique is employed to investigate the transmission line characteristic of the stripline with adjacent metal-filled via-array (SAMVA). The unit-cell modeling (UCM) using the finite-difference time-domain (FDTD) method was utilized to determine the full-wave effect on the propagation property of the high speed interconnecting structure defined by longitudinally periodic boundary condition in package and board level. UCM is the efficient modeling methodology for the periodic transmission line structure. Specifically, the slow wave effect of SAMVA will be discussed. © 2002 IEEE.

关键词： Finite difference time domain method

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：