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

IEEE International Conference on Communications (ICC)

作者： M. Kolberg J. F. Buford K. Dhara X. Wu V. Krishnaswamy Department Computing Science and Mathematics University of Stirling Stirling UK Avaya Laboratories Research Lincroft NJ USA

Several trends in SIP application server deployments in large scale telephony environments exacerbate the classic problem of feature interaction : use of distributed feature servers, mixing of legacy and green-field feature servers, and the co-existence of multiple third-party feature implementations provisioned in the same environment. Next-generation SIP application servers will include an application router (AR) to provide more application control over feature sequencing. As we discuss here, the AR can be augmented to incorporate feature interaction detection and resolution logic. We describe a novel design for run-time feature interaction detection and resolution in an environment of distributed feature servers using a SIP application server with application routing function, such as that defined in JSR 289. The approach is based on the algorithm of the Kolberg-Magill (K-M) method for feature interaction detection. Here we extend the notation of the algorithm to cover advanced call control services, enable the algorithm to work in topologies involving B2BUAs (Back-to-Back User Agents) and SBCs (session border controllers), and test the approach with a substantial feature set of 32 features found in large enterprise solutions.

关键词： Computer vision Telephony Runtime environment Topology Testing Communications Society Distributed computing mathematics Large-scale systems Logic

来源：评论

学校读者我要写书评

暂无评论

Automated modular verification for race-free channels with implicit and explicit synchronization

arXiv

引用

arXiv 2021年

作者： Costea, Andreea Wei-Ngan, Chin Craciun, Florin Qin, Shengchao School of Computing National University of Singapore Faculty of Mathematics and Computer Science Babes-Bolyai University Teesside University

Ensuring the correctness of software for communication-centric programs is important but challenging. Previous approaches, based on session types, have been intensively investigated over the past decade. They provide a concise way to express protocol specifications and a lightweight approach for checking their implementation. Current solutions are based on only implicit synchronization, and are based on the less precise types rather than logical formulae. In this paper, we propose a more expressive session logic to capture multi-party protocols. By using two kinds of ordering constraints, namely "happens-before" HB and "communicates-before" CB, we show how to ensure from first principle race-freedom over common channels. Our approach refines each specification with both assumptions and proof obligations to ensure compliance to some global protocol. Each specification is then projected for each party and then each channel, to allow cooperative proving through localized automated verification. Our primary goal in automated verification is to ensure race-freedom and communication-safety, but the approach is extensible for deadlock-freedom as well. We shall also describe how modular protocols can be captured and handled by our approach. © 2021, CC BY-NC-SA.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Extracting fuzzy symbolic representation from artificial neural networks

Extracting fuzzy symbolic representation from artificial neu...

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： M. Faifer C.Z. Janikow K. Krawiec Institute of Computing Science Poznan University of Technology Poland Department of Mathematics and Computer Science University of Missouri St. Louis USA

The paper presents FUZZYTREPAN, a pedagogical approach to the problem of extracting comprehensible symbolic knowledge from trained artificial neural networks. This approach extends the previously proposed TREPAN method in two ways: it uses fuzzy representation in its knowledge extraction process (by means of fuzzy decision trees), and it uses additional heuristics in its process of generating artificial data. The paper describes the proposed approach in detail, and it presents its empirical evaluation on popular machine learning benchmarks.

关键词： Fuzzy neural networks Artificial neural networks Decision trees Neural networks Computer networks Induction generators Data mining Machine learning Neurons Machine learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Accumulative energy-based seam carving for image resizing

Accumulative energy-based seam carving for image resizing

引用

作者： Lin, Yuqing Lin, Jiawen Niu, Yuzhen Zhang, Haifeng College of Mathematics and Computer Science Fujian Key Laboratory of Network Computing and Intelligent Information Processing Key Laboratory of Spatial Data Mining and Information Sharing Ministry of Education Fuzhou University Xueyuan Road #2 Fuzhou Fujian350106 China

With the diversified development of the digital devices, such as computer, mobile phone and television, how to resize an image or video to adapt to different display screens has been a heated topic. Seam carving does well in image resizing at most times, however, it sometimes produces discontinuity image content or impaired salient objects. Therefore, we propose an accumulative energy-based seam carving method for image resizing. We distribute the energy of each pixel on the seam to its adjacent 8-connected pixels to avoid the extreme concentration of seams. In addition, we add the image saliency and the edge information into the energy function to reduce the distortion. To compute more efficiently, we use parallel computing environment as well. Experimental results show that compared with the existing methods, our method can both avoid the discontinuity of image content and distortions as well as better maintain the shape of the salient objects. © 2020 Inderscience Enterprises Ltd.

关键词： Digital devices

来源：评论

学校读者我要写书评

暂无评论

A preliminary report on answering complex queries related to drug discovery using answer set programming

A preliminary report on answering complex queries related to...

引用

3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th International Conference on Logic Programming, ICLP 2008

作者： Bodenreider, Olivier Çoban, Zeynep H. Doǧanay, Mahir C. Erdem, Esra Koşucu, Hilal National Library of Medicine National Institutes of Health United States Department of Biostatistics Harvard School of Public Health United States Dept. of Mathematics and Computing Science University of Groningen Netherlands Faculty of Engineering and Natural Sciences Sabanci University Turkey Department of Computer Science University of Toronto Canada

We introduce a new method for integrating relevant parts of knowledge extracted from biomedical ontologies and answering complex queries related to drug safety and discovery, using Semantic Web technologies and answer set programming. The applicability of this method is illustrated in detail on some parts of existing biomedical ontologies. Its effectiveness is demonstrated by computing an answer to a real-world biomedical query that requires the integration of NCBI Entrez Gene and the Gene Ontology. © Copyright 2008 front matter by the editors.

关键词： Gene Ontology

来源：评论

学校读者我要写书评

暂无评论

Visualization of assertion confidence in fuzzy rules

Visualization of assertion confidence in fuzzy rules

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： Tyler Doan Andrew Hamilton-Wright Computing and Information Science University of Guelph Guelph ONT Canada Mathematics and Computer Science Mount Allison University Sackville NB Canada

A system is presented which is oriented at aiding medical professionals in the diagnosis of neuromuscular disease using a fuzzy rule-based classification system. Visualization of the fuzzy rules, which are contributors to the overall classification, allows the user to determine their level of confidence with the classification of the system. During the development of this system, the choice between two alternative components arose, which required that an evaluation of the two contrasting visualization techniques be performed. An emphasis on communication of information to the operator resulted in a decrease in the effectiveness of traditional HCI evaluation techniques. Instead, a methodology is introduced which attempts to quantify the level of information which is absorbed by the observer. Comparison of user performance with each style of visualization on the same dataset allows the experimenter to determine which alternative is most effective. It is revealed that this methodology is generic enough that it can be applied in other visualization heavy applications where traditional techniques have failed to produce an adequate evaluation.

关键词： Fuzzy systems Data visualization Displays Knowledge based systems Decision making Decision support systems Information processing Information science mathematics Computer science

来源：评论

学校读者我要写书评

暂无评论

Rough sets and partition matroids

Rough sets and partition matroids

引用

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Qing Zhao William Zhu Laboratory of Granular Computing Department of Mathematics and Information Science Zhangzhou Normal University Zhangzhou China Laboratory of Granular Computing Zhangzhou Normal University Zhangzhou China

In this paper rough sets are studied from the viewpoint of partition matroids. A partition matroid is expressed as the direct sum of some uniform matroids on the equivalence classes. We also study under what condition partition and partition matroid are determined by each other. Furthermore, it is interesting that the boundary region of a subset is obtained directly through the circuits of a partition matroid. And we represent the approximations of any subset of a universe by these circuits. Finally, the relationships between the approximation operators and the closure operators of partition matroids are established. These results enrich rough set theory and matroid theory.

关键词： Rough sets Approximation methods Educational institutions Abstracts Particle separators

来源：评论

学校读者我要写书评

暂无评论

System identification and parameter estimation in mathematical medicine： examples demonstrated for prostate cancer

引用

Frontiers of Electrical and Electronic Engineering in China 2016年第1期4卷 13-19页

作者： Yoshito Hirata Kai Morino Taiji Suzuki Qian Guo Hiroshi Fukuhara Kazuyuki Aihara Institute of Industrial Science The University of Tokyo Tokyo 153-8505 Japan Graduate School of Information Science and Technology The University of Tokyo Tokyo 113-8656 Japan Department of Mathematical and Computing Sciences Graduate School of Information Science and Engineering Tokyo Institute of Technology Tokyo 152-8552 Japan Department of Mathematics Shanghai Normal University Shanghai 200234 China Department of Urology Graduate School of Medicine The University of Tokyo Tokyo 113-8655 Japan

We review our studies on how to identify the most appropriate models of diseases, and how to determine their parameters in a quantitative manner given a short time series of biomarkers, using intermittent androgen deprivation therapy of prostate cancer as an example. Recently, it has become possible to estimate the specific parameters of individual patients within a reasonable time by employing the information concerning other previous patients as a prior. We discuss the importance of using multiple mathematical methods simultaneously to achieve a solid diagnosis and prognosis in the future practice of personalized medicine.

关键词： mathematical medicine dynamical model parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Estimating Software Effort with Minimum Features Using Neural Functional Approximation

Estimating Software Effort with Minimum Features Using Neura...

引用

International Conference on Computational science and its Applications (ICCSA)

作者： Pichai Jodpimai Peraphon Sophatsathit Chidchanok Lursinsap Advanced Virtual and Intelligent Computing (AVIC) Center Department of Mathematics Faculty of Science Chulalongkom University Bangkok Thailand

The aim of this study is to improve software effort estimation by incorporating straightforward mathematical principles and artificial neural network technique. Our process consists of three major steps. The first step concerns data preparation from each considered database. The second step is to reduce the number of given features by considering only those relevant ones. The final step is to transform the problem of estimating software effort to the problems of classification and functional approximation by using a feedforward neural network. Experimental data are taken from well-known public domains. The results are systematically compared with related prior works using only a few features so obtained, yet demonstrate that the proposed model yields satisfactory estimation accuracy based on MMRE and PRED measures.

关键词： Artificial neural networks Costs Genetic algorithms Computer networks Life estimation Fuzzy neural networks Application software Yield estimation Regression analysis Predictive models

来源：评论

学校读者我要写书评

暂无评论

A preliminary study of level 1A data processing of a low-low satellite to satellite tracking mission

引用

Geodesy and Geodynamics 2015年第5期6卷 333-343页

作者： Xu Peng Qiang Li'e Bian Xing Dong Peng Ju Peng Gao Wei Gong Xuefei Luo Ziren Shao Mingxue Tang Werilin Wan Xiaoyun Lau Yun-Kau Institute of Applied Mathematics Academy of Mathematics and Systems ScienceChinese Academy of Sciences Morningside Center of Mathematics Chinese Academy of Sciences State Key Laboratory of Geodesy and Earth's Dynamics Institute of Geodesy and Geo-physicsChinese Academy of Sciences Department of Geophysics College o/the Geology Engineering and GeomaticsChang 'an University University of Chinese Academy of Sciences Max-Planck-Institute for Grauitational Physics(Albert Einstein Institute) Aerospace Flight Dynamics Laboratory Beijing Aerospace Control Center Qian Xuesen Laboratory of Launch Vehicle Technology State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems ScienceChinese Academy of Sciences

With the Gravity Recovery and Climate Experiment {GRACE） mission as the prime example, an overview is given on the management and processing of Level IA data of a low-low satellite to satellite tracking mission. To illustrate the underlying principle and algorithm, a detailed study is made on the K-band ranging （KBR） assembly, which includes the measurement principles, modeling of noises, the generation of Level 1A data from that of Level 0 as well as Level IA to Level IB data processing.

关键词： Data processingDual-one-way ranging (DOWR)Gravity recovery and climateexperiment (GRACE)K-band ranging (KBR)Satellite to satellite tracking (SST)Noise analysisSatellite gravityUltra stable oscillator (USO)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：