Relevant bibliographies by topics / Substitution Semantics

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Substitution Semantics'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Substitution Semantics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Substitution Semantics"

1

Poutiainen, Hannu. "Self-Re-Interpretations (Of the Trace): From Restricted to General Substitutability." Derrida Today 8, no. 2 (November 2015): 156–74. http://dx.doi.org/10.3366/drt.2015.0108.

Full text
Abstract:
This article elaborates on Christopher Norris's claim that certain aspects of Derrida's work are amenable to formalisation in modal-logical terms. Norris contends that any adequate analysis of the logic behind Derrida's work must provide an account of the notions of possibility, necessity, and necessary possibility, particularly as they are related to Derrida's notion of iterability. This article examines the further hypothesis that Derrida's understanding of modality, according to which possibilities must be accounted for even if they are never realised, might even better be described in term
APA, Harvard, Vancouver, ISO, and other styles
2

Tretyakova, Irina Y. "Peculiarities of occasional substitution in phraseological units with a colour-component." Verhnevolzhski Philological Bulletin 2, no. 25 (2021): 55–63. http://dx.doi.org/10.20323/2499-9679-2021-2-25-55-63.

Full text
Abstract:
The article is devoted to occasional transformations of phraseological units in the modern Russian language. The relevance of the study is based on the attention of scientists to the problems of variability of language units in speech. The novelty of the study is based on insufficient knowledge about transformation capacity of idioms from various thematic, phraseological and semantic groups and fields. One of the groups unites idioms with the colour-component featuring semantic peculiarities, which determine specific transforming processes. The article studies transformations of phraseological
APA, Harvard, Vancouver, ISO, and other styles
3

BOUDOL, GÉRARD, PIERRE-LOUIS CURIEN, and CAROLINA LAVATELLI. "A semantics for lambda calculi with resources." Mathematical Structures in Computer Science 9, no. 4 (August 1999): 437–82. http://dx.doi.org/10.1017/s0960129599002893.

Full text
Abstract:
We present the λ-calculus with resources λr, and two variants of it: a deterministic restriction λm and an extension λcr with a convergence testing operator. These calculi provide a control on the substitution process – deadlocks may arise if not enough resources are available to carry out all the substitutions needed to pursue a computation. The design of these calculi was motivated by Milner's encoding of the λ-calculus in the π-calculus. As Boudol and Laneve have shown elsewhere, the discriminating power of λm (given by the contextual observational equivalence) over λ-terms coincides with t
APA, Harvard, Vancouver, ISO, and other styles
4

Yamasaki, Susumu, Mikio Yoshida, and Shuji Doshita. "A fixpoint semantics of Horn sentences based on substitution sets." Theoretical Computer Science 51, no. 3 (1987): 309–24. http://dx.doi.org/10.1016/0304-3975(87)90039-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

AHRENS, BENEDIKT. "Modules over relative monads for syntax and semantics." Mathematical Structures in Computer Science 26, no. 1 (December 5, 2014): 3–37. http://dx.doi.org/10.1017/s0960129514000103.

Full text
Abstract:
We give an algebraic characterization of the syntax and semantics of a class of untyped functional programming languages.To this end, we introduce a notion of 2-signature: such a signature specifies not only the terms of a language, but also reduction rules on those terms. To any 2-signature (S, A) we associate a category of ‘models’. We then prove that this category has an initial object, which integrates the terms freely generated by S, and which is equipped with reductions according to the rules given in A. We call this initial object the programming language generated by (S, A). Models of
APA, Harvard, Vancouver, ISO, and other styles
6

KAMAREDDINE, FAIROUZ. "THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES." International Journal of Foundations of Computer Science 09, no. 03 (September 1998): 321–49. http://dx.doi.org/10.1142/s0129054198000210.

Full text
Abstract:
We show the soundness of a λ-calculus ℬ where de Bruijn indices are used, substitution is explicit, and reduction is step-wise. This is done by interpreting ℬ in the classical calculus where the explicit substitution becomes implicit and de Bruijn indices become named variables. This is the first flat semantics of explicit substitution and step-wise reduction and the first clear account of exactly when α-reduction is needed.
APA, Harvard, Vancouver, ISO, and other styles
7

GORDON, ANDREW D., PAUL D. HANKIN, and SØREN B. LASSEN. "Compilation and equivalence of imperative objects." Journal of Functional Programming 9, no. 4 (July 1999): 373–426. http://dx.doi.org/10.1017/s0956796899003482.

Full text
Abstract:
We adopt the untyped imperative object calculus of Abadi and Cardelli as a minimal setting in which to study problems of compilation and program equivalence that arise when compiling object-oriented languages. We present both a big-step and a small-step substitution-based operational semantics for the calculus. Our first two results are theorems asserting the equivalence of our substitution-based semantics with a closure-based semantics like that given by Abadi and Cardelli. Our third result is a direct proof of the correctness of compilation to a stack-based abstract machine via a small-step
APA, Harvard, Vancouver, ISO, and other styles
8

Maziarz, Marek, Stanisław Szpakowicz, and Maciej Piasecki. "Semantic relations among adjectives in Polish WordNet 2.0: a new relation set, discussion and evaluation." Cognitive Studies | Études cognitives, no. 12 (November 24, 2015): 149–79. http://dx.doi.org/10.11649/cs.2012.011.

Full text
Abstract:
Semantic relations among adjectives in Polish WordNet 2.0: a new relation set, discussion and evaluationAdjectives in wordnets are often neglected: there are many fewer of them than nouns, and relations among them are sometimes not as varied as those among nouns or verbs. Polish WordNet 1.0 was no exception. Version 2.0 aims to correct that. We present an overview of a much larger set of lexical-semantic relations which connect adjectives to the other parts of the network. Our choice of relations has been motivated by linguistic considerations, especially the concerns of the Polish lexical sem
APA, Harvard, Vancouver, ISO, and other styles
9

Fontaine, Matthieu. "Singular Terms, Identity, and the Creation of Fictional Characters." Disputatio 11, no. 54 (December 1, 2019): 207–29. http://dx.doi.org/10.2478/disp-2019-0017.

Full text
Abstract:
Abstract How to interpret singular terms in fiction? In this paper, we address this semantic question from the perspective of the Artifactual Theory of Fiction (ATF). According to the ATF, fictional characters exist as abstract artifacts created by their author, and preserved through the existence of copies of an original work and a competent readership. We pretend that a well-suited semantics for the ATF can be defined with respect to a modal framework by means of Hintikka’s world lines semantics. The question of the interpretation of proper names is asked in relation to two inference rules,
APA, Harvard, Vancouver, ISO, and other styles
10

Afanasyeva, Olesya. "Analysis Of Aspects Of Messages Hiding In Text Environments." Journal of KONBiN 34, no. 1 (September 1, 2015): 5–16. http://dx.doi.org/10.1515/jok-2015-0019.

Full text
Abstract:
Abstract In the work are researched problems, which arise during hiding of messages in text environments, being transmitted by electronic communication channels and the Internet. The analysis of selection of places in text environment (TE), which can be replaced by word from the message is performed. Selection and replacement of words in the text environment is implemented basing on semantic analysis of text fragment, consisting of the inserted word, and its environment in TE. For implementation of such analysis is used concept of semantic parameters of words coordination and semantic value of
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Substitution Semantics"

1

Elgedawy, Islam Moukhtar, and islam_elgedawy@yahoo com au. "Correctness-Aware High-Level Functional Matching Approaches For Semantic Web Services." RMIT University. Computer Science and Information Technology, 2007. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20070511.162143.

Full text
Abstract:
Existing service matching approaches trade precision for recall, creating the need for humans to choose the correct services, which is a major obstacle for automating the service matching and the service aggregation processes. To overcome this problem, the matchmaker must automatically determine the correctness of the matching results according to the defined users' goals. That is, only service(s)-achieving users' goals are considered correct. This requires the high-level functional semantics of services, users, and application domains to be captured in a machine-understandable format. Also th
APA, Harvard, Vancouver, ISO, and other styles
2

Eades, Harley D. III. "The semantic analysis of advanced programming languages." Diss., University of Iowa, 2014. https://ir.uiowa.edu/etd/1312.

Full text
Abstract:
We live in a time where computing devices power essential systems of our society: our automobiles, our airplanes and even our medical services. In these safety-critical systems, bugs do not just cost money to fix; they have a potential to cause harm, even death. Therefore, software correctness is of paramount importance. Existing mainstream programming languages do not support software verification as part of their design, but rely on testing, and thus cannot completely rule out the possibility of bugs during software development. To fix this problem we must reshape the very foundation on whic
APA, Harvard, Vancouver, ISO, and other styles
3

Brage, Jens. "A Natural Interpretation of Classical Proofs." Doctoral thesis, Stockholm : Dept. of mathematics, Stockholm university, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-913.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Więckowski, Bartosz. "Modality without reference an alternative semantics for substitutional quantified modal logic and its philosophical significance /." [S.l. : s.n.], 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bourget, Anne-Laure. "La parole voilée : musiques de louange chez les Bwaba du Burkina Faso." Thesis, Tours, 2013. http://www.theses.fr/2013TOUR2006/document.

Full text
Abstract:
Les Bwaba du Burkina Faso montrent une grande prédilection, dans leur expression orale, pour un recours à l’implicite consistant à dissimuler la parole au moyen des sons de leurs xylophones. Cette dissimulation s’exerce principalement à propos des identités individuelles et collectives. C’est là une façon, pour eux, de masquer leur pensée tout en la dévoilant, afin de susciter à tout moment chez leurs auditeurs l’éveil de l’esprit, le questionnement, la curiosité. Ils disposent à cet effet de deux genres musicaux différenciés, tous deux dévolus à la louange, dont chacun forme un corpus spécifi
APA, Harvard, Vancouver, ISO, and other styles
6

Novák, Ján. "Automatická tvorba tezauru z wikipedie." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236964.

Full text
Abstract:
This thesis deals with automatic acquiring thesauri from Wikipedia. It describes Wikipedia as a suitable data set for thesauri acquiring and also methods for computing semantic similarity of terms are described. The thesis also contains a description of concepts and implementation of the system for automatic thesauri acquiring. Finally, the implemented system is evaluated by the standard metrics, such as precision or recall.
APA, Harvard, Vancouver, ISO, and other styles
7

Farhad, Etezadi Ghovanlou. "Étude des stratégies linguistiques de locuteurs de français L1 et d'apprenants étrangers lors de la prise de notes en français : perspectives en didactique des langues." Thesis, Aix-Marseille 1, 2011. http://www.theses.fr/2011AIX10162.

Full text
Abstract:
Cette thèse se propose d’étudier les différents types de traitement utilisés par des locuteurs de français L1 et des apprenants étrangers de français lors de la prise de notes dans cette langue, à partir du discours oral magistral. Ce travail qui s’inscrit dans une perspective psycholinguistique vise à analyser la conformité et la fidélité sémantique et formelle des textes-cibles (les productions) par rapport au texte-source (le discours émis). Le cadre théorique de la thèse analyse différentes approches et taxinomies relatives aux stratégies communicatives en langue étrangère, notamment celle
APA, Harvard, Vancouver, ISO, and other styles
8

Dali, Narjes. "Syntaxe et sémantique de IT référentiel en anglais contemporain." Phd thesis, Université de la Sorbonne nouvelle - Paris III, 2011. http://tel.archives-ouvertes.fr/tel-01065959.

Full text
Abstract:
Partant du constat que le pronom IT connaît, en anglais contemporain, une grande richesse d'emplois, cette thèse propose une étude de IT référentiel et vise à examiner ses fonctions, son positionnement phrastique et son pouvoir référentiel. Ce pronom occupe toutes les places syntaxiques au sein de la phrase. Il a la spécificité de renvoyer à une entité beaucoup plus complexe qu'un groupe nominal. De plus, le rapport de IT avec ses antécédents est au cœur de cette étude qui examine aussi les différents facteurs jouant un rôle dans l'identification du bon référent où la présence textuelle ou sit
APA, Harvard, Vancouver, ISO, and other styles
9

Sánchez, Álvarez Daniel. "Elementos de Semántica Denotacional de Lenguajes de Programación con Datos Borrosos." Doctoral thesis, Universidad de Murcia, 1999. http://hdl.handle.net/10803/10932.

Full text
Abstract:
A fin de diseñar e implementar lenguajes de programación que tengan en cuenta el paradigma borroso modificaremos el lambda cálculo clásico, adjuntando a cada término un grado, y redefiniendo la beta-reducción, obteniendo que para que el nuevo cálculo verifique la propiedad de Church-Rosser la transmisión de los grados debe hacerse por medio de una función que sea una t-norma o s-conorma. Utilizando esta nueva herramienta diseñamos un lenguaje no determinista que satisface los requerimientos de la programación con datos borrosos.<br>With the aim of designing and implementing programming languag
APA, Harvard, Vancouver, ISO, and other styles
10

Więckowski, Bartosz [Verfasser]. "Modality without reference : an alternative semantics for substitutional quantified modal logic and its philosophical significance / vorgelegt von Bartosz Wiȩckowski." 2007. http://d-nb.info/983714568/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Substitution Semantics"

1

Šabršula, Jan. Substitution, répresentation, diaphore. Praha: Univerzita Karlova, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Saul, Jennifer Mather. Simple sentences, substitution, and intuitions. Oxford: Oxford University Press, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Die Substitution von singulären Termen in opaquen Kontexten, oder, wie schwierig es ist, über die Einstellungen von anderen Menschen zu sprechen. Tübingen: Narr, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Saul, Jennifer M. Simple Sentences, Substitution, and Intuitions. Oxford University Press, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Forbes, Graeme. Content and Theme in Attitude Ascriptions. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198732570.003.0005.

Full text
Abstract:
This chapter addresses a less-commonly discussed substitution failure in attitude ascriptions: a “that”-clause and its corresponding proposition description cannot in general be interchanged in the scope of psych-verbs, despite the standard view that the two forms refer to the same proposition. For example, “Holmes suspects that Moriarty has returned” and “Holmes suspects the proposition that Moriarty has returned” mean something quite different. The chapter accounts for these data in the framework of neo-Davidsonian semantics, arguing that substitution does not simply change the syntactic cat
APA, Harvard, Vancouver, ISO, and other styles
6

Asudeh, Ash, and Gianluca Giorgolo. Enriched Meanings. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198847854.001.0001.

Full text
Abstract:
This book presents a theory of enriched meanings for natural language interpretation. Certain expressions that exhibit complex effects at the semantics/pragmatics boundary live in an enriched meaning space while others live in a more basic meaning space. These basic meanings are mapped to enriched meanings just when required compositionally, which avoids generalizing meanings to the worst case. The theory is captured formally using monads, a concept from category theory. Monads are also prominent in functional programming and have been successfully used in the semantics of programming language
APA, Harvard, Vancouver, ISO, and other styles
7

Sorensen, Roy A. Semantic Paradoxes. Edited by Michael Glanzberg. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199557929.013.26.

Full text
Abstract:
All abstracts over-simplify. But the truth is close to the following: the ancient Greeks, true to stereotype, pioneered semantic paradoxes. There was no indigenous awareness of them east of the Euphrates River. They emerged piecemeal from the Greek love of irony and holistically from the Greek ambition to encompass the whole Truth. After the Greeks there is mostly regress until Thomas Aquinas. After a couple of outstanding centuries, there is decline until twentieth-century advances in logic. These advances have been consolidated by the computer revolution. We are now in an unusual stage of hi
APA, Harvard, Vancouver, ISO, and other styles
8

Sainsbury, Mark. Thinking about Things. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198803348.001.0001.

Full text
Abstract:
In the blink of an eye, I can redirect my thought from London to Cairo, from cookies to unicorns, from former President Obama to the mythical flying horse, Pegasus. How is this possible? How can we think about things that do not exist, like unicorns and Pegasus? Thinking About Things addresses these and related questions, taking as its framework a representational theory of mind. It explains how mental states are attributed, what their aboutness consists in, whether or not they are relational, and whether any of them involve nonexistent things like unicorns. The explanation centers on display
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Substitution Semantics"

1

Dijkstra, Edsger W., and Carel S. Scholten. "On substitution and replacement." In Predicate Calculus and Program Semantics, 11–16. New York, NY: Springer New York, 1990. http://dx.doi.org/10.1007/978-1-4612-3228-5_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Liefke, Kristina. "A Compositional Pluralist Semantics for Extensional and Attitude Verbs." In Language, Cognition, and Mind, 25–42. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-50200-3_2.

Full text
Abstract:
AbstractWe propose a new account of linguistic content that reconciles content-pluralism with compositionality. This is achieved by integrating truth-conditional content and attitude report content into a single notion of content. A parametrized version of this notion (with parameters for agents, times, and information states) serves as input to the compositional semantic machinery. By supplying different parameter-values to the parametrized contents of their complements, different verbs select for different components of the complement’s integrated content. The resulting account explains the different substitution properties of extensional and attitude constructions and captures the role of agents’ epistemicperspective in the determination of attitude content. The account improves upon other accounts of truth-conditional and attitude content (esp. two-dimensional semantics) by interpreting different occurrences of an expression—in extensional and in attitude embeddings—as objects of the same semantic type, and by explaining the substitution-resistance of attitudinal embeddings of extensional constructions.
APA, Harvard, Vancouver, ISO, and other styles
3

Rahat, Amir, Nissim Francez, and Oded Shmueli. "On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs." In Lecture Notes in Computer Science, 454–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/bfb0018459.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Elgedawy, Islam. "A Context-Sensitive Approach for Ontology Mapping Using Concepts Substitution Semantics." In Lecture Notes in Electrical Engineering, 323–28. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-90-481-9794-1_61.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

van Bakel, Steffen, and Maria Grazia Vigliotti. "An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus." In Lecture Notes in Computer Science, 372–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33475-7_26.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pientka, Brigitte, and Ulrich Schöpp. "Semantical Analysis of Contextual Types." In Lecture Notes in Computer Science, 502–21. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_26.

Full text
Abstract:
AbstractWe describe a category-theoretic semantics for a simply typed variant of Cocon, a contextual modal type theory where the box modality mediates between the weak function space that is used to represent higher-order abstract syntax (HOAS) trees and the strong function space that describes (recursive) computations about them. What makes Cocon different from standard type theories is the presence of first-class contexts and contextual objects to describe syntax trees that are closed with respect to a given context of assumptions. Following M. Hofmann’s work, we use a presheaf model to characterise HOAS trees. Surprisingly, this model already provides the necessary structure to also model Cocon. In particular, we can capture the contextual objects of Cocon using a comonad $$\flat $$ ♭ that restricts presheaves to their closed elements. This gives a simple semantic characterisation of the invariants of contextual types (e.g. substitution invariance) and identifies Cocon as a type-theoretic syntax of presheaf models. We express our category-theoretic constructions by using a modal internal type theory that is implemented in Agda-Flat.
APA, Harvard, Vancouver, ISO, and other styles
7

Ferrari, GianLuigi, Ugo Montanari, and Paola Quaglia. "A π-calculus with explicit substitutions: The late semantics." In Mathematical Foundations of Computer Science 1994, 342–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58338-6_81.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chiang, Yuei-Lin, Lu-Ping Chang, Wen-Tai Hsieh, and Wen-Chih Chen. "Natural Language Watermarking Using Semantic Substitution for Chinese Text." In Digital Watermarking, 129–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24624-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fan, Jie, and Chong-ming Ding. "The Semantic Differences and Substitution Restrictions of -Zhe(着) and Zhengzai(正在)." In Lecture Notes in Computer Science, 294–310. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04015-4_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Schwenter, Scott A., and Elizabeth Closs Traugott. "The Semantic and Pragmatic Development of Substitutive Complex Prepositions in English." In Historical Pragmatics, 243. Amsterdam: John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/pbns.35.16sch.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Substitution Semantics"

1

Garí Soler, Aina, Anne Cocos, Marianna Apidianaki, and Chris Callison-Burch. "A Comparison of Context-sensitive Models for Lexical Substitution." In Proceedings of the 13th International Conference on Computational Semantics - Long Papers. Stroudsburg, PA, USA: Association for Computational Linguistics, 2019. http://dx.doi.org/10.18653/v1/w19-0423.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sfakakis, Michalis, and Sarantos Kapidakis. "A semantics-based substitution for unsupported Z39.50 Bib-1 access points." In 2007 2nd International Conference on Digital Information Management. IEEE, 2007. http://dx.doi.org/10.1109/icdim.2007.4444222.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Arefyev, Nikolay, Boris Sheludko, Alexander Podolskiy, and Alexander Panchenko. "Always Keep your Target in Mind: Studying Semantics and Improving Performance of Neural Lexical Substitution." In Proceedings of the 28th International Conference on Computational Linguistics. Stroudsburg, PA, USA: International Committee on Computational Linguistics, 2020. http://dx.doi.org/10.18653/v1/2020.coling-main.107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Arefyev, Nikolay, Boris Sheludko, Alexander Podolskiy, and Alexander Panchenko. "Always Keep your Target in Mind: Studying Semantics and Improving Performance of Neural Lexical Substitution." In Proceedings of the 28th International Conference on Computational Linguistics. Stroudsburg, PA, USA: International Committee on Computational Linguistics, 2020. http://dx.doi.org/10.18653/v1/2020.coling-main.107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ruta, Michele, Giammarco Zacheo, Alfredo Grieco, Tommaso Di Noia, Gennaro Boggia, Eufemia Tinelli, Pietro Camarda, and Eugenio Di Sciascio. "Semantic-enabled Resource Discovery, Composition and Substitution in 802.11 Pervasive Environments." In 2009 IEEE International Conference on Semantic Computing (ICSC). IEEE, 2009. http://dx.doi.org/10.1109/icsc.2009.77.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yang, Xinghao, Weifeng Liu, Dacheng Tao, and Wei Liu. "BESA: BERT-based Simulated Annealing for Adversarial Text Attacks." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/453.

Full text
Abstract:
Modern Natural Language Processing (NLP) models are known immensely brittle towards text adversarial examples. Recent attack algorithms usually adopt word-level substitution strategies following a pre-computed word replacement mechanism. However, their resultant adversarial examples are still imperfect in achieving grammar correctness and semantic similarities, which is largely because of their unsuitable candidate word selections and static optimization methods. In this research, we propose BESA, a BERT-based Simulated Annealing algorithm, to address these two problems. Firstly, we leverage t
APA, Harvard, Vancouver, ISO, and other styles
7

Ruta, Michele, Tommaso Di Noia, Eugenio Di Sciascio, Massimo Paolucci, Floriano Scioscia, and Eufemia Tinelli. "A semantic-based registry enabling discovery, composition and substitution of pervasive services." In the Seventh ACM International Workshop. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1626536.1626548.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chu, Thi Huong, Quang Uy Nguyen, and Van Loi Cao. "Semantics Based Substituting Technique for Reducing Code Bloat in Genetic Programming." In the Ninth International Symposium. New York, New York, USA: ACM Press, 2018. http://dx.doi.org/10.1145/3287921.3287948.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Machacek, Jakub. "BUTknot at SemEval-2016 Task 5: Supervised Machine Learning with Term Substitution Approach in Aspect Category Detection." In Proceedings of the 10th International Workshop on Semantic Evaluation (SemEval-2016). Stroudsburg, PA, USA: Association for Computational Linguistics, 2016. http://dx.doi.org/10.18653/v1/s16-1048.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Inkova, O. Yu. "A QUANTITATIVE METHOD FOR ANALYSIS OF CONNECTIVES: THE "PORTRAIT" OF THE RUSSIAN CONJUNCTION ILI (OR) IN THE SUPRACORPORA DATABASE OF CONNECTIVES." In International Conference on Computational Linguistics and Intellectual Technologies "Dialogue". Russian State University for the Humanities, 2020. http://dx.doi.org/10.28995/2075-7182-2020-19-372-386.

Full text
Abstract:
The functional properties of the conjunction ili ‘or’ are quite well studied and discussed in grammars and number of specific studies. However, they were not subjected to multivariate quantitative analysis. The paper proposes this kind of analysis, carried out according to six parameters: i) logical-semantic relation expressed by the conjunction, ii) syntactic structure of the text fragment introduced by it, iii) position of the conjunction in this text fragment, iv) order of the text fragments connected by it, v) status of ili in the context (cf. its use as a particle mentioned in MAS), vi) d
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Substitution Semantics' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography