English
Related papers

Related papers: Semantic Degrees for Industrie 4.0

200 papers

Automation systems are increasingly being used in dynamic and various operating conditions. With higher flexibility demands, they need to promptly respond to surrounding dynamic changes by adapting their operation. Context information…

Software Engineering · Computer Science 2022-07-12 Nada Sahlab , Nasser Jazdi , Michael Weyrich

Automation services for complex business processes usually require a high level of information technology literacy. There is a strong demand for a smartly assisted process automation (IPA: intelligent process automation) service that…

Artificial Intelligence · Computer Science 2020-01-09 Nobuhiro Ito , Yuya Suzuki , Akiko Aizawa

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that…

Software Engineering · Computer Science 2015-11-26 Sarmen Keshishzadeh , Arjan J. Mooij , Jozef Hooman

Alignment is the most critical step in building large language models (LLMs) that meet human needs. With the rapid development of LLMs gradually surpassing human capabilities, traditional alignment methods based on human-annotation are…

Computation and Language · Computer Science 2024-09-04 Boxi Cao , Keming Lu , Xinyu Lu , Jiawei Chen , Mengjie Ren , Hao Xiang , Peilin Liu , Yaojie Lu , Ben He , Xianpei Han , Le Sun , Hongyu Lin , Bowen Yu

The manufacturing industry is at the edge of the 4th industrial revolution, a paradigm of integrated architectures in which the entire production chain (composed of machines, workers and products) is intrinsically connected. Wireless…

Networking and Internet Architecture · Computer Science 2019-06-21 Borja Martinez , Cristina Cano , Xavier Vilajosana

Machine translation has wide applications in daily life. In mission-critical applications such as translating official documents, incorrect translation can have unpleasant or sometimes catastrophic consequences. This motivates recent…

Software Engineering · Computer Science 2022-04-07 Jialun Cao , Meiziniu Li , Yeting Li , Ming Wen , Shing-Chi Cheung

Developing intelligent systems requires combining results from both industry and academia. In this report you find an overview of relevant research fields and industrially applicable technologies for building very large scale cyber physical…

Artificial Intelligence · Computer Science 2016-08-30 Andre Karpistsenko

Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentation and formalisation, but also for providing the…

Logic in Computer Science · Computer Science 2021-07-20 Carlos G. Lopez Pombo , Thomas S. E. Maibaum

Meaning has been called the "holy grail" of a variety of scientific disciplines, ranging from linguistics to philosophy, psychology and the neurosciences. The field of Artifical Intelligence (AI) is very much a part of that list: the…

Artificial Intelligence · Computer Science 2016-10-25 Douwe Kiela , Luana Bulat , Anita L. Vero , Stephen Clark

Additive manufacturing (AM) offers numerous benefits, such as manufacturing complex and customised designs quickly and cost-effectively, reducing material waste, and enabling on-demand production. However, several security challenges are…

Cryptography and Security · Computer Science 2023-05-09 Mahender Kumar , Gregory Epiphaniou , Carsten Maple

The monograph summarizes and analyzes the current state of development of computer and mathematical simulation and modeling, the automation of management processes, the use of information technologies in education, the design of information…

We are living in the era of Big Data and witnessing the explosion of data. Given that the limitation of CPU and I/O in a single computer, the mainstream approach to scalability is to distribute computations among a large number of…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-27 Bingbing Rao , Liqiang Wang

With increasing complexity of tourism business models and tasks, there is a clear need of the next generation e-Tourism infrastructure to support flexible automation, integration, computation, storage, and collaboration. Currently several…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-05-14 Xiao Ming Zhang

The academia and industry are characterized by a reciprocal shaping and dynamic feedback mechanism. Despite distinct institutional logics, they have adapted closely in collaborative publishing and talent mobility, demonstrating tension…

Computation and Language · Computer Science 2026-02-06 Hongye Zhao , Yi Zhao , Chengzhi Zhang

Online recruitment platforms require recommendation methods capable of retrieving relevant job opportunities from large and heterogeneous collections of job postings. Keyword-based search is efficient and interpretable, but it may fail to…

Information Retrieval · Computer Science 2026-05-28 Hussein Al Awad , Khaled Fathi Omar

Over the last decade, the long-running endeavour to automate high-level processes in machine learning (ML) has risen to mainstream prominence, stimulated by advances in optimisation techniques and their impact on selecting ML…

Machine Learning · Computer Science 2022-03-30 David Jacob Kedziora , Katarzyna Musial , Bogdan Gabrys

The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design…

Software Engineering · Computer Science 2013-12-13 Thilo Breitsprecher , Mihai Codescu , Constantin Jucovschi , Michael Kohlhase , Lutz Schröder , Sandro Wartzack

Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system's behaviour. Autonomous systems use software to make decisions without human…

Software Engineering · Computer Science 2021-07-29 Matt Luckcuck

Classic problem-space theory models problem solving as a navigation through a structured space of states, operators, goals, and constraints. Systems Engineering (SE) employs analogous constructs (functional analysis, operational analysis,…

Systems and Control · Electrical Eng. & Systems 2026-01-05 Mayuranath SureshKumar , Hanumanthrao Kannan

Future industrial networks will consist of a complex mixture of new and legacy components, while new use cases and applications envisioned by Industry 4.0 will demand increased flexibility and dynamics from these networks. Industrial…

Cryptography and Security · Computer Science 2022-05-26 Tim Lackorzynski , Max Ostermann , Stefan Köpsell , Hermann Härtig
‹ Prev 1 8 9 10 Next ›