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

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年第unknown期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.

关键词： GENOMICS GERMPLASM resources PLANT breeding PLANT genetics COMPUTERS in biology BIOinformatics -- Software

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Towards dynamic web service generation on demand

Towards dynamic web service generation on demand

引用

SoftCOM 2006 - International Conference on Software, Telecommunications andComputer Networks

作者： Magdalenic, Ivan Vrdoljak, Boris Skocir, Zoran Faculty of Organization and Informatics University of Zagreb Pavlinska 2 HR-42000 Varazdin Croatia Faculty of Electrical Engineering and Computing University of Zagreb Unska 3 HR-10000 Zagreb Croatia

ISBN: (纸本)9536114879

The web services technology enables communication, distributed computation and interoperability in heterogeneous environments. Although the technology is well specified and supported by the programming tools, it is still not widely used. Some of the main reasons are the difficulties which the end users have in searching an adequate web service to get the required data. Even if found, the web service rarely fit the exact needs. This paper presents a new framework for dynamical generation of the web services from the heterogeneous data sources on user's demand. The aim of the framework is to generate web services that are customized to the particular requirements. Apart from specifying the requirements in WSDL, the framework proposes the ontology for describing the available data.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Finding maximally satisfiable terminologies for the description logic ALC

Finding maximally satisfiable terminologies for the descript...

引用

21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06

作者： Meyer, Thomas Lee, Kevin Booth, Richard Pan, Jeff Z. National ICT Australia University of New South Wales Kensington 2052 Australia Faculty of Informatics Mahasarakham University Mahasarakham 44150 Thailand Department of Computing Science University of Aberdeen

ISBN: (纸本)1577352815

For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such problems. One possible remedy is to weaken the available information to the extent that the errors disappear, but to limit the weakening process as much as possible. The most obvious way to do so is to remove just enough Tbox sentences to eliminate the errors. In this paper we propose a tableau-like procedure for finding maximally concept-satisfiable terminologies represented in the description logic ALC. We discuss some optimisation techniques, and report on preliminary, but encouraging, experimental results. Copyright © 2006, American Association for Artificial Intelligence (***). All rights reserved.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

On the logic of medical decision support

On the logic of medical decision support

引用

International Workshops of COST Action 274 on Theory and Applications of Relational Structures as Knowledge Instruments II, TARSKI 2002-2005

作者： Eklund, Patrik Karlsson, Johan Rauch, Jan Šimůnek, Milan Umeå University Department of Computing Science SE-90187 Umeå Sweden University of Economics Faculty of Informatics and Statistics Prague Czech Republic Academy of Sciences of the Czech Republic Institute of Computer Science Czech Republic

ISBN: (纸本)3540692231

Guideline development, implementation, utility and adherence require intelligence and multimedia to interact in decision support environments. However, efforts to combine all these aspects and to connect solutions into a effective, efficient and productive environment are rare. In this paper we use a regional health care perspective on maintenance and analysis of data, information and knowledge. Examples are drawn from cardiac diseases. Analysis and development is viewed from by-pass surgery point of view. Association rules are used for analysis, and we show how these rules take logical forms so as to prepare for development of guidelines. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：