English
Related papers

Related papers: A new operational representation of dependencies i…

200 papers

We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of simultaneity is built in, since when a…

Logic in Computer Science · Computer Science 2009-01-05 Rob van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke

We describe a new semantic parsing setting that allows users to query the system using both natural language questions and actions within a graphical user interface. Multiple time series belonging to an entity of interest are stored in a…

Computation and Language · Computer Science 2019-05-02 Charles Chen , Razvan Bunescu

A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that…

Logic in Computer Science · Computer Science 2015-07-01 Jonathan Hayman , Glynn Winskel

Identifying temporal relations between events is an essential step towards natural language understanding. However, the temporal relation between two events in a story depends on, and is often dictated by, relations among other events.…

Computation and Language · Computer Science 2019-06-13 Qiang Ning , Zhili Feng , Dan Roth

Constituent and dependency representation for syntactic structure share a lot of linguistic and computational characteristics, this paper thus makes the first attempt by introducing a new model that is capable of parsing constituent and…

Computation and Language · Computer Science 2019-09-27 Junru Zhou , Shuailiang Zhang , Hai Zhao

Relation extraction is a central task in natural language processing (NLP) and information retrieval (IR) research. We argue that an important type of relation not explored in NLP or IR research to date is that of an event being an argument…

Computation and Language · Computer Science 2023-04-05 Ruiqi Li , Patrik Haslum , Leyang Cui

Networks represent relationships between entities in many complex systems, spanning from online social interactions to biological cell development and brain connectivity. In many cases, relationships between entities are unambiguously…

Social and Information Networks · Computer Science 2018-01-23 Ivan Brugere , Brian Gallagher , Tanya Y. Berger-Wolf

We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by…

Logic in Computer Science · Computer Science 2012-08-15 Stephan Mennicke

We present a new framework for compositional distributional semantics in which the distributional contexts of lexemes are expressed in terms of anchored packed dependency trees. We show that these structures have the potential to capture…

Computation and Language · Computer Science 2016-08-26 David Weir , Julie Weeds , Jeremy Reffin , Thomas Kober

Recent works show that discourse analysis benefits from modeling intra- and inter-sentential levels separately, where proper representations for text units of different granularities are desired to capture both the meaning of text units and…

Computation and Language · Computer Science 2022-05-05 Yifei Zhou , Yansong Feng

Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. This is of special interest in process mining, where event data…

Logic in Computer Science · Computer Science 2023-06-13 Sander J. J. Leemans , Fabrizio M. Maggi , Marco Montali

In this paper, we study the problem of parsing structured knowledge graphs from textual descriptions. In particular, we consider the scene graph representation that considers objects together with their attributes and relations: this…

Computation and Language · Computer Science 2018-03-28 Yu-Siang Wang , Chenxi Liu , Xiaohui Zeng , Alan Yuille

We show how a particular variety of hierarchical nets, where the firing of a transition in the parent net must correspond to an execution in some child net, can be modelled utilizing a functorial semantics from a free category --…

Category Theory · Mathematics 2021-12-22 Fabrizio Romano Genovese , Jelle Herold , Fosco Loregian , Daniele Palombi

Recent progress on parse tree encoder for sentence representation learning is notable. However, these works mainly encode tree structures recursively, which is not conducive to parallelization. On the other hand, these works rarely take…

Computation and Language · Computer Science 2022-05-10 Junhua Ma , Jiajun Li , Yuxuan Liu , Shangbo Zhou , Xue Li

We introduce a new class of latent process models for dynamic relational network data with the goal of detecting time-dependent structure. Network data are often observed over time, and static network models for such data may fail to…

Methodology · Statistics 2013-11-15 Lucy F. Robinson , Carey E. Priebe

This paper introduces a novel framework for modeling temporal events with complex longitudinal dependency that are generated by dependent sources. This framework takes advantage of multidimensional point processes for modeling time of…

Machine Learning · Statistics 2016-10-04 Seyed Abbas Hosseini , Ali Khodadadi , Soheil Arabzade , Hamid R. Rabiee

Event Structures (ESs) are mainly concerned with the representation of causal relationships between events, usually accompanied by other event relations capturing conflicts and disabling. Among the most prominent variants of ESs are Prime…

Logic in Computer Science · Computer Science 2013-07-30 Youssef Arbach , Kirstin Peters , Uwe Nestmann

Entity linking, the task of mapping textual mentions to known entities, has recently been tackled using contextualized neural networks. We address the question whether these results -- reported for large, high-quality datasets such as…

Computation and Language · Computer Science 2020-05-20 Nadja Kurz , Felix Hamann , Adrian Ulges

Reversible computing is a new paradigm that has emerged recently and extends the traditional forwards-only computing mode with the ability to execute in backwards, so that computation can run in reverse as easily as in forward. Two…

Formal Languages and Automata Theory · Computer Science 2023-09-07 Nataliya Gribovskaya , Irina Virbitskaite

We analyze a timed Petri net model of an emergency call center which processes calls with different levels of priority. The counter variables of the Petri net represent the cumulated number of events as a function of time. We show that…

Optimization and Control · Mathematics 2015-08-26 Xavier Allamigeon , Vianney Bœuf , Stéphane Gaubert