Filters








1,183,744 Hits in 4.7 sec

EVL: a typed functional language for event processing [article]

Sandra Alves and Maribel Fernández and Miguel Ramos
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

Martin Schmitt, Hinrich Schütze
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

N Jumamuratova
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

I Zarlikov, A Boltaboyeva
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

F Akbarov
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]

Michael Meier
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]

James Snook, Michael Butler, Thai Son Hoang
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

G Saparbayeva, Sh Jumaniyozova
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

Vanni Zavarella, Dilek Kucuk, Hristo Tanev, Ali Hürriyetoğlu
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]

Eva Söderström, Birger Andersson, Paul Johannesson, Erik Perjons, Benkt Wangler
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

D Mamirbaeva, J Janabaeva
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]

Michael Meier, Niels Bischof, Thomas Holz
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

Kalyan Perumalla, Richard Fujimoto, Andrew Ogielski
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

Hridesh Rajan, Sean Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter
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

Xinxin Shan
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