A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Filters
EVL: a typed functional language for event processing
[article]
2021
arXiv
pre-print
We define EVL, a minimal higher-order functional language to deal with generic events. ...
Event specifications are represented as records and we use polymorphic record types to type events in EVL. ...
The EVL typed language In this section we introduce EVL, a minimalistic typed language to specify events. ...
arXiv:2109.08960v2
fatcat:mvqi7x5uhbavxd4nbrjagbcj5e
SherLIiC: A Typed Event-Focused Lexical Inference Benchmark for Evaluating Natural Language Inference
2019
Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics
We evaluate a number of strong baselines on SherLIiC, ranging from semantic vector space models to state of the art neural models of natural language inference (NLI). ...
We present SherLIiC, 1 a testbed for lexical inference in context (LIiC), consisting of 3985 manually annotated inference rule candidates (InfCands), accompanied by (i)~960k unlabeled InfCands, and (ii ...
Acknowledgments We gratefully acknowledge a Ph.D. scholarship awarded to the first author by the German Academic Scholarship Foundation (Studienstiftung des deutschen Volkes). ...
doi:10.18653/v1/p19-1086
dblp:conf/acl/SchmittS19
fatcat:jhtrwibcojg3thcrmefl6y6rli
Using communicative approach in the learning process
2022
Ренессанс в парадигме новаций образования и технологий в XXI веке
The article is devoted to the consideration of the communicative approach in the practice of teaching English as a foreign language. ...
The purpose of the communicative approach is to teach how to use the studied foreign language as a means of constructive communication, depending on the goals and objectives of communication, participants ...
It is the exercises performed that allow you to accumulate language knowledge and serve as a practice for their use in various forms of communication. ...
doi:10.47689/innovations-in-edu-vol-iss1-pp175-176
fatcat:go42ibtomvgcjbpw5qtvk6vq3i
The value and effectiveness of new technologies in foreign language teaching
2022
Ренессанс в парадигме новаций образования и технологий в XXI веке
As a result, it should be noted that these methods can help students learn another language and speak it fluently. ...
The article discusses the new types of pedagogical methods in English teaching, as well as the methods for implementing them in the classroom, as well as the practical importance of effective method use ...
for knowledge in the student. ...
doi:10.47689/innovations-in-edu-vol-iss1-pp184-185
fatcat:lnluedx2r5cxfno52knzq4hjh4
Modern english teachers – innovators
2022
Ренессанс в парадигме новаций образования и технологий в XXI веке
To start with, the word innovation has been quite a buzzword across-the-board and in the context of ELT in particular. ...
In October 2020 a presidential decree, a 10-year agenda, was passed in Uzbekistan to bolster the efforts of promoting the learning and teaching of foreign languages specifically English language which ...
The answer may be quite tricky for the traditional impression and image of a teacher is no longer valid. As a matter of fact, teacher-centered and deductive approaches are out of fashion. ...
doi:10.47689/innovations-in-edu-vol-iss1-pp128-129
fatcat:7qrpzaednfhphcscrsa2kw76ei
A Model for the Semantics of Attack Signatures in Misuse Detection Systems
[chapter]
2004
Lecture Notes in Computer Science
Zimmer et al [9] have developed a Meta-Model for the semantics of complex events in Active Database systems. ...
The model for the semantics of attack signatures represents a kind of a checklist for the development of a signature specification language or for the comparison of existing signature specification languages ...
Only a few languages provide a conjunction operator for the definition of the event pattern. ...
doi:10.1007/978-3-540-30144-8_14
fatcat:pgjma6fxtrem5b7tdm52si42m4
Developing A New Language to Construct Algebraic Hierarchies for Event-B
[chapter]
2018
Lecture Notes in Computer Science
Our contribution is a new language, called B , which includes the additional features of type classes and sub-typing. ...
This paper proposes a new extension to the Event-B modelling method to facilitate the building of hierarchical mathematical libraries to ease the formal modelling of many systems. ...
The Event-B modelling language is supported by the Rodin Platform [2] ,
Developing A New Language to Construct Algebraic Hierarchies for Event-B 3 an open and extensible toolset for constructing formal ...
doi:10.1007/978-3-319-99933-3_9
fatcat:xf7ihef5l5gqjl2rgfwj7bh7aa
The features of the english newspaper style
2022
Zamonaviy lingvistik tadqiqotlar: xorijiy tajribalar, istiqbolli izlanishlar va tillarni o'qitishning innovatsion usullari
"The news media select events for reporting according to a complex set of criteria of news worthiness; so news is not simply that which happens, but that which can be regarded and presented as newsworthy ...
The Language of Newspapers. Routledge. 1998 3. Rich C. Writing and Reporting News: A Coaching Method. Cengage Learning. 2010. 4. ...
doi:10.47689/linguistic-research-vol-iss1-pp20-21
fatcat:35her2gsw5bdje4jurzjctc4aq
Event Extraction for Balkan Languages
2014
Proceedings of the Demonstrations at the 14th Conference of the European Chapter of the Association for Computational Linguistics
The system classifies the events according to a finegrained event type set. ...
We describe a system for real-time detection of security and crisis events from online news in three Balkan languages: Turkish, Romanian and Bulgarian. ...
Acknowledgments This study is supported in part by a postdoctoral research grant from TÜBİTAK and by the Dutch national program COMMIT. ...
doi:10.3115/v1/e14-2017
dblp:conf/eacl/ZavarellaKTH14
fatcat:lrcacahvhngnnaafo4bqnuktbq
Towards a Framework for Comparing Process Modelling Languages
[chapter]
2002
Lecture Notes in Computer Science
We suggest a framework to solve this problem involving several instruments: a general process metamodel with a table, an analysis of the event concept, and a classification of concepts according to the ...
This framework can be used for several purposes, such as translating between languages or verifying that relevant organisational aspects have been captured. ...
Using the event types described above in a language analysis, some conclusions can be drawn about the languages and their use of the event concept. ...
doi:10.1007/3-540-47961-9_41
fatcat:qqhcabdupnhbde67wxni7xog5u
Discursive analysis of political discourse
2022
Ренессанс в парадигме новаций образования и технологий в XXI веке
Discourse is defined as a process of real-life communication in which systemic linguistic qualities, degree of spontaneity and completeness, thematic coherence, and clarity for other people play a significant ...
It is critical that they belong to a social group and speak in a normal manner. ...
The type of public institution, which is defined by a special term in the collective consciousness of the language and generalized in the fundamental concepts of this institution, in particular, the functioning ...
doi:10.47689/innovations-in-edu-vol-iss1-pp34-36
fatcat:7ks3qj4ognfgzll6xpcgz2md54
SHEDEL — A Simple Hierarchical Event Description Language for Specifying Attack Signatures
[chapter]
2002
IFIP Advances in Information and Communication Technology
A main problem for the detection of security violations in misuse detection systems is the manner how attack scenarios (signatures) are described. ...
Attack languages are used to specify attack scenarios for misuse detection systems. ...
For example, for a signature searching for failed logins in a Windows NT environment ten different types of event log records (NT event id's 529 -539 w/o 538) have to be considered. ...
doi:10.1007/978-0-387-35586-3_44
fatcat:ui3pncmiizhajjndse5f54ytyu
TED---a language for modeling telecommunication networks
1998
Performance Evaluation Review
TED is a language designed mainly for modeling telecommunication networks. The TED language specification is separated into two parts --(1) a meta language (2) an external language. ...
In this document, we present an introduction to the TED language, along with a brief tutorial using an example model of a simple ATM multiplexer. ...
Any number of event types can be specified in the list of event types for defining a channel type. ...
doi:10.1145/274084.274085
fatcat:p6yueoid3ndpxew6sdf6oplcc4
Modularizing crosscutting concerns with ptolemy
2011
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11
Events are announced explicitly and declaratively. Event types allow for compile-time errors and avoid the fragile pointcut problem of aspect-oriented languages. ...
Ptolemy's quantified, typed events provide a flexible quantification mechanism that acts as a declarative interface between object-oriented code and crosscutting code. ...
AO techniques. • Event types allow for specifying a contract between subjects and observers. ...
doi:10.1145/2048147.2048163
dblp:conf/oopsla/RajanMLDFDW11
fatcat:tbxz6twrzvcojbwapuqpuxhrua
A Review on Motion Event from a Typological Perspective
2018
Theory and Practice in Language Studies
In light of the lexicalization patterns as proposed by Talmy (1985, 1991, 2000) and Slobin's "Thinking for Speaking" hypothesis (1991, 1996, 2000), this paper provides a review on motion event from a typological ...
Also, a constellation of studies on the classification of Chinese in motion event typology has been presented and discussed. ...
ACKNOWLEDGEMENTS This study is supported by "the Fundamental Research Funds for the Central Universities" (Project No.: SWU1609301). ...
doi:10.17507/tpls.0811.11
fatcat:4cz6bznlq5dxvldsormdm3thra
« Previous
Showing results 1 — 15 out of 1,183,744 results