English
Related papers

Related papers: Proceedings 6th International Workshop on Computin…

200 papers

We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots and sprouts, which can be wired together to form edges. Drags…

Logic in Computer Science · Computer Science 2024-06-28 Nachum Dershowitz , Jean-Pierre Jouannaud , Fernando Orejas

This volume contains a selection of the papers presented at the 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'2011), held on 29 May 2011 in Novi Sad, Serbia. Previous editions of the workshop were…

Logic in Computer Science · Computer Science 2012-04-25 Santiago Escobar

Graph partitioning has long been seen as a viable approach to address Graph DBMS scalability. A partitioning, however, may introduce extra query processing latency unless it is sensitive to a specific query workload, and optimised to…

Databases · Computer Science 2016-06-24 Hugo Firth , Paolo Missier

In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is based on a partial order and a metric on term graphs. These…

Logic in Computer Science · Computer Science 2013-02-27 Patrick Bahr

This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th International…

Programming Languages · Computer Science 2010-01-27 Maribel Fernández

Graph representation learning (also known as network embedding) has been extensively researched with varying levels of granularity, ranging from nodes to graphs. While most prior work in this area focuses on node-level representation,…

Machine Learning · Computer Science 2023-06-05 Lili Wang , Chenghan Huang , Weicheng Ma , Xinyuan Cao , Soroush Vosoughi

This paper presents results of topic modeling and network models of topics using the International Conference on Computational Science corpus, which contains domain-specific (computational science) papers over sixteen years (a total of 5695…

Researchers have relegated natural language processing tasks to Transformer-type models, particularly generative models, because these models exhibit high versatility when performing generation and classification tasks. As the size of these…

Computation and Language · Computer Science 2025-04-04 Fabio Yáñez-Romero , Andrés Montoyo , Armando Suárez , Yoan Gutiérrez , Ruslan Mitkov

The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a…

Logic in Computer Science · Computer Science 2023-04-04 Clemens Grabmayer

The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language…

Programming Languages · Computer Science 2022-03-24 Marco Carbone , Rumyana Neykova

This is the first volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), a free international refereed open access venue for the rapid electronic publication of the proceedings of workshops and conferences, and of…

Computational Complexity · Computer Science 2009-10-13 Turlough Neary , Damien Woods , Anthony K. Seda , Niall Murphy

Graphs have often been used to answer questions about the interaction between real-world entities by taking advantage of their capacity to represent complex topologies. Complex networks are known to be graphs that capture such non-trivial…

Machine Learning · Computer Science 2022-06-03 Gabriel Spadon , Jose F. Rodrigues-Jr

Motivated by the increasing need to understand the distributed algorithmic foundations of large-scale graph computations, we study some fundamental graph problems in a message-passing model for distributed computing where $k \geq 2$…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-27 Gopal Pandurangan , Peter Robinson , Michele Scquizzato

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to…

Category Theory · Mathematics 2012-03-23 Aleks Kissinger

Many real-world systems exhibit temporal, dynamic behaviors, which are captured as time series of complex agent interactions. To perform temporal reasoning, current methods primarily encode temporal dynamics through simple sequence-based…

Machine Learning · Computer Science 2024-01-09 Paridhi Maheshwari , Hongyu Ren , Yanan Wang , Rok Sosic , Jure Leskovec

Graphs are data structures used to represent irregular networks and are prevalent in numerous real-world applications. Previous methods directly model graph structures and achieve significant success. However, these methods encounter…

Machine Learning · Computer Science 2025-01-03 Shuo Yu , Yingbo Wang , Ruolin Li , Guchun Liu , Yanming Shen , Shaoxiong Ji , Bowen Li , Fengling Han , Xiuzhen Zhang , Feng Xia

Graph translation is very promising research direction and has a wide range of potential real-world applications. Graph is a natural structure for representing relationship and interactions, and its translation can encode the intrinsic…

Machine Learning · Computer Science 2021-03-17 Tianxiang Zhao , Xianfeng Tang , Xiang Zhang , Suhang Wang

Graph reordering is a powerful technique to increase the locality of the representations of graphs, which can be helpful in several applications. We study how the technique can be used to improve compression of graphs and inverted indexes.…

Data Structures and Algorithms · Computer Science 2017-09-04 Laxman Dhulipala , Igor Kabiljo , Brian Karrer , Giuseppe Ottaviano , Sergey Pupyrev , Alon Shalita

Graph is an important data representation which appears in a wide diversity of real-world scenarios. Effective graph analytics provides users a deeper understanding of what is behind the data, and thus can benefit a lot of useful…

Artificial Intelligence · Computer Science 2018-02-05 Hongyun Cai , Vincent W. Zheng , Kevin Chen-Chuan Chang

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…

Computational Complexity · Computer Science 2010-06-04 Xizhong Zheng , Ning Zhong