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

Computing: The Australasian Theory Symposium (CATS 2001)

作者： McIver, Annabelle Morgan, Carroll Programming Research Group University of Oxford Oxford OX1 3QD United Kingdom Dept. of Engineering and Computer Science University of New South Wales Sydney 2052 Australia Dept. of Computing Macquarie University Sydney 2019 Australia

'Almost-certain eventualities' are liveness properties that hold with probability 1. 'Abstract probabilities' are probabilities in transition systems about which we know only that they are neither 0 nor 1. Vardi [17] showed that almost-certain properties in linear temporal logic depend only on abstract probabilities, rather than on the probabilities' precise values;we discuss the extent to which a similar result holds in quantitative temporal logic [9,10], and we show how to specialise the logic to those cases. The aim is to provide a simpler calculus than the full logic, one that is in a certain sense complete for proving almost-certain eventualities from abstract-probabilistic assumptions. We consider briefly the complexity of the specialised logic. © 2001 Published by Elsevier science B.V.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Flexible Query Answering Systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Troels Andreasen Henrik Bulskov Ronald R. Yager Henning Christiansen Henrik Legind Larsen

ISBN: (数字)9783642049576

ISBN: (纸本)9783642049569

This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were carefully reviewed and selected from 90 submissions. They are structured in topical sections on database management, information retrieval, extraction and mining, ontologies and semantic web, intelligent information extraction from texts, advances in fuzzy querying, personalization, preferences, context and recommendation, and Web as a stream.

关键词： Natural Language Processing (NLP) Information Storage and Retrieval Data Mining and Knowledge Discovery Artificial Intelligence Database Management Information Systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Discovering hidden pathways in bioinformatics 1

引用

8th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2011

作者： Lisboa, Paulo J. G. Jarman, Ian H. Etchells, Terence A. Chambers, Simon J. Bacciu, Davide Whittaker, Joe Garibaldi, Jon M. Ortega-Martorell, Sandra Vellido, Alfredo Ellis, Ian O. School of Computing and Mathematical Sciences Liverpool John Moores University United Kingdom Dept. of Computer Science University of Pisa Italy Dept. of Mathematics and Statistics University of Lancaster United Kingdom School of Computer Science University of Nottingham United Kingdom Dept. of Biochemistry and Molecular Biology Universitat Autònoma de Barcelona Spain Dept. of Computer Languages and Systems Universitat Politècnica de Catalunya Spain Dept. of Histopathology School of Molecular Medical Sciences University of Nottingham United Kingdom

ISBN: (数字)9783642356865

ISBN: (纸本)9783642356858

The elucidation of biological networks regulating the metabolic basis of disease is critical for understanding disease progression and in identifying therapeutic targets. In molecular biology, this process often starts by clustering expression profiles which are candidates for disease phenotypes. However, each cluster may comprise several overlapping processes that are active in the cluster. This paper outlines empirical results using methods for blind source separation to map the pathways of biomarkers driving independent, hidden processes that underpin the clusters. The method is applied to a protein expression data set measured in tissue from breast cancer patients (n=1,076). © Springer-Verlag 2012.

关键词： Molecular biology

来源：评论

学校读者我要写书评

暂无评论

Resolution and path dissolution in multiple-valued logics 6th

Resolution and path dissolution in multiple-valued logics

引用

6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991

作者： Murray, Neil V. Rosenthal, Erik Inst. for Programming & Logics Dept. of Computer Science State Univ. of N.Y. at Albany AlbanyNY12222 United States Dept. of Mathematics University of New Haven 300 Orange Avenue West HavenCT06516 United States

ISBN: (纸本)9783540545637

Path dissolution is an inferencing mechanism for classical logic that efficiently generalizes the method of analytic tableaux. Two features that both methods enjoy are (in the propositional case) strong completeness and the ability to produce a list of essential models (satisfying interpretations) of a formula. The latter feature is particularly valuable in a setting in which one wishes to make use of satisfying interpretations rather than merely to determine whether any exist. In this paper we describe a method for employing dissolution as a deduction mechanism for a class of multiple-valued logics that we call the UNF logics. The basic idea is to keep track of the sign of the formula. Dissolution is shown to be a sound rule of inference as well as strongly complete in this setting. We also describe how the signing technique may be used to apply resolution to these logics;Robinson's semantic tree argument is adapted to prove completeness. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Dissolution

来源：评论

学校读者我要写书评

暂无评论

computer assisted determination of mandibular cystic lesion volume from computed tomographic data

Computer assisted determination of mandibular cystic lesion ...

引用

2011 1st Middle East Conference on Biomedical Engineering, MECBME 2011

作者： Nassef, Tamer M. Fliefel, Reham M. Marei, Mona K. Solouma, Nahed H. Kadah, Yasser M. Computer and Programming Engineering Dept. Misr. University for Science and Technology MUST 6th of October City Egypt Tissue Engineering Lab. Alexandria University Alexandria Egypt National Institute of Laser Science Cairo University Giza Egypt Biomedical Engineering Dept. Cairo University Giza Egypt

ISBN: (纸本)9781424470006

In this paper, a new approach for computing different anatomical regions in dental Computed Tomography (CT) is presented. The approach consists of two steps. First, a HU threshold window sets to separate between different regions upon their gray-level values;second, a set of objects are generated and texture descriptors are calculated for selected windows from the image data sample. Finally, identification of different anatomical regions set for mandible bones to determine the cystic lesion volume based on numerical methods. Preliminary results obtained for dental CT of female patient aged 14 years old complaining of bilateral swelling in her mandible are presented. © 2011 IEEE.

关键词： Tissue engineering

来源：评论

学校读者我要写书评

暂无评论

Extraction of human mandible bones from multi-slice computed tomographic data

Extraction of human mandible bones from multi-slice computed...

引用

2011 1st Middle East Conference on Biomedical Engineering, MECBME 2011

作者： Nassef, Tamer M. Solouma, Nahed H. Alkhodary, Mohamed Marei, Mona K. Kadah, Yasser M. Computer and Programming Engineering Dept. Misr University for Science and Technology MUST 6th of October City Egypt National Institute of Laser Science Cairo University Giza Egypt Tissue Engineering Lab. Alexandria University Alexandria Egypt Biomedical Engineering Dept. Cairo University Giza Egypt

ISBN: (纸本)9781424470006

A new approach for segmenting different anatomical regions in dental Computed Tomography (CT) studies is presented in this paper. It is expected that the proposed approach will help automate different tissues regions by providing initial boundary points for deformable models or seed points for split and merge segmentation algorithms. Preliminary results obtained for dental CT studies of dentate and edentulous human-mandible are presented with finite element models divided by tetrahedral elements, which built based on actual CT data combined with triangulation equations. Identification of different anatomical regions set for mandible cortical and cancellous bones by generated 3D models by marching cubes technique. © 2011 IEEE.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Multistory annotation system: A novel application of distance learning

Multistory annotation system: A novel application of distanc...

引用

Proceedings - 18th International Conference on Advanced Information Networking and Applications, AINA 2004

作者： Shih, Timothy K. Liao, Yi-Chun Chang, Han-Bin Kuan, Mei-Yen Yee, George Multimedia Information Network Lab Department of Computer Science Tamkang University Taiwan Dept. of Applied Foreign Languages Kuang Wu Institute of Technology Taiwan National Research Council Canada

ISBN: (纸本)0769520510

For effectively browsing and navigation, the semantic annotation is essential for the visual content of movies. It is very important to show the particular object that the movie producer wants to highlight in educational videos or commercials. We propose an interactive and structure-based video annotation system, in which we can describe the video object and make multistory movies. The system provides a manual object-based interface for film producers to select the meaningful object and annotate it. We also provide a video story constructing function to interact with the audience.

关键词： Distance education

来源：评论

学校读者我要写书评

暂无评论

SMART HOME ENVIRONMENT MODELLED WITH A MULTI-AGENT SYSTEM

UPB Scientific Bulletin, Series C: Electrical Engineering an...

引用

UPB Scientific Bulletin, Series C: Electrical Engineering and computer science 2023年第1期85卷 365-376页

作者： Rasras, Mohammad Marin, Iuliana Radu, Șerban Dept. of Engineering in Foreign Languages University POLITEHNICA of Bucharest Romania Dept. of Computer Science University POLITEHNICA of Bucharest Romania

A smart home can be considered a place of residence that enables the management of appliances and systems to help with day-to-day life by automated technology. In the current paper is described a prototype that simulates a context-aware environment, developed in a designed smart home. The smart home environment has been simulated using three agents and five locations in a house. The context-aware agents behave based on predefined rules designed for daily activities. Our proposal aims to reduce operational cost of running devices. In the future, monitors of health aspects belonging to home residents will sustain their healthy life daily. © 2023, Politechnica University of Bucharest. All rights reserved.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Open source corpus analysis tools for Malay 5

Open source corpus analysis tools for Malay

引用

5th International Conference on Language Resources and Evaluation, LREC 2006

作者： Baldwin, Timothy Awab, Su'ad Dept. of Computer Science and Software Eng. University of Melbourne VIC3010 Australia English Language Department Faculty of Linguistics and Languages University of Malaya Kuala Lumpur50603 Malaysia

Tokenisers, lemmatisers and POS taggers are vital to the linguistic and digital furtherment of any language. In this paper, we present an open source toolkit for Malay incorporating a word and sentence tokeniser, a lemmatiser and a partial POS tagger, based on heavy reuse of pre-existing language resources. We outline the software architecture of each component, and present an evaluation of each over a 26K word sample of Malay text.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

computer-supported assessment of wikis in higher education: Two case studies

Computer-supported assessment of wikis in higher education: ...

引用

International Symposium on computers in Education (SIIE)

作者： Manuel Palomo-Duarte Juan Manuel-Dodero Antonio García-Domínguez Pablo Neira-Ayuso Noelia Sales-Montes Inmaculada Medina-Bulo Francisco Palomo-Lozano Carmen Castro-Cabrera Emilio J. Rodríguez-Posada Dept. of Computer Science University of Cádiz Spain Dept. of Computer Languages and Systems University of Seville Spain

In recent years, the focus on higher education learning has shifted from knowledge to skills, with the interpersonal skills likely being the most difficult to assess and work with. Wikis ease open collaboration among peers. The massive adoption of computers and the Internet both in the classroom and by students makes it possible to use them for grading. A number of these skills can be assessed by using wikis in an university-level educational environment: collaborative writing, conflict resolution, group management, leadership, etc. However, the sole use of wikis does not guarantee success, as there are many variables that affect the experience. In this paper we compare two case studies conducted in the University of Cádiz, Spain. We pay attention to the different settings in each one, and how they can affect the final result of the experience. They were conducted in courses belonging to computer science Degrees. However, they differ in duration, milestones, contribution size, weight in the final grade and, specially, in the assessment method. When a group of students work in a wiki, they produce a lot of information that is hard to evaluate in detail. We discuss and compare the different methods and tools used to assess the desired skills in each case study. We sum up some of the lessons learned in our conclusions.

关键词： Internet Electronic publishing Encyclopedias Software Collaboration Educational institutions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：