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

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint programming and Constraint Solving, in particular Constraint Logic programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di?ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.

关键词： Artificial Intelligence programming Techniques programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Flexible Query Answering systems 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Henning Christiansen Mohand-Saïd Hacid Troels Andreasen Henrik Legind Larsen

ISBN: (数字)9783540259572

ISBN: (纸本)9783540221609

ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering systems, FQAS 2004, held in Lyon, France, on June 24–26, 2004. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, ?exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several research areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human-computer interaction. With FQAS 2004, the FQAS conference series celebrated its tenth anniversary as it has been held every two years since 1994. The overall theme of the FQAS conferences is innovative query systems aimed at providing easy, ?exible, and intuitive access to information. Such systems are intended to facilitate retrieval from information repositories such as databases, libraries, and the Web. These repositories are typically equipped with standard query systems that are often inadequate for users. The focus of FQAS is the development of query systems that are more expressive, informative, cooperative, productive, and intuitive to use.

关键词： Artificial Intelligence information Storage and Retrieval information systems Applications (incl. Internet) User Interfaces and Human computer Interaction Database Management IT in Business

来源：评论

学校读者我要写书评

暂无评论

Flexible Query Answering systems 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Henrik Legind Larsen Gabriella Pasi Daniel Ortiz-Arroyo Troels Andreasen Henning Christiansen

来源：评论

学校读者我要写书评

暂无评论

Promising Developments in Cyber Physical System Tools for Background Monitoring of Reserve Landscape 11

Promising Developments in Cyber Physical System Tools for Ba...

引用

11th International Conference on Advanced computer information Technologies, ACIT 2021

作者： Nykolaychuk, Yaroslav Grynchychyn, Taras Pitukh, Ihor Petrashchuk, Yaroslav Nykolaychuk, Lyubov Hryha, Volodymyr West Ukrainian National University Department of Specialized Computer Systems Ternopil Ukraine Nadvirna Vocational College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Gorgany Nature Reserve Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

Experience in designing and building cyber physical interactive distributed monitoring systems for industrial facilities and reserve landscapes is analyzed. Advantages of the existing interactive and dialogue computerized systems, replicated by many companies, are systematized and their functional limitations are determined. The legal and system requirements for the implementation of this class of information system components, which can be applied in strict Nature Reserve, are clarified. It is proposed to expand the functionality and increase the reliability of the ring-star system for background monitoring of nature reserves based on binary-manipulated optical signals. A sensor system for measuring the height of snow cover along the monitoring route is developed using a relay sensor network and quadcopters. © 2021 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Structure and Functioning of information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve 10

Structure and Functioning of Information Systems of Backgrou...

引用

10th International Conference on Advanced computer information Technologies, ACIT 2020

作者： Nykolaychuk, Yaroslav Petrashchuk, Yaroslav Slobodian, Olena Pitukh, Ihor Grynchyshyn, Taras Nykolaychuk, Lyubov Hryha, Volodymyr Ternopil National Economic University Department of Specialized Computer Systems Ternopil Ukraine Gorgany Nature Reserve Nadvirna Ukraine Nadvirna College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site 'Beech forests of the Carpathians and ancient beech forests of Germany' using actual data and information from Gorgany Nature Reserve in Ivano-Frankivsk, Ukraine. The features of the structure and functions of background monitoring of the protected natural resources, forests and wildlife of Gorgany Nature Reserve is based on modern methods of collecting and processing of digital data, implementation of the principles of Internet of Things and cloud technologies, combined with GPS-systems, sensor networks with the use of optical and fiber-optic telecommunication channels. The information technology of the background monitoring system is based on figurative cluster models of monitoring objects according to theoretical principles of statistical, correlatory, spectral, cluster, logic-statistical and entropy analysis. © 2020 IEEE.

关键词： Sensor networks

来源：评论

学校读者我要写书评

暂无评论

Migrating Birds Optimization-Based Feature Selection for Text Classification

arXiv

引用

arXiv 2024年

作者： Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey

This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification having large number of features. Focusing on computational efficiency, we preprocess raw data using the information Gain algorithm, strategically reducing the feature count from an average of 62221 to 2089. Our experiments demonstrate MBO-NB's superior effectiveness in feature reduction compared to other existing techniques, emphasizing an increased classification accuracy. The successful integration of Naive Bayes within MBO presents a well-rounded solution. In individual comparisons with Particle Swarm Optimization (PSO), MBO-NB consistently outperforms by an average of 6.9% across four setups. This research offers valuable insights into enhancing feature selection methods, providing a scalable and effective solution for text classification. © 2024, CC BY-NC-ND.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Formal specification of software systems using Two-Level Grammar 15

Formal specification of software systems using Two-Level Gra...

引用

15th Annual International computer Software and Applications Conference, CMPSAC 1991

作者： Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States

ISBN: (纸本)0818621524

Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. This has the potential for greatly increasing the reliability of the developed software system for the following reasons. Because it is a form of natural language, TLG may be used as an effective communication medium between the system users, designers, and implementors, thereby reducing the likelihood of errors caused by miscommunication. Furthermore, we may automatically generate an efficient software system, expressed in C, from the specification in a provably correct way. Successful applications have included database/knowledge base systems and programming language compilers. © 1991 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Cyber-Physical-Social System Self-Organization: Ontology-Based Multi-level Approach and Case Study

Cyber-Physical-Social System Self-Organization: Ontology-Bas...

引用

International Conference on Self-Adaptive and Self-Organizing systems (SASO)

作者： Alexander Smirnov Alexey Kashevnik Nikolay Shilov Information technology and programming department ITMO University St.Petersburg Russia Laboratory of Computer Aided Integrated Systems SPIIRAS St.Petersburg Russia

This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in physical part, they have to interact in cyber part. It is proposed to use the smart space technology for exchange information between these devices in cyber part of cyber-physical system. Smart Space -- is a computational environment consisting of multiple heterogeneous services (electronic and computational devices, Internet pages, data based, etc.) which has intelligent behavior, can proactively provide information taking into account current situation. Smart spaces allow unifying different levels of services, implement self-organization of services in each level, and providing politics from upper to lower level. Self-organization on every level is implemented based on ontology-based context management techniques and ontology matching method that provides semantic interoperability between interacted robots. Discussed in the paper case study solve the task of self-organization three types of robots based on politics from operation planning services and context situation in smart space. For the scenario implementation the Smart-M3 information sharing platform is used. It provides easy-to-use interfaces for information sharing through the RDF ontologies and publish / subscribe mechanism for connected services.

关键词： Ontologies Robots Semantics information management Organizations Interoperability Pipelines

来源：评论

学校读者我要写书评

暂无评论

Model-based Generation of Attack-Fault Trees

arXiv

引用

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：