English
Related papers

Related papers: Concurrency Model of BDI Programming Frameworks: W…

200 papers

In social and biomedical sciences testing in contingency tables often involves order restrictions on cell-probabilities parameters. We develop objective Bayes methods for order-constrained testing and model comparison when observations…

Methodology · Statistics 2018-10-24 Roberta Paroli , Guido Consonni

Recently a library of design patterns for designing distributed user interfaces (DUIs) was created to help researchers and designers to create user interfaces and to provide an overview of solutions to common DUIs design problems without…

Human-Computer Interaction · Computer Science 2019-03-29 Mubashar Iqbal

Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is necessary to consider multiple process specifications…

Artificial Intelligence · Computer Science 2021-11-29 Anti Alman , Fabrizio Maria Maggi , Marco Montali , Fabio Patrizi , Andrey Rivkin

Homogeneity and heterogeneity represent a well-known trade-off in the design of modular robot systems. This work addresses the heterogeneity concept, its rationales, design choices and performance evaluation. We introduce challenges for…

Despite rapid evolution, embedded computing systems increasingly feature resource constraints and workload uncertainties. To achieve much better system performance in unpredictable environments than traditional design approaches, a novel…

Other Computer Science · Computer Science 2008-12-18 Feng Xia , Youxian Sun

The dynamics of networks on Heider balance theory moves toward reducing the tension by constantly reevaluating the interactions to achieve a state of balance. Conflict of interest, however, is inherent in most complex systems; frequently,…

Physics and Society · Physics 2021-02-23 Farideh Oloomi , Razieh Masoumi , Kosar Karimipour , Ali Hosseiny , G. Reza Jafari

Tight collaboration between experts of machine learning and manycore system design is necessary to create a data-driven manycore design framework that integrates both learning and expert knowledge. Such a framework will be necessary to…

Machine Learning · Computer Science 2017-12-11 Ryan Gary Kim , Janardhan Rao Doppa , Partha Pratim Pande , Diana Marculescu , Radu Marculescu

The design of a system and its implementation are two tasks often carried out by different individuals on a development team, and can occur weeks or months apart. This creates a potential for divergence between real behavior and the…

Software Engineering · Computer Science 2026-05-11 Reid Anderson , Hassan Reza

Context: Competitiveness is the key to a sustainable development and it demands agility at the business and organizational levels, which in turn requires a flexible and customizable IT environment and effective and responsive governance in…

Software Engineering · Computer Science 2015-05-26 Alexandre J. H. de O. Luna , Philippe Kruchten , Hermano P. de Moura

We present a methodological framework aiming at the support of HCI practitioners and researchers in selecting and applying the most appropriate combination of HCI methods for particular problems. We highlight the need for a clear and…

Human-Computer Interaction · Computer Science 2020-11-30 Tasos Spiliotopoulos , Ian Oakley

The main purpose of this article is to describe the taxonomy of computer languages according to the levels of abstraction. There exists so many computer languages because of so many reasons like the evolution of better computer languages…

Programming Languages · Computer Science 2013-11-15 Dr. Brijender Kahanwal

Our research aims to propose a new performance-explainability analytical framework to assess and benchmark machine learning methods. The framework details a set of characteristics that systematize the performance-explainability assessment…

Machine Learning · Computer Science 2021-11-22 Kevin Fauvel , Véronique Masson , Élisa Fromont

AI progress is creating a growing range of risks and opportunities, but it is often unclear how they should be navigated. In many cases, the barriers and uncertainties faced are at least partly technical. Technical AI governance, referring…

When modelling competing risks survival data, several techniques have been proposed in both the statistical and machine learning literature. State-of-the-art methods have extended classical approaches with more flexible assumptions that can…

The Aiming for AI Interoperability report investigates the ongoing challenge of achieving regulatory and technical AI interoperability as national and global AI governance efforts are proliferating. Here, technical interoperability is the…

Computers and Society · Computer Science 2026-03-24 Benjamin Faveri , Craig Shank , Richard Whitt , Phillip Dawson

We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentative process taking place in evaluation meetings. Our results…

Other Computer Science · Computer Science 2016-08-16 Géraldine Martin , Françoise Détienne , Elisabeth Lavigne

Leveraging Large Language Models (LLMs) for code generation has increasingly emerged as a common practice in the domain of software engineering. Relevant benchmarks have been established to evaluate the code generation capabilities of LLMs.…

Software Engineering · Computer Science 2026-03-05 Jue Huang , Tarek Mahmud , Corina Pasareanu , Guowei Yang

Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level notions of threads and shared memory, forcing developers to…

Programming Languages · Computer Science 2017-10-31 Stefan Marr , Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix , Hanspeter Mössenböck

Machine learning and deep learning in particular has been recently used to successfully address many tasks in the domain of code such as finding and fixing bugs, code completion, decompilation, type inference and many others. However, the…

Machine Learning · Computer Science 2020-08-18 Pavol Bielik , Martin Vechev

Blockchain is a decentralized transaction and data management solution, the technological weapon-of-choice behind the success of Bitcoin and other cryptocurrencies. As the number and variety of existing blockchain implementations continues…

Cryptography and Security · Computer Science 2018-12-24 Martin Garriga , Maximiliano Arias , Alan De Renzis
‹ Prev 1 8 9 10 Next ›