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

2012 International Conference on Mechanical and Electronic engineering, ICMEE 2012

作者： Hai, Benzhai Xie, Ruiyun School of Information Engineering Wuhan University of Technology Wuhan China School of Computer Science AndTechnology Henan Normal University Xinxiang China Dep. of Computer Science and Technology Henan Mechanical and Electrical Engineering College Xinxiang China

ISBN: (纸本)9783642315152

Boolean satisfiability (SAT) solvers are used heavily in electronic engineering verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solvers are based on the DPLL algorithm and require the input formula to be in conjunctive normal form (CNF). We represent the vhpform of a given NNF formula in the form of two graphs called vpgraph and hpgraph. The input formula is translated into a 2-dimensional format called vertical-horizontal path form (vhpform). In this form disjuncts (operands of) are arranged orizontally and conjuncts (operands ofˆ) are arranged *** formula is satisfiable if and only if there exists a vertical path through this arrangement that does not contain two opposite literals (l and ¬l). The input formula is not required to be in CNF. This algorithm is very important both for the design of integrated circuit and the development of electronic engineering. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Performance of left outer join on Hadoop with right side within single node memory size

Performance of left outer join on Hadoop with right side wit...

引用

26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012

作者： Byambajav, Byambajargal Wlodarczyk, Tomasz Wiktor Rong, Chunming LePendu, Paea Shah, Nigam Dep. of Computer Science and Electrical Engineering University of Stavanger Stavanger Norway Biomedical Informatics Research Center Stanford University Stanford CA United States

ISBN: (纸本)9780769546520

In this paper we compare performance results of different implementations of join operation in Hadoop in a scenario where right side (of the join) is within single node memory size. We present results for several implementations both in pure Map Reduce and in Pig, both basing on HDFS. We also compare distributed performance of those implementations with a single node implementation in MySQL. Results show that Pig implementations do not match pure Map Reduce versions by a bigger margin than expected. Moreover, we notice that Map tasks seem to be the element that influences performance the most, especially for the potentially more efficient methods. Currently, we achieved the best performance using a singleton pattern join. However, there are reasons to believe that this performance can be still improved with better control of the amount of Map tasks. © 2012 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

Mining sequential rules common to several sequences with the window size constraint

引用

25th Canadian Conference on Artificial Intelligence, AI 2012

作者： Fournier-Viger, Philippe Wu, Cheng-Wei Tseng, Vincent S. Nkambou, Roger Dept. of Computer Sciences University of Moncton Canada Dep. of Computer Science and Information Engineering National Cheng Kung University Taiwan Dept. of Computer Sciences University of Quebec Montreal QC Canada

ISBN: (纸本)9783642303524

We present an algorithm for mining sequential rules common to several sequences, such that rules have to appear within a maximum time span. Experimental results with real-life datasets show that the algorithm can reduce the execution time, memory usage and the number of rules generated by several orders of magnitude compared to previous algorithms. © 2012 Springer-Verlag.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Design of the Video Streaming Proxy in High-Speed Train

引用

通讯和计算机（中英文版） 2012年第8期9卷 970-976页

作者： Ching-Lung Chang Xan-Hua Hsieh Dep. of Computer Science and Info. Engineering National Yunlin University of Science & Technology 64402 Taiwan

This paper considers the characteristics of high-speed train in precise timing information, such as arrival time, dep.nding duration on station, traveling time and location of the train, to design a video proxy agent for VoD service in train. Based on the information of current active video streams, a burst pre-fetching scheme in video proxy agent is developed when the high-speed train dep.nds on station. The video data required by the passengers in near future are burst downloaded to the video proxy to release the bandwidth constrain during the train traveling. The most of playback video data can be provided by the video proxy agent during the train traveling. The burst pre-fetching scheme increases the system performance and video playback quality. The simulation result reveals that the proposed scheme has better results in term of system capacity and the amount of missed deadline data compared with other schemes.

关键词：列车设计委托代理视频流时间信息行驶过程视频数据高速列车视频点播

来源：评论

学校读者我要写书评

暂无评论

The Design and Realization of Video Phone System in Embedded Platform

The Design and Realization of Video Phone System in Embedded...

引用

International Conference on Ubiquitous Intelligence & Computing

作者： Ching-Lung Chang Chang-Hsuan Hung Dep. of Computer Science and Info. Engineering National Yunlin University of Science & Technology

ISBN: (纸本)9781467330848

With the wide acceptance and development of the Internet, it is trend to integrate all of services and devices into Internet. At the same time, the fast development of communication technology that is evolved from narrowband dial-up networks to current broadband networks, from fixed PSTN phone to mobile phone and from wired network to wireless network. In the foreseeable future, the communication will be converged to IP centric networks to come up pervasive/ubiquitous network environments. In this paper, the functions of SIP protocol, video/audio codec, and video/audio streaming are integrated to realize a video/audio phone system in embedded platform. Based on the multi-thread environment, the modules of motion JPEG, SIP signaling protocol, and video/audio streaming are designed to come out a SIP-based video/audio streaming system. The system can be applied to the applications of remote surveillance, digital door phone, interphone, and Internet phone.

关键词： Video streaming Audio streaming ECos Embedded system

来源：评论

学校读者我要写书评

暂无评论

Model transformations for business-IT alignment: From collaborative business process to SoaML service model 12

Model transformations for business-IT alignment: From collab...

引用

27th Annual ACM Symposium on Applied Computing, SAC 2012

作者： Delgado, Andrea Ruiz, Francisco De Guzmán, Ignacio García-Rodríguez Piattini, Mario Computer Science Institute Faculty of Engineering University of the Republica Julio Herrera y Reissig 565 Montevideo Uruguay Alarcos Research Group Dep. Information Techs. and Systems University of Castilla-La Mancha Paseo de la Universidad 4 Ciudad Real Spain

ISBN: (纸本)9781450308571

Modeling business process allows an organization to think about its way of conducting business while helping discover weakness in its processes. Although it is common for participants to collaborate within an organization, it is essential to define how different participants from different organizations collaborate as a community, to reach a common business goal. In this context, the realization of business processes by means of services becomes more important, providing support for separating their definition from the technologies implementing them, allowing a better response to changes. A model-driven approach for the direct generation of services from business processes provides several advantages such as reuse of the knowledge imbibed in the correspondences defined between the involved metamodels and traceability between elements in both metamodels, allowing for a better Business-IT alignment. In this article we present an approach for the automatic generation of SoaML service-oriented models from collaborative business process models in BPMN2. © 2012 Authors.

关键词： business processes BPMN2.0 model-driven transformations SoaML standards QVT service-oriented systems

来源：评论

学校读者我要写书评

暂无评论

Advanced Characterization of Microscopic Kidney Biopsies Utilizing Image Analysis Techniques

Advanced Characterization of Microscopic Kidney Biopsies Uti...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： Theodosios Goudas Charalampos Doukas Aristotle Chatziioannou Ilias Maglogiannis with the University of Central Greece Dep. of Computer Science and Biomedical Informatics is with the University of the Aegean Dep. of Information & Communication Systems Engineering Samos Greece is with the National Hellenic Research Foundation Institute of Biological Research and Biotechnology

ISBN: (纸本)9781424441198

Correct annotation and identification of salient regions in Kidney biopsy images can provide an estimation of pathogenesis in obstructive nephropathy. This paper presents a tool for the automatic or manual segmentation of such regions along with methodology for their characterization in terms of the exhibited pathology. The proposed implementation is based on custom code written in Java and the utilization of open source tools (i.e. RapidMiner, ImageJ). The corresponding implementation details along with the initial evaluation of the proposed integrated system are also presented in the paper.

关键词： Advanced Characterization Analysis Techniques The proposed implementation

来源：评论

学校读者我要写书评

暂无评论

Novel Cloud Service for Improving World Universities Ranking

Novel Cloud Service for Improving World Universities Ranking

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Shu-Ming Hsieh Suu-An Lo Chiun-Chieh Hsu Wei-Chao Lin Dep. Computer Science & Information Engineering Hwa Hsia Institute of Technology Taipei Taiwan Dep. Information Management National Taiwan University of Science and Technology Taipei Taiwan

The Internet has emerged to be an effective platform for world universities to share their academic outcomes and to show their influence and contribution via constructing rich and easy-to-access web sites. At the same time, Webometrics Ranking of World Universities (WR), proposed by Centre for Scientific Information and Documentation (CSIC), ranks the world universities by the quantity of digital documents available on their web sites and the quality of the web pages measured by the incoming hyperlinks. Therefore, WR is currently recognized as an important index and opportunity for universities willing to promote themselves by the Internet technology. In this paper, we propose a novel cloud-based information providing system for Webometrics Rankings which employs web mining techniques to gather the WR indices from the Internet automatically, and provides useful information in real time for the managers of university web sites. The proposed system is dep.oyed on Microsoft Azure cloud platform in order to give up-to-data and deeper insights of the WR ranking indicators for its users. It utilizes the scalable computation and storage capability of the cloud platform to continually gather the WR index data from the Internet. The proposed system is designed with architecture suitable for cloud-based application such that the period to thoroughly update the WR ranking data is shortened from six months to be within one week. The proposed service model provides a paradigm for constructing cloud-based service of information providing applications.

关键词： Educational institutions Cloud computing Web sites Google Indexes

来源：评论

学校读者我要写书评

暂无评论

Optimal medial surface generation for anatomical volume representations

Optimal medial surface generation for anatomical volume repr...

引用

4th International Workshop on Computational and Clinical Applications in Abdominal Imaging, Held in Conjunction with the 15th International Conference on Medical Image Computing and computer-Assisted Intervention, MICCAI 2012

作者： Vera, Sergio González, Miguel A. Linguraru, Marius George Gil, Debora Alma IT Systems Barcelona Spain Computer Vision Center Comp. Science Dep. Universitat Autònoma de Barcelona Spain Sheikh Zayed Institute for Pediatric Surgical Innovation Children's National Medical Center Washington DC United States

ISBN: (纸本)9783642336119

Medial representations are a widely used technique in abdominal organ shape representation and parametrization. Those methods require good medial manifolds as a starting point. Any medial surface used to parameterize a volume should be simple enough to allow an easy manipulation and complete enough to allow an accurate reconstruction of the volume. Obtaining good quality medial surfaces is still a problem with current iterative thinning methods. This forces the usage of generic, pre-calculated medial templates that are adapted to the final shape at the cost of a drop in volume reconstruction. This paper describes an operator for generation of medial structures that generates clean and complete manifolds well suited for their further use in medial representations of abdominal organ volumes. While being simpler than thinning surfaces, experiments show its high performance in volume reconstruction and preservation of medial surface main branching topology. © 2012 Springer-Verlag.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Real-time multi-object detection and tracking for autonomous robots in uncontrolled environments

Real-time multi-object detection and tracking for autonomous...

引用

International Conference on computer engineering and systems

作者： Tarek Said Samy Ghoniemy Omar Karam Dep. of Computer Engineering MTC Cairo Egypt Dept. of Information Systems The British University in Egypt Sherouk Egypt

In this paper a new system is developed for autonomous robots to detect and track multi-objects in uncontrolled environments and in real time for the purpose of decreasing the processing time needed and obtaining better error rates than current systems. To achieve this, a novel multi object tracking algorithm is introduced, implemented and enhanced using multithreading where every thread corresponds to a detected motion area. The implementation considered not only objects tracking but also the object motion estimation to speed up the overall tracking process. In addition, a modified color tracking algorithm is also introduced and integrated in the built system. It is based on the HSV color space. This avoids the problems of overlapping detected motion areas. Experimental results on the built system demonstrate that the proposed system reduced the computational time to approximately 54% compared to published results and reduced the position error to less than 1%.

关键词： Tracking Robots Color Image color analysis Instruction sets Collision avoidance Navigation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：