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

IEEE International Conference on Image Processing

作者： F. Sahba H.R. Tizhoosh M.M.A. Salama Departments of Systems Design Engineering Electrical and Computer Engineering University of Waterloo Waterloo ONT Canada

In this paper a novel method for automatic prostate segmentation in transrectal ultrasound images is presented. Morphological grey level transformations are first used to generate an image with enough bright intensity around the prostate. This image is then thresholded to produce a binary image. Then by finding and using a point as the inside point for the prostate, a Kalman estimator is used to isolate the prostate boundary from any irrelevant parts and produce a roughly segmented version (as coarse estimation). Consequently, a fuzzy inference system describing regional and gray level information is employed to enhance the contrast of the prostate with respect to the background. Using strong edges obtained from this enhanced image and information from pixels gradients and also the characteristics in the vicinity of the coarse estimation, the final boundary is extracted. A number of experiments are conducted to validate this method.

关键词： Image segmentation Ultrasonic imaging Cancer Kalman filters Fuzzy systems Data mining Shape design engineering systems engineering and theory Image generation

来源：评论

学校读者我要写书评

暂无评论

Innovation in the EDA business need not be an oxymoron

Innovation in the EDA business need not be an oxymoron

引用

42nd design Automation Conference, DAC 2005

作者： Rohrer, Ronald A. Advanced Research and Development Cadence Design Systems United States Cadence United States IEEE United States Department of Electrical and Computer Engineering University of Illinois Urbana-Champaign United States Department of Electrical and Computer Engineering Southern Methodist University United States Department of Electrical and Computer Engineering University of California Berkeley United States Department of Electrical and Computer Engineering Carnegie Mellon University United States

ISBN: (纸本)1511838288

Innovation in EDA is often thought to happen in an isolated eureka moment experienced by a superstar. As many of us have found out the hard way, such events are all too rare, and in any case do not create business success. People with a common goal and passion often together share the breakthrough ideas and their results. To sustain the level of innovation for EDA to survive, we should first recognize that it is a team effort, and then that potential breakthroughs and even just necessary progress can be part of a managed process. A renewable model for EDA innovation that is proving successful involves five steps in progression: problem to prototype, to partnership, to product and, finally, to proliferation.

关键词： Product design

来源：评论

学校读者我要写书评

暂无评论

Appointments for 2005-2006 term

引用

IEEE Transactions on Very Large Scale Integration (VLSI) systems 2005年第7期13卷 773-782页

作者： Ranganathan, Nagarajan Agrawal, Vishwani D. Chakradhar, Srimat T. Chakrabarty, Krishnendu Courtois, Bernard DeMara, Ronald Hu, Xiaobo Sharon Ismail, Yehea I. Jha, Niraj K. John, Lizy Kurian Ker, Ming-Dou Koren, Israel Liu, Bin-Da Marculescu, Diana Marculescu, Radu Narayanan, Vijaykrishnan Nassif, Sani R. Nowick, Steven M. Sapatnekar, Sachin S. Sherlekar, Sunil Sylvester, Dennis Vemuri, Ranga Pham, Michael Department of Computer Science and Engineering University of South Florida Tampa FL 33620 United States Department of Computer Science and Engineering Nanomaterials and Nanomanufacturing Research Center University of South Florida Tampa United States IEEE United States Systems United States Department of Electrical and Computer Engineering Rutgers University New Brunswick NJ United States IETE India ACM NEC Laboratories America Inc. Princeton NJ United States Duke University Durham NC United States ACM SIGDA Sigma Xi United States Laboratory of Techniques of Informatics and Microelectronics for Computer Architectecture ASME IMAPS IEEE Computer Society University of Central Florida Orlando United States Computer Engineering Program SEECS Department of Computer Science and Engineering University of Notre Dame Notre Dame IN United States Northwestern University Evanston IL United States Department of Electrical Engineering Princeton University Princeton NJ United States Association for Computing Machinery Austin United States UT Austin Engineering Foundation United States Department of Electronics Engineering National Chiao-Tung University Taiwan Department of Electrical and Computer Engineering University of Massachusetts Amherst United States Department of Electrical Engineering Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA United States Electrical and Computer Engineering Faculty Carnegie Mellon University Pittsburgh PA United States Computer Science and Engineering Department Pennsylvania State University University Park United States IBM Austin Research Laboratory Austin TX United States Columbia University New York NY United States Department of Electrical and Computer Engineering University of Minnesota Minneapolis United States Tata Consultancy Services Centre of Excellence for Embedded Systems India Department of Electrical Engineering IIT Bombay India Department of Electrical Engineering Uni

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Recursive backstepping stabilization of a wheeled mobile robot

Recursive backstepping stabilization of a wheeled mobile rob...

引用

作者： Mnif, F. Yahmadi, A.S. Intelligent Control Design and Optimization of Complex Systems Tunisia Department of Electrical and Computer Engineering Sultan Qaboos University Muscat Oman Department of Mechanical and Industrial Engineering Sultan Qaboos University Muscat Oman Department of Electrical Engineering College of Engineering Sultan Qaboos University PO Box 33 Muscat 123 Oman

This research is aimed at the development of a dynamic control to enhance the performance of the existing dynamic controllers for mobile robots. System dynamics of the car-like robot with non-holonomic constraints were employed. A backstepping approach for the design of a discontinuous state feedback controller is used for the design of the controller. It is shown that the origin of the closed-loop system can be made stable in the sense of Lyapunov. The control design is made on the basis of a suitable Lyapunov function candidate. The effectiveness of the proposed approach is tested through simulation on a car-like vehicle mobile robot. © IMechE 2005.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

High speed systems engineering: A new trent in electrical and computer engineering

High speed systems engineering: A new trent in electrical an...

引用

2005 ASEE Annual Conference and Exposition: The Changing Landscape of engineering and Technology Education in a Global World

作者： Mina, Mani Weber, Robert Somani, Arun K. VanderHorn, Nathan Bahuguna, Rashmi High Speed Systems Engineering Laboratory Department of Electrical and Computer Engineering Iowa State University United States Iowa State University United States Analog and Mixed-Signal VLSI Design Center United States

The main ideas and objectives of High Speed systems engineering (HSSE) are presented. HSSE is being used as integrating pedogogical and research platforms to train modern engineers and future researchers. The newly developed classes and the changes made in the curriculum is enhancing interaction between faculty, graduate and undergraduate students. A study shows that HSSE has been successful in encouraging students from all undergraduate levels to participate in learning and experimenting, also are encouraged to be involved in research and graduate studies.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

Learning robust object segmentation from user-prepared samples

引用

WSEAS Transactions on computers 2005年第9期4卷 1163-1170页

作者： Rahnamayan, Shahryar Tizhoosh, H.R. Salama, M.M.A. Department of Systems Design Engineering University of Waterloo 200 University Avenue West Waterloo Ont. N2L 3G1 Canada Department of Electrical and Computer Engineering University of Waterloo 200 University Avenue West Waterloo Ont. N2L 3G1 Canada

Object segmentation is a crucial task in image processing. A robust semi-automated object segmentation approach is introduced in this paper. The proposed approach learns segmentation from a small number of user-prepared (ground-truth) samples. The segmentation is performed in two main sequential stages, namely, target object localization by applying optimal mathematical morphology procedure, and segmentation, by conducting some basic image processing operations. The outstanding feature of this approach is, unlike other existent approaches, that it does not need apriori knowledge or a large number of samples to learn from. The training is performed for a group of images to segment a specific object. The performance of the approach has been examined by a comprehensive well-designed validation set. For all test images, the target object was segmented accurately and the conducted experiments clearly show that the proposed segmentation approach is highly invariant to noise, rotation, translation, overlapping, scaling, and combination of them. The architecture of the approach and employed methodologies are explained in detail. Results are provided.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Towards incomplete object recognition

引用

WSEAS Transactions on systems 2005年第10期4卷 1725-1732页

Human visual system can recognize incomplete contours and objects easily. However, these kind of recognition tasks are extremely challenging in computer and robot vision. This paper demonstrates how combination of genetic algorithms and morphology operations can be used to generate an image processing procedure for recognition of subjective objects (e.g. incomplete objects). In order to acquire the optimal object recognition procedure, the approach receives the subjective object and the corresponding user-prepared gold sample (physical object which reflects the user's visual expectations). After carrying out the training or optimization phase, the optimal procedure is generated and ready to be applied on new subjective objects (the same object but with different incomplete parts, sizes, etc.). No dependency on domain knowledge or huge number of sample images, one time training for a group of images, and robust object recognition are the novel features of the proposed approach. The training takes place based on one gold sample. This desirable characteristic reduces the level of dependency on expert participation which is usually an obstacle for full automation in most applications. The approach architecture and the employed methodologies are explained in detail. The performance of the approach has been evaluated by several well-prepared experiments to recognize various incomplete objects.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

Partitioning Multi-Threaded Processors with a Large Number of Threads

Partitioning Multi-Threaded Processors with a Large Number o...

引用

IEEE International Symposium on Performance Analysis of systems and Software

作者： A. El-Moursy R. Garg D.H. Albonesi S. Dwarkadas Departments of Electrical and Computer Engineering and of Computer Science University of Rochester USA Computer Systems Laboratory Cornell University USA

Today's general-purpose processors are increasingly using multithreading in order to better leverage the additional on-chip real estate available with each technology generation. Simultaneous multi-threading (SMT) was originally proposed as a large dynamic superscalar processor with monolithic hardware structures shared among all threads. Inters hyper-threaded Pentium 4 processor partitions the queue structures among two threads, demonstrating more balanced performance by reducing the hoarding of structures by a single thread. IBM's Power5 processor is a 2-way chip multiprocessor (CMP) of SMT processors, each supporting 2 threads, which significantly reduces design complexity and can improve power efficiency. This paper examines processor partitioning options for larger numbers of threads on a chip. While growing transistor budgets permit four and eight-thread processors to be designed, design complexity, power dissipation, and wire scaling limitations create significant barriers to their actual realization. We explore the design choices of sharing, or of partitioning and distributing, the front end (instruction cache, instruction fetch, and dispatch), the execution units and associated state, as well as the L1 Dcache banks, in a clustered multi-threaded (CMT) processor. We show that the best performance is obtained by restricting the sharing of the L1 Dcache banks and the execution engines among threads. On the other hand, significant sharing of the front-end resources is the best approach. When compared against large monolithic SMT processors, a CMT processor provides very competitive IPC performance on average, 90-96% of that of partitioned SMT while being more scalable and much more power efficient. In a CMP organization, the gap between SMT and CMT processors shrinks further, making a CMP of CMT processors a highly viable alternative for the future

关键词： Yarn Surface-mount technology Hardware Process design Power dissipation Throughput computer science Laboratories Multithreading System-on-a-chip

来源：评论

学校读者我要写书评

暂无评论

A case study of a real-time controller design for a car-like robot system

A case study of a real-time controller design for a car-like...

引用

20th IEEE International Symposium on Intelligent Control, ISIC '05 and the13th Mediterranean Conference on Control and Automation, MED '05

作者： Song, Insop Karray, Fakhreddine Masmoudi, Med S. Li, Howard Guedea, Federico Department of Systems Design Engineering University of Waterloo Waterloo Ont. N2L 3G1 Canada Department of Electrical Computer Engineering University of Waterloo Waterloo Ont. N2L 3G1 Canada Department of Electrical Engineering ENIS Sfax Tunisia Center for Innovation in Design and Technology ITESM Monterrey N.L. Mexico

ISBN: (纸本)0780389360

In embedded system development, multi-tasks design is often used on real-time OS or interrupt driven environment. The multi-task programming development gives many advantages for developers. However, tasks should be carefully designed and analyzed to grantee that all concurrently running tasks run without missing timing requirements, also known as deadline. In this research, we investigate different types of real-time scheduling schemes and list their advantages and disadvantages. To be more realistic with real-time scheduling, we performed with a real-time kernel simulator and car-like robot and it's fuzzy logic control simulator. Based on these simulation we suggest the proper usage of real-time scheduling. Real-time systems, Embedded systems, and Fuzzy Logic Control (FLC). © 2005 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Interleaved invariant checking with dynamic abstraction

引用

13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware design and Verification Methods, CHARME 2005

作者： Zhang, Liang Prasad, Mukul R. Hsiao, Michael S. Cadence Design Systems San Jose CA United States Fujitsu Laboratories of America Sunnyvale CA United States Dept. of Electrical and Computer Engineering Virginia Tech. Blacksburg VA United States

ISBN: (纸本)3540291059

The notion of dynamic abstraction was recently introduced as a means of abstracting a model during the process of model checking. In this paper we show, theoretically and practically, how dynamic abstraction can be used with different algorithms for invariant checking, namely forward, backward and interleaved state-space traversal. Further, we formalize the correctness guarantees that can be made under different invariant checking algorithms operating on a dynamically abstracted model. We report experimental results on industrial strength benchmarks to further demonstrate the power and versatility of this abstraction mechanism in conjuction with interleaved state-space traversal. © IFIP International Federation for Information Processing 2005.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：