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

11th International Conference on Civil, Structural and Environmental Engineering computing, Civil-Comp 2007

作者： Yoshida, H. Muraki, H. Tanaka, S. Furuta, H. Nishita, Y. Fujimaki, S. Graduate School of Information Technology Kobe Institute of Computing Hyogo Japan ImageONE Co. Ltd. Tokyo Japan Faculty of Informatics Kansai University Osaka Japan Graduate School of Informatics Kansai University Osaka Japan Asia Air Survey Co. Ltd. Kanagawa Japan

ISBN: (纸本)9781905088157

Recently, there has been an increase in research of system that measures traffic flow of people with the use of image processing technique. There is a need for establishment of a method to count people correctly at the congested situation without limiting the camera position - which is the dilemma of the existing researches. Therefore, in this research, we calculated the 3D coordinates of moving region based on corresponding point of moving region. And we have developed the system separates moving region from the people by carrying out cluster analysis base on the 3D coordinates of moving region and measures a people flow based on lap probability of moving region. © 2007 Civil-Comp Press.

关键词： Environmental engineering

来源：评论

学校读者我要写书评

暂无评论

A practical application of computational humour

A practical application of computational humour

引用

4th International Joint Workshop on Computational Creativity, IJWCC 2007

作者： Ritchie, Graeme Manurung, Ruli Pain, Helen Waller, Annalu Black, Rolf O'Mara, Dave Computing Science University of Aberdeen Aberdeen AB24 3UE United Kingdom School of Informatics University of Edinburgh Edinburgh EH9 8LW United Kingdom School of Computing University of Dundee Dundee DD1 4HN United Kingdom Faculty of Computer Science Universitas Indonesia Depok 16424 Indonesia

The past 15 years has seen the development of a number of programs which perform tasks in the area of humour, but these have been exploratory research prototypes, usually on a very small scale, and none of them interacted with users. Amongst those which actually created humorous texts, the JAPE program was probably the most substantial, but even it was far from being useful for any practical purpose. We have developed a fully engineered riddle generator, inspired by the ideas in the JAPE system, which uses a large-scale multimedia lexicon and a set of symbolic rules to generate jokes. It has an interactive user interface, specially designed for children with complex communication needs (CCN), so that users can make choices to guide the riddle generator. The software is robust, stable, and responds sufficiently promptly that naive users can interact without difficulty. It has been tested over with real users (children with CCN), with highly positive results, and is publicly available for free download. © 2007 Goldsmiths, University of London.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

On Hamilton Cycles in Locally Connected Graphs with Vertex Degree Constraints

引用

Electronic Notes in Discrete Mathematics 2007年第SPEC. ISS.期29卷 169-173页

作者： Orlovich, Yury L. Gordon, Valery S. Potts, Chris N. Strusevich, Vitaly A. Faculty of Applied Mathematics and Computer Science Belarus State University Minsk Belarus United Institute of Informatics Problems National Academy of Sciences of Belarus Minsk Belarus School of Mathematics University of Southampton Southampton United Kingdom School of Computing and Mathematical Sciences University of Greenwich London United Kingdom

It is shown that every connected, locally connected graph with the maximum vertex degree Δ (G) = 5 and the minimum vertex degree δ (G) ≥ 3 is fully cycle extendable. For Δ (G) ≤ 4, all connected, locally connected graphs, including infinite ones, are explicitly described. The Hamilton Cycle problem for locally connected graphs with Δ (G) ≤ 7 is shown to be NP-complete. © 2007 Elsevier B.V. All rights reserved.

关键词： Hamiltonian graph local connectivity NP-completeness

来源：评论

学校读者我要写书评

暂无评论

Ontological Model for Exception Management in Open Multi-Agent Systems

Ontological Model for Exception Management in Open Multi-Age...

引用

International Conference on Computer Supported Cooperative Work in Design

作者： Nazaraf Shah Rahat Iqbal Anne James Jawed Siddiqi Babak Akhgar Informatics Research Group Sheffield Hallam University Sheffield UK Distributed System and Modeling Research Group Faculty of Engineering and Computing Coventry University Coventry UK

ISBN: (纸本)1424409624

One of the major issues in dealing with exceptions in open multi-agent systems (MAS) is lack of uniform representation of exceptions and their shared semantics. In the absence of a uniform framework different business organization may use different representations for the same exception or may interpret the same exception in different way. In order to address this issue we present an ontological approach to provide a uniform way of representing and interpreting exceptions in cross-organizational settings. This helps agents from different organizations to interpret exceptional situations in an unambiguous way and exchange exception related information using standard structures. We believe that exception ontology along with domain ontology increases the open MAS reliability and also enhances its fault tolerance capability.

关键词： Ontologies Multiagent systems Protocols Runtime Collaborative work Conference management informatics Organizational aspects Standards organizations Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Software documents: Comparison and measurement

Software documents: Comparison and measurement

引用

19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007

作者： Arbuckle, Tom Balaban, Adam Peters, Dennis K. Lawford, Mark Department of Computer Science and Information Systems CSIS Building University of Limerick Plassey Park Limerick Ireland Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw Poland Electrical and Computer Engineering Faculty of Engineering and Applied Science Memorial University of Newfoundland St. John's NL A1B 3X5 Canada Department of Computing and Software Faculty of Engineering McMaster University Hamilton ON L8S 4K1 Canada

ISBN: (纸本)9781627486613

For some time now, researchers have been seeking to place software measurement on a more firmly grounded footing by establishing a theoretical basis for software comparison. Although there has been some work on trying to employ information theoretic concepts for the quantification of code documents, particularly on employing entropy and entropy-like measurements, we propose that employing the Similarity Metric of Li, Vit´anyi, and coworkers for the comparison of software documents will lead to the establishment of a theoretically justifiable means of comparing and evaluating software artifacts. In this paper, we review previous work on software measurement with a particular emphasis on information theoretic aspects, we examine the body of work on Kolmogorov complexity (upon which the Similarity Metric is based), and we report on some experiments that lend credence to our proposals. Finally, we discuss the potential advantages derived from the application of this theory to areas in the of software engineering. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

Editorial

引用

International Journal of Internet Protocol Technology 2007年第1期2卷 1-2页

作者： Mulvenna, Maurice Galis, Alex Dobson, Simon Karmouch, Ahmed School of Computing and Mathematics Faculty of Engineering University of Ulster Newtownabbey BT37 0QB United Kingdom Networks and Services Research Group Department of Electronic and Electrical Engineering University College London Torrington Place London WC1E 7JE United Kingdom Systems Research Group School of Computer Science and Informatics UCD Dublin Belfield Dublin 4 Ireland University of Ottawa 161 Louis Pasteur Ottawa ON K1N 6N5 Canada

来源：评论

学校读者我要写书评

暂无评论

Developing a computer science-specific learning taxonomy 07

Developing a computer science-specific learning taxonomy

引用

2007 Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education, ITiCSE-WGR 2007

作者： Fuller, Ursula Johnson, Colin G. Ahoniemi, Tuukka Cukierman, Diana Hernán-Losada, Isidoro Jackova, Jana Lahtinen, Essi Lewis, Tracy L. Thompson, Donna McGee Riedesel, Charles Thompson, Errol Computing Laboratory University of Kent CanterburyCT2 7NF United Kingdom Institute of Software Systems Tampere University of Technology Tampere Finland School of Computing Science Simon Fraser University BurnabyBC Canada Department of Lenguajes Y Sistemas Informáticos Universidad Rey Juan Carlos Madrid Spain Faculty of Management Science and Informatics University of Zilina Zilina Slovakia Department of Information Technology Radford University RadfordVA24142 United States Department of Learning Commons Simon Fraser University BurnabyBC Canada Department of Computer Science and Engineering University of Nebraska Lincoln 259 Avery Hall LincolnNE68588-0115 United States Massey University Wellington New Zealand

ISBN: (纸本)9781450378420

Bloom's taxonomy of the cognitive domain and the SOLO taxonomy are being increasingly widely used in the design and assessment of courses, but there are some drawbacks to their use in computer science. This paper reviews the literature on educational taxonomies and their use in computer science education, identifies some of the problems that arise, proposes a new taxonomy and discusses how this can be used in application-oriented courses such as programming.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

An improved robust stability and robust stabilization method for linear discrete-time uncertain systems

引用

控制理论与应用（英文版） 2007年第1期5卷 99-103页

作者： Xianming ZHANG Min WU Jinhua SHE Dongsheng HAN School of Information Science and Engineering Central South University Changsha Hunan 410083 China School of Mathematical Science and Computing Technology Central South University Changsha Hunan 410083 China School of Bionics Tokyo University of Technology Tokyo 192-0982 Japan Faculty of Business and Informatics Central Queensland University Rockhampton 4702 Australia

This paper addresses the problems of the robust stability and robust stabilization of a discrete-time system with polytopic uncertainties. A new and simple method is presented to directly decouple the Lyapunov matrix and the system dynamic matrix. Combining this method with the parameter-dependent Lyapunov function approach yields new criteria that include some existing ones as special cases. A numerical example illustrates the improvement over the existing ones.

关键词： Robust stability Robust stabilization Parameter-dependent Lyapunov function Linear matrix inequality

来源：评论

学校读者我要写书评

暂无评论

The generation challenge programme platform: Semantic standards and workbench for crop science

引用

International Journal of Plant Genomics 2008年第1期2008卷 369601页

作者： Bruskiewich, Richard Senger, Martin Davenport, Guy Ruiz, Manuel Rouard, Mathieu Hazekamp, Tom Takeya, Masaru Doi, Koji Satoh, Kouji Costa, Marcos Simon, Reinhard Balaji, Jayashree Akintunde, Akinnola Mauleon, Ramil Wanchana, Samart Shah, Trushar Anacleto, Mylah Portugal, Arllet Ulat, Victor Jun Thongjuea, Supat Braak, Kyle Ritter, Sebastian Dereeper, Alexis Skofic, Milko Rojas, Edwin Martins, Natalia Pappas, Georgios Alamban, Ryan Almodiel, Roque Barboza, Lord Hendrix Detras, Jeffrey Manansala, Kevin Mendoza, Michael Jonathan Morales, Jeffrey Peralta, Barry Valerio, Rowena Zhang, Yi Gregorio, Sergio Hermocilla, Joseph Echavez, Michael Yap, Jan Michael Farmer, Andrew Schiltz, Gary Lee, Jennifer Casstevens, Terry Jaiswal, Pankaj Meintjes, Ayton Wilkinson, Mark Good, Benjamin Wagner, James Morris, Jane Marshall, David Collins, Anthony Kikuchi, Shoshi Metz, Thomas McLaren, Graham Van Hintum, Theo Crop Research Informatics Laboratory International Rice Research Institute (IRRI) DAPO Box 7777 Metro Manila Philippines Crop Research Informatics Laboratory International Maize and Wheat Improvement Center (CIMMYT) DF 06600 Mexico Apdo. Postal 6-641 Mexico Centre International de Recherche Agronomique Pour le Développement (CIRAD) 34398 Montpellier Cedex 5 Avenue Agropolis France Bioversity International 00057 Maccarese (Fiumicino) Rome Via dei Tre Denari 472/a Italy National Institute for Agrobiological Sciences (NIAS) Tsukuba Ibaraki 305-8602 Kannondai 2-1-2 Japan Empresa Brasileira de Pesquisa Agropecuaria (EMBRAPA) Brasilia DF 70770-900 Parque Estaçao Biologia Final W5 Norte Brazil Centro Internacional de la Papa (CIP) Lima 12 Avenida La Molina 1895 La Molina Peru International Crops Research Institute for the Semi-Arid Tropics Patancheru Andhra Pradesh 502324 India International Center for Agricultural Research in the Dry Areas Aleppo P.O. Box 5466 Syrian Arab Republic National Center for Genetic Engineering and Biotechnology 113 Thailand Science Park Klong Luang Pathumthani 12120 Phahonyothin Road Klong 1 Thailand Institute of Computer Science College of Arts and Sciences University of the Philippines Los Banos Laguna 4031 Philippines Department of Computer Science University of the Philippines Melchor Hall Diliman Quezon City 1101 Philippines National Center for Genome Resources Santa Fe NM 87505 2935 Rodeo Park Drive East United States Scottish Crop Research Institute Invergowrie Dundee DD2 5DA United Kingdom Department of Plant Breeding Cornell University Ithaca NY 14853 United States African Centre for Gene Technologies Lynnwood Ridge 0040 P.O. Box 75011 South Africa Department of Medical Genetics Faculty of Medicine University of British Columbia Vancouver BC V6T 1Z3 Canada School of Computing Science Simon Fraser Universtiy Burnaby BC V5A 1S6 8888 University Drive Canada Bioinformatics Graduate Program Genome Sciences Centre BC

The Generation Challenge programme (GCP) is a global crop research consortium directed toward crop improvement through the application of comparative biology and genetic resources characterization to plant breeding. A key consortium research activity is the development of a GCP crop bioinformatics platform to support GCP research. This platform includes the following: (i) shared, public platform-independent domain models, ontology, and data formats to enable interoperability of data and analysis flows within the platform;(ii) web service and registry technologies to identify, share, and integrate information across diverse, globally dispersed data sources, as well as to access high-performance computational (HPC) facilities for computationally intensive, high-throughput analyses of project data;(iii) platform-specific middleware reference implementations of the domain model integrating a suite of public (largely open-access/-source) databases and software tools into a workbench to facilitate biodiversity analysis, comparative analysis of crop genomic data, and plant breeding decision making.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An intelligent reconfigurable infant monitoring system

An intelligent reconfigurable infant monitoring system

引用

6th IASTED International Conference on Visualization, Imaging, and Image Processing, VIIP 2006

作者： Appiah, Kofi Dickinson, Patrick Hunter, Andrew Department of Computing and Informatics Faculty of Technology University of Lincoln Lincoln United Kingdom

ISBN: (纸本)0889865981

We have devised an automated visual surveillance system for monitoring sleeping infants. The system architecture requires that low-level image processing is executed on-camera by an embedded signal processing unit: thus integrating more functionality into a single chip and realising lower product cost. The processing unit quantifies the level of scene activity using a specially designed background subtraction algorithm. In this paper we begin by describing the overall structure of our system. We proceed by presenting our algorithms, and demonstrating their effectiveness in measuring scene activity. We conclude by describing the FPGA-based low-level processing functions, and show how we have optimised them for maximum efficiency on this platform.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：