event structures
Using Category Theory to Explore and Model Label Event Structures
... The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To deal ...
12
A Linguistic Resource for Discovering Event Structures and Resolving Event Coreference
... the event structures mentioned in one document can be unified with other events by using inter- and intra-document coreference annotations (see Figure 2); and (3) var- ious topics about specific events can ...
7
CaTeRS: Causal and Temporal Relation Scheme for Semantic Annotation of Event Structures
... Learning commonsense causal and temporal relation between events is one of the major steps towards deeper language understanding. This is even more crucial for understanding stories and script learning. A prerequisite ...
11
A verified algorithm enumerating event structures
... for event structures inherit a similar amount of hardness: indeed, we are not aware of any theoretical results to count event structures which would avoid enumerating partial ...the ...
15
A Categorial Semantic Representation of Quantum Event Structures
... of structures varying over contexts, thus pro- viding a natural setting for studying contextuality ...quantum event structures in terms of Boolean localization contexts can be described by means of a ...
35
Integrating Decompositional Event Structures into Storylines
... an event that is con- strued as occurring in an “instant” (The bridge col- lapsed) may also be construed as occurring over an interval (The bridge is ...the event interval, but for a finer-grained temporal ...
12
Integrating Generative Lexicon Event Structures into VerbNet
... Minor changes had been made to VerbNet’s semantic repre- sentations, such as adding new semantic predicates, consol- idating similar predicates, and standardizing the types and number of arguments particular predicates ...
6
Event Extraction as Dependency Parsing
... extract event structures at sentence granularity, ...BioNLP’09 event representation to a graph (repre- senting a labeled dependency tree) as ...mentions, event anchors, and a virtual ROOT ...
10
Weaving true concurrent aspects using constraint solvers
... Abstract—Large system models usually consist of several sim- pler models that can be understood more easily. Making changes to the behaviour of a component will likely affect several models and could introduce accidental ...
10
Mind the gap : addressing behavioural inconsistencies with formal methods
... Abstract—In complex system design, it is important to con- struct several design models focusing on different aspects of a system to gain a better understanding of individual component structure and behaviour. Scenarios ...
8
Matching and merging scenarios automatically with Alloy
... Our automated technique follows three main steps. In the first step, multiple se- quence diagrams are automatically transformed into Alloy models. For each sequence diagram a unique Alloy model is produced which if ...
16
Twenty Years on: Reflections on the CEDISYS Project Combining True Concurrency with Process Algebra
... Process calculi include a parallel composition operator and a form of sequential composition. These operators specify respectively a concurrency and a causality relation between the actions of their components. However, ...
21
Correct composition of dephased behavioural models
... used event structures [25] as an underlying semantics for sequence diagrams in accordance to [14,5], and explored how the theorem prover Isabelle [17] and constraint solver Z3 [16] could be combined to ...
18
A Logical Framework for Reputation Systems
... on event structures; a declarative logical lan- guage for specifying properties of past behaviour; and efficient dynamic algorithms for checking whether a particular behaviour satisfies a property from the ...
40
Modeling Document level Causal Structures for Event Causal Relation Identification
... the event causal relations in a document, both within a sentence and across sentences, which is important for reconstructing pivotal event ...1) event causal relations are sparse among all possible ...
10
A revised inoceramid biozonation for the Upper Cretaceous based on high-resolution carbon isotope stratigraphy in northwestern Hokkaido, Japan
... relation, corresponds to the previous biostratigraphic in- terpretations (Matsumoto and Noda 1983; Noda 1984; Noda and Matsumoto 1998). The highest occurrence of I. teshioensis and the lowest occurrence of I. uwaji- ...
25
Historical Event Extraction from Text
... The current version of the system uses 22 pro- files to extract historical actions, based on semantic tagging by means of Wordnet and the specification of some compositional properties. Historical ac- tions are the most ...
5
Liquefaction Structures from a High Magnitude Paleoseismic Event at about 12,400 C14 Years BP in Southern Sweden
... paleoseismic event” of ...liquefaction structures observed in Hunnestad gravel pit are indicative a causational earth- quake in the order of M 8 or M > ...
12
Event horizon
... So when we’re engaged in those huge collective moments, not only is it easy to feel a real physical connection to people the other side of the world, we can also feel connected to peop[r] ...
12
Application of Genetic Algorithm for the Discovery of Hidden Temporal Patterns in Earthquakes Data
... Genetic algorithm is applied to earthquakes data for the year 2003-2004 in the Suez Gulf in Egypt, gathered from the Egyptian National Seismic Network. The objective of the study was not building a time series models ...
11