English
Related papers

Related papers: Synthesis of Attributed Feature Models From Produc…

200 papers

Hand-engineered feature sets are a well understood method for creating robust NLP models, but they require a lot of expertise and effort to create. In this work we describe how to automatically generate rich feature sets from simple units…

Computation and Language · Computer Science 2017-02-24 Travis Wolfe , Mark Dredze , Benjamin Van Durme

Feature selection has been recently used in the area of software engineering for improving the accuracy and robustness of software cost models. The idea behind selecting the most informative subset of features from a pool of available cost…

Software Engineering · Computer Science 2023-12-21 Efi Papatheocharous , Harris Papadopoulos , Andreas S. Andreou

Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and hardware. Despite recent advances in terms of algorithms and…

Logic in Computer Science · Computer Science 2021-12-17 Bernd Finkbeiner , Gideon Geier , Noemi Passing

The public availability of collections containing user preferences is of vital importance for performing offline evaluations in the field of recommender systems. However, the number of rating datasets is limited because of the costs…

Information Retrieval · Computer Science 2019-09-04 Diego Monti , Giuseppe Rizzo , Maurizio Morisio

Feature based explanations, that provide importance of each feature towards the model prediction, is arguably one of the most intuitive ways to explain a model. In this paper, we establish a novel set of evaluation criteria for such feature…

Machine Learning · Computer Science 2021-04-12 Cheng-Yu Hsieh , Chih-Kuan Yeh , Xuanqing Liu , Pradeep Ravikumar , Seungyeon Kim , Sanjiv Kumar , Cho-Jui Hsieh

Feature models are widely used to capture the configuration space of software systems. Although automated reasoning has been studied for detecting problematic features and supporting configuration tasks, significantly less attention has…

Software Engineering · Computer Science 2026-03-18 Jose Manuel Sanchez , Miguel Angel Olivero , Ruben Heradio , Luis Cambelo , David Fernandez-Amoros

We introduce a mathematical framework for retrosynthetic analysis, an important research method in synthetic chemistry. Our approach represents molecules and their interaction using string diagrams in layered props - a recently introduced…

Logic in Computer Science · Computer Science 2023-11-08 Ella Gale , Leo Lobski , Fabio Zanasi

In general, synthesis models provide the mean value of the distribution of possible integrated luminosities, this distribution (and not only its mean value) being the actual description of the integrated luminosity. Therefore, to obtain the…

Astrophysics · Physics 2019-06-19 M. Cervino , V. Luridiana

Pre-trained language models have been successful on text classification tasks, but are prone to learning spurious correlations from biased datasets, and are thus vulnerable when making inferences in a new domain. Prior work reveals such…

Computation and Language · Computer Science 2022-01-03 Huihan Yao , Ying Chen , Qinyuan Ye , Xisen Jin , Xiang Ren

With the proliferation of increasingly complicated Deep Learning architectures, data synthesis is a highly promising technique to address the demand of data-hungry models. However, reliably assessing the quality of a 'synthesiser' model's…

Machine Learning · Computer Science 2025-05-05 Julia A. Meister , Khuong An Nguyen

Machine learning algorithms have difficulties to generalize over a small set of examples. Humans can perform such a task by exploiting vast amount of background knowledge they possess. One method for enhancing learning algorithms with…

Machine Learning · Computer Science 2020-06-09 Michal Badian , Shaul Markovitch

In data modelling, product information has most often been handled separately from process information. The integration of product and process models in a unified data model could provide the means by which information could be shared…

Instrumentation and Detectors · Physics 2007-05-23 J. -M. Le Goff , I. Willers , Z. Kovacs , R. McClatchey

Sound synthesis is a complex field that requires domain expertise. Manual tuning of synthesizer parameters to match a specific sound can be an exhaustive task, even for experienced sound engineers. In this paper, we introduce InverSynth -…

Sound · Computer Science 2019-11-22 Oren Barkan , David Tsiris , Ori Katz , Noam Koenigstein

Documentation debt hinders the effective utilization of open-source software. Although code summarization tools have been helpful for developers, most would prefer a detailed account of each parameter in a function rather than a high-level…

Software Engineering · Computer Science 2023-11-21 Vatsal Venkatkrishna , Durga Shree Nagabushanam , Emmanuel Iko-Ojo Simon , Melina Vidoni

Customers' load profiles are critical resources to support data analytics applications in modern power systems. However, there are usually insufficient historical load profiles for data analysis, due to the collection cost and data privacy…

Machine Learning · Computer Science 2024-02-14 Zhenyi Wang , Hongcai Zhang

Formal representations of the visualization design space, such as knowledge bases and graphs, consolidate design practices into a shared resource and enable automated reasoning and interpretable design recommendations. However, prior…

Human-Computer Interaction · Computer Science 2026-01-28 Hyeok Kim , Sehi L'Yi , Nils Gehlenborg , Jeffrey Heer

In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is…

Systems and Control · Electrical Eng. & Systems 2023-05-17 Sander Thuijsman , Michel Reniers

Identifiability is a necessary condition for successful parameter estimation of dynamic system models. A major component of identifiability analysis is determining the identifiable parameter combinations, the functional forms for the…

Quantitative Methods · Quantitative Biology 2013-10-07 Marisa C. Eisenberg , Michael A. L. Hayashi

Multifidelity and multioutput optimisation algorithms are of active interest in many areas of computational design as they allow cheaper computational proxies to be used intelligently to aid experimental searches for high-performing…

Machine Learning · Statistics 2022-08-29 Clyde Fare , Peter Fenner , Edward O. Pyzer-Knapp

This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts different target languages for modeling the state-transitions of a…

Formal Languages and Automata Theory · Computer Science 2023-07-28 Javier Segovia-Aguas , Jonathan Ferrer-Mestres , Sergio Jiménez
‹ Prev 1 3 4 5 6 7 10 Next ›