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

International Conference on Document Analysis and Recognition

作者： Xiaoyan Zhu Yifan Shi Song Wang State Key Laboratory of Intelligent Technology and System Department of Computer Science and Technology Tsinghua University China

ISBN: (纸本)0769503187

Segmentation is the most difficult problem in a handwritten character recognition system and often contributes major errors to its performance. To reach a balance of speed and accuracy, a filter distinguishing a connected image from an isolated image is required for multi-stage segmentation. The Fourier spectrum is promising in this problem. Since it is influenced by the stroke width, we propose a Fourier spectrum standardization method. Based on the standardized Fourier spectrum, a set of features and a fine-tuned criterion are presented to classify connected/isolated images. A theoretical analysis proves their rationality. Experimental results demonstrate that this criterion is better than other methods.

关键词： Fourier transforms Image segmentation Character recognition Filters Isolation technology Frequency computer science computer errors Handwriting recognition Error analysis

来源：评论

学校读者我要写书评

暂无评论

Formal verification of RACE protocol using SSM

Formal verification of RACE protocol using SSM

引用

IEEE Region 10 International Conference TENCON

作者： Hahnseng Kim Jin-Young Choi Ando Ki Woo-Jong Han Department of Computer Science & Engineering Korea University Seoul South Korea Computer System Dept ETRI-CSTL(Computer and Software Technology Laboratory) Taejon South Korea

Cache coherence protocols are important for operating a shared-memory multiprocessor system with efficiency and correctness. Cache coherence protocols have become increasingly complex because physical memory is logically distributed, so that it is difficult for programmers to understand the view of logical shared-memory systems. Since random testing and simulations are not enough to validate the correctness of these protocols, it is necessary to develop efficient and reliable verification methods. Through the use of the Symbolic State Model (SSM) of Fong Pong (1995), we verified a directory-based protocol called the RACE (Remote-Access Cache coherence Enforcement) protocol. The protocol is verified for any system size, without state-space explosion.

关键词： Formal verification Access protocols State-space methods Explosions Electronic mail Multiprocessing systems Testing Error correction Network interfaces computer science

来源：评论

学校读者我要写书评

暂无评论

Power consumption of a 2's complement adder minimized by effective dynamic data ranges

Power consumption of a 2's complement adder minimized by eff...

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： R. Sheen S. Wang O.T.-C. Chen Ruey-Liang Ma Signal and Media Laboratories Department of Electrical Engineering National Chung Cheng University Chiayi Taiwan Computer System Development Department Computer & Communication Research Laboratory Industrial Technology and Research Institute Hsinchu Taiwan

Typically, two's complement is chosen to represent numbers since arithmetic operations of addition and subtraction are easy to perform. However, due to sign extension, an arithmetic operation for small dynamic data ranges may require switching power in the entire word length. Herein, we develop a two's complement adder with the dynamic-range determination and sign-extension units to reduce power consumption. According to the actual data range by minimizing sign-extension bits, only partial functional blocks of an adder are active to generate a final result of which sign bit is then extended to match the original word length. Experimental results demonstrate that our 32-bit carry-lookahead adder has 22.9% power reduction than the conventional one while dynamic ranges of input data are the Gaussian distribution with a mean of 16 bits and a standard deviation of 8 bits.

关键词： Energy consumption Dynamic range Adders Communication switching Arithmetic Capacitance Power dissipation Voltage Frequency Laboratories

来源：评论

学校读者我要写书评

暂无评论

Direct parameter extraction techniques for a new poly-Si TFT model

Direct parameter extraction techniques for a new poly-Si TFT...

引用

IEEE International Conference on Microelectronic Test Structures

作者： B. Iniguez Z. Xu T. Fjeldly M.S. Shur Electrical Computer and System Engineering Department Rensselaer Polytechnic Institute Troy NY USA Microelectronics Laboratory University of Louvain Louvain-la-Neuve Belgium Center for Technology at Kjeller Norwegian University of Science and Technology Kjeller Norway

We describe direct extraction techniques for the most important parameters of a new physics-based polysilicon (poly-Si) TFT model, suitable for circuit simulation. The physics-based model covers all operating regimes using continuous functions, includes short-channel effects and has been validated for devices of channel lengths down to 2 /spl mu/m. In spite of a small parameter set, the model includes the necessary dependencies on channel length.

关键词： Parameter extraction Thin film transistors Threshold voltage Integrated circuit modeling Equations Grain boundaries systems engineering and theory Laboratories Circuit simulation Application specific integrated circuits

来源：评论

学校读者我要写书评

暂无评论

On disjoint covers and ROBDD size

On disjoint covers and ROBDD size

引用

IEEE Pacific Rim Conference on Communications, computers and Signal Processing

作者： E.V. Dubrova D.M. Miller Electronic System Design Laboratory Department of Electronics KTH-Electrum Royal Institute of Technology Sweden VLSi Design and Test Group Department of Computer Science University of Victoria Victoria BC Canada

ISBN: (纸本)0780355830

The relation between the number of nodes in a ROBDD and the number of implicants in the disjoint cover of the function represented by that ROBDD is studied. We identify a class of functions for which there are disjoint covers such that a cover of a larger size can be represented by a ROBDD with a smaller number of nodes. This shows that the size of a ROBDD is not a monotonically increasing function of the size of the disjoint cover.

关键词： Data structures Boolean functions Electronic equipment testing Input variables Circuits Very large scale integration system testing computer science Adders Polynomials

来源：评论

学校读者我要写书评

暂无评论

Mining classification rules in multistrategy learning approach

引用

Intelligent Data Analysis 1998年第3期2卷 165-185页

作者： Yuanhui, Zhou Yuchang, Lu Chunyi, Shi National Key Laboratory of Intelligence Technology and System Department of Computer Science Tsinghua University Beijing 100 China

Classification, which involves finding rules that partition a given dataset into disjoint groups, is one class of data mining problems. Approaches proposed so far for mining classification rules from databases are mainly decision tree based on symbolic learning methods. In this paper, we combine artificial neural network and genetic algorithm to mine classification rules. Some experiments have demonstrated that our method generates rules of better performance than the decision tree approach and the number of extracted rules is fewer than that of C4.5. © 1998 Elsevier Science B.Y. All rights reserved.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Envelope parameter calculation of similarity indexing structure

Envelope parameter calculation of similarity indexing struct...

引用

IAPR International Workshop on Multimedia Information Analysis and Retrieval, MINAR 1998

作者： Xuesheng, Bai Guangyou, Xu Yuanchun, Shi Department of Computer Science aod Technology Nation Laboratory of Intelligent Technology and System Tsinghua University Beijing100084 China

ISBN: (纸本)3540648267

Similarity Indexing is very important for content-based retrieval on large multimedia databases, and the "tightness" of data set envelope is a factor that influences the performance of index. For equidistant envelope (bounding sphere), calculation of envelope is somewhat difficult because of the complexity of direct computation in high dimension space. In this paper we summarize the envelope used in similarity indexing structures, and discuss the envelope parameter calculation problem. We improved the ɣ -spatial search algorithm proposed by R. Kuniawati and *** for equidistant envelope parameter calculation, and apply it to various distance spaces. Basic thoughts and theorem are provided in the paper, also with algorithm implementation. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Content based retrieval

来源：评论

学校读者我要写书评

暂无评论

A Multi-layered Pipeline Architecture for the Chinese Characters Recognition Chip

A Multi-layered Pipeline Architecture for the Chinese Charac...

引用

1998 3rd International Conference on ASIC

作者： Jianbing Li Yannan Zhao State Key Laboratory of Intelligent Technology and System Department of Computer Science and Technology Tsinghua University School of Computer Science Carnegie Mellon University

In the recognition of Chinese handwritten characters,it is a pattern matching process with large number of standard *** is the bottleneck of the recognition *** this paper,a multi-layered pipeline architecture is devised to solve this bottleneck. The technology of multi-bank storage,parallel computing,*** also implemented to optimize the ***,a high recognition speed is *** experimental system is implemented on a Xilinx XC4013E FPGA *** will be migrated to a custom VLSI chip in the future.

关键词： A Multi-layered Pipeline Architecture for the Chinese Characters Recognition Chip

来源：评论

学校读者我要写书评

暂无评论

Virtual socket interfaces for wireless network

Virtual socket interfaces for wireless network

引用

International Conference on Information Networking

作者： Se-Jin Hwang A-Rum Jun Hae-Sun Shin Myong-Soon Park Chang-Eek Cho Sang-Goo Lee Chong-Tai Kim Computer Systems Laboratory Computer Science Department Korea University Seoul South Korea System Research Team 1 Korea Electronics and Technology Institute South Korea

ISBN: (纸本)0818672250

The explosive popularity of wireless data networking has been continued over the years. Furthermore, the strong requirement to access the Internet while on the move via mobile devices is growing more and more, since lots of useful resources are residing in the wired net, Internet. DataTAC manufactured by Motorola Inc. provides an infrastructure bridging Internet and mobile devices. On top of it, we built a middleware to make it possible for existing network software to surf on the Internet with a mobile device. The middleware provides such high application transparency that it does not need to be recompiled to adapt the middleware. We call that system Brown (Bridge over wireless net to Internet). In this paper, we introduce Brown, and then addresses the core technology, Vision (Virtual socket interfaces over wireless net), a communication layer to support multiple TCP/IP socket-based communication channels.

关键词： Sockets Wireless networks Internet Middleware Explosives Manufacturing IP networks Application software Bridges Wireless communication

来源：评论

学校读者我要写书评

暂无评论

Object-oriented model refinement technique in software reengineering

Object-oriented model refinement technique in software reeng...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Wei-Jin Park Sang-Yoon Min Doo-Hwan Bae Pyeong-Soo Mah Department of Computer Science Korea Advanced Institute of Science and Technology Taejon South Korea System Engineering Research Institute Object-oriented Laboratory Taejon South Korea

ISBN: (纸本)0818685859

Software reengineering for object-oriented rearchitecturing offers an exciting opportunity in migrating old legacy systems to evolvable systems in a disciplined manner. In the twofold-strategy software reengineering for object-oriented rearchitecturing, one of the problems to be solved is to derive a proper object-oriented model from the output of reverse engineering and the output of forward engineering. In general, the outputs of forward and reverse engineering can be inconsistent in their abstract levels, the amount of design information, naming conventions, and structures. In this paper we present an Object-oriented model Refinement Technique (ORT) to build a final object model in the twofold-strategy software reengineering. We first organize the information gained from reverse engineering into specification information tree, and then compare the entities in the specification information tree with the information from forward engineering using tree-structured data dictionary to produce the final model. We demonstrate the usability of ORT by an example.

关键词： Object oriented modeling Reverse engineering Read only memory Electrical capacitance tomography systems engineering and theory Costs Software maintenance computer science Data engineering Dictionaries

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：