English
Related papers

Related papers: Abstract Machine as a Model of Content Management …

200 papers

This paper presents a manifesto that articulates the conceptual foundations of Agentic Business Process Management (APM), an extension of Business Process Management (BPM) for governing autonomous agents executing processes in…

Industrial inspection automation in aerospace presents numerous challenges due to the dynamic, information-rich and regulated aspects of the domain. To diagnose the condition of an aircraft component, expert inspectors rely on a significant…

Human-Computer Interaction · Computer Science 2021-01-15 Garrick Cabour , Élise Ledoux , Samuel Bassetto

Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machine Theorem, which assures us that any classical algorithm…

Logic in Computer Science · Computer Science 2024-10-15 Andreas Blass , Nachum Dershowitz , Yuri Gurevich

Large language models have gained widespread popularity for their ability to process natural language inputs and generate insights derived from their training data, nearing the qualities of true artificial intelligence. This advancement has…

Software Engineering · Computer Science 2024-11-25 Narcisa Guran , Florian Knauf , Man Ngo , Stefan Petrescu , Jan S. Rellermeyer

Content marketing is todays one of the most remarkable approaches in the context of marketing processes of companies. Value of this kind of marketing has improved in time, thanks to the latest developments regarding to computer and…

Artificial Intelligence · Computer Science 2017-04-10 Utku Kose , Selcuk Sert

Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These abstractions provide simplified models that capture the…

Systems and Control · Electrical Eng. & Systems 2025-02-25 Daniel Ajeleye , Majid Zamani

The ability of a system to meet its requirements is a strong determinant of success. Thus effective requirements specification is crucial. Explicit Requirements are well-defined needs for a system to execute. IMplicit Requirements (IMRs)…

Software Engineering · Computer Science 2021-03-23 Onyeka Emebo , Aparna S. Varde , Olawande Daramola

Building software-driven systems that are easily understood becomes a challenge, with their ever-increasing complexity and autonomy. Accordingly, recent research efforts strive to aid in designing explainable systems. Nevertheless, a common…

Artificial Intelligence · Computer Science 2019-02-11 Dimitri Bohlender , Maximilian A. Köhl

Abstractive text summarization aims at compressing the information of a long source document into a rephrased, condensed summary. Despite advances in modeling techniques, abstractive summarization models still suffer from several key…

Computation and Language · Computer Science 2021-02-17 Vidhisha Balachandran , Artidoro Pagnoni , Jay Yoon Lee , Dheeraj Rajagopal , Jaime Carbonell , Yulia Tsvetkov

Modern applications and Operating Systems vary greatly with respect to how they register and identify different types of content. These discrepancies lead to exploits and inconsistencies in user experience. In this paper, we highlight the…

Cryptography and Security · Computer Science 2017-08-31 Theofilos Petsios , Adrian Tang , Dimitris Mitropoulos , Salvatore Stolfo , Angelos D. Keromytis , Suman Jana

Specifically focusing on the landscape of abstractive text summarization, as opposed to extractive techniques, this survey presents a comprehensive overview, delving into state-of-the-art techniques, prevailing challenges, and prospective…

Computation and Language · Computer Science 2024-09-05 Hassan Shakil , Ahmad Farooq , Jugal Kalita

Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentation in dynamic multi-agent systems encounters the problem of…

Artificial Intelligence · Computer Science 2022-11-30 Minal Suresh Patil

Automated Machine Learning (AutoML) is an area of research that focuses on developing methods to generate machine learning models automatically. The idea of being able to build machine learning models with very little human intervention…

Machine Learning · Computer Science 2023-08-31 Hernan Ceferino Vazquez

This paper identifies three categories of model: the Technology Impact Model; the Social Impact Model and the Integrationist Model, which imply different views of the "impact" of Information Technology on work organisation. These models are…

Computers and Society · Computer Science 2007-05-23 Chris Kimble , Kevin McLoughlin

A control model is typically classified into three forms: conceptual, mathematical and simulation (computer). This paper analyzes a conceptual modeling application with respect to an inventory management system. Today, most organizations…

Software Engineering · Computer Science 2018-12-04 Sabah Al-Fedaghi , Nourah Al-Huwais

We provide a literature review about Automatic Text Summarization (ATS) systems. We consider a citation-based approach. We start with some popular and well-known papers that we have in hand about each topic we want to cover and we have…

Computation and Language · Computer Science 2023-10-05 Daniel O. Cajueiro , Arthur G. Nery , Igor Tavares , Maísa K. De Melo , Silvia A. dos Reis , Li Weigang , Victor R. R. Celestino

Document management software systems are having a wide audience at present. However, groupware as a term has a wide variety of possible definitions. Groupware classification attempt is made in this paper. Possible approaches to groupware…

Software Engineering · Computer Science 2007-05-23 Sergey V. Zykov , Gleb G. Pogodayev

With the rapid growth of unstructured data from social media, reviews, and forums, text mining has become essential in Information Systems (IS) for extracting actionable insights. Summarization can condense fragmented, emotion-rich posts,…

Computation and Language · Computer Science 2025-12-24 Junyi Liu , Stanley Kok

The mid-1990s saw the design of programming languages for software architectures, which define the high-level aspects of software systems including how code components were composed to form full systems. Our paper "Abstractions for Software…

Software Engineering · Computer Science 2025-03-07 Mary Shaw , Daniel V. Klein , Theodore L. Ross

End-user informatics applications are Internet data web management automation solutions. These are mass modeling and mass management collaborative communal consensus solutions. They are made and maintained by managerial, professional,…

Other Computer Science · Computer Science 2007-10-18 George A. Maney
‹ Prev 1 3 4 5 6 7 10 Next ›