English
Related papers

Related papers: Saying Hello World with GROOVE - A Solution to the…

200 papers

Compiler pass selection and phase ordering present a significant challenge in achieving optimal program performance, particularly for objectives like code size reduction. Standard compiler heuristics offer general applicability but often…

Software Engineering · Computer Science 2025-10-16 Haolin Pan , Chao Zha , Jinyuan Dong , Mingjie Xing , Yanjun Wu

The solutions to certain nested recursions, such as Conolly's C(n) = C(n-C(n-1))+C(n-1-C(n-2)), with initial conditions C(1)=1, C(2)=2, have a well-established combinatorial interpretation in terms of counting leaves in an infinite binary…

Combinatorics · Mathematics 2019-11-05 Abraham Isgur , Mustazee Rahman , Stephen Tanny

Graph Representation Learning (GRL) has experienced significant progress as a means to extract structural information in a meaningful way for subsequent learning tasks. Current approaches including shallow embeddings and Graph Neural…

Machine Learning · Computer Science 2020-06-19 Antonia Gogoglou , C. Bayan Bruss , Brian Nguyen , Reza Sarshogh , Keegan E. Hines

In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.

Software Engineering · Computer Science 2011-11-22 K. Lano , S. Kolahdouz-Rahimi

Automatic generators of GUI tests often fail to generate semantically relevant test cases, and thus miss important test scenarios. To address this issue, test adaptation techniques can be used to automatically generate semantically…

Software Engineering · Computer Science 2026-01-12 Leonardo Mariani , Mauro Pezzè , Valerio Terragni , Daniele Zuddas

Discovering the underlying structures present in large real world graphs is a fundamental scientific problem. In this paper we show that a graph's clique tree can be used to extract a hyperedge replacement grammar. If we store an ordering…

Social and Information Networks · Computer Science 2016-08-11 Salvador Aguiñaga , Rodrigo Palacios , David Chiang , Tim Weninger

The aim of the Transformation Tool Contest (TTC) series is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. Participants want to learn about…

Software Engineering · Computer Science 2013-12-02 Pieter Van Gorp , Louis M. Rose , Christian Krause

The unfolding program TRUEE is a software package for the numerical solution of inverse problems. The algorithm was first applied in the FORTRAN77 program RUN. RUN is an event-based unfolding algorithm which makes use of the Tikhonov…

Instrumentation and Methods for Astrophysics · Physics 2016-11-26 Natalie Milke , Marlene Doert , Stefan Klepser , Daniel Mazin , Volker Blobel , Wolfgang Rhode

The increasing use of transformer-based large language models brings forward the challenge of processing long sequences. In document visual question answering (DocVQA), leading methods focus on the single-page setting, while documents can…

Computation and Language · Computer Science 2024-03-19 Tsachi Blau , Sharon Fogel , Roi Ronen , Alona Golts , Roy Ganz , Elad Ben Avraham , Aviad Aberdam , Shahar Tsiper , Ron Litman

The HLTCOE Evaluation team participated in TREC VQA's Answer Generation (AG) task, for which we developed a listwise learning framework that aims to improve semantic precision and ranking consistency in answer generation. Given a…

Computer Vision and Pattern Recognition · Computer Science 2025-12-09 Dengjia Zhang , Charles Weng , Katherine Guerrerio , Yi Lu , Kenton Murray , Alexander Martin , Reno Kriz , Benjamin Van Durme

This work proposes Adaptive Facilitated Mutation, a self-adaptive mutation method for Structured Grammatical Evolution (SGE), biologically inspired by the theory of facilitated variation. In SGE, the genotype of individuals contains a list…

Neural and Evolutionary Computing · Computer Science 2023-03-31 Pedro Carvalho , Jessica Mégane , Nuno Lourenço , Penousal Machado

Test case prioritisation (TCP) is a critical task in regression testing to ensure quality as software evolves. Machine learning has become a common way to achieve it. In particular, learning-to-rank (LTR) algorithms provide an effective…

Software Engineering · Computer Science 2024-05-24 Aurora Ramírez , Mario Berrios , José Raúl Romero , Robert Feldt

Tool use, a hallmark feature of human intelligence, remains a challenging problem in robotics due the complex contacts and high-dimensional action space. In this work, we present a novel method to enable reinforcement learning of tool use…

Robotics · Computer Science 2023-08-02 Malte Mosbach , Sven Behnke

Target-oriented opinion words extraction (TOWE) (Fan et al., 2019b) is a new subtask of target-oriented sentiment analysis that aims to extract opinion words for a given aspect in text. Current state-of-the-art methods leverage position…

Computation and Language · Computer Science 2021-09-06 Samuel Mensah , Kai Sun , Nikolaos Aletras

Online harassment is a significant social problem. Prevention of online harassment requires rapid detection of harassing, offensive, and negative social media posts. In this paper, we propose the use of word embedding models to identify…

Machine Learning · Computer Science 2019-11-19 Anqi Liu , Maya Srikanth , Nicholas Adams-Cohen , R. Michael Alvarez , Anima Anandkumar

Graph Representation Learning (GRL) methods opened new avenues for addressing complex, real-world problems represented by graphs. However, many graphs used in these applications comprise millions of nodes and billions of edges and are…

The need for large text corpora has increased with the advent of pretrained language models and, in particular, the discovery of scaling laws for these models. Most available corpora have sufficient data only for languages with large…

Computation and Language · Computer Science 2025-03-05 Amir Hossein Kargaran , François Yvon , Hinrich Schütze

An approach to clustering is presented that adapts the basic top-down induction of decision trees method towards clustering. To this aim, it employs the principles of instance based learning. The resulting methodology is implemented in the…

Machine Learning · Computer Science 2007-05-23 Hendrik Blockeel , Luc De Raedt , Jan Ramon

Several successful strategies in automated reasoning rely on human-supplied guidance about which term or clause shapes are interesting. In this paper we aim to discover interesting term shapes automatically. Specifically, we discover…

Logic in Computer Science · Computer Science 2026-03-10 Guy Axelrod , Moa Johansson , Nicholas Smallbone

The increasing complexity of large-scale language models has amplified concerns regarding their interpretability and reusability. While traditional embedding models like Word2Vec and GloVe offer scalability, they lack transparency and often…

Machine Learning · Computer Science 2025-05-23 Ahmed K. Kadhim , Lei Jiao , Rishad Shafik , Ole-Christoffer Granmo
‹ Prev 1 3 4 5 6 7 10 Next ›