Relevant bibliographies by topics / Contributions in semantics

Contents

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

Academic literature on the topic 'Contributions in semantics'

Author: Grafiati
Published: 4 June 2021
Last updated: 31 January 2023

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 'Contributions in 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 "Contributions in semantics"

1

MARYNISSEN, SIMON, BART BOGAERTS, and MARC DENECKER. "Exploiting Game Theory for Analysing Justifications." Theory and Practice of Logic Programming 20, no. 6 (September 22, 2020): 880–94. http://dx.doi.org/10.1017/s1471068420000186.

Full text
Abstract:
AbstractJustification theory is a unifying semantic framework. While it has its roots in non-monotonic logics, it can be applied to various areas in computer science, especially in explainable reasoning; its most central concept is a justification: an explanation why a property holds (or does not hold) in a model.In this paper, we continue the study of justification theory by means of three major contributions. The first is studying the relation between justification theory and game theory. We show that justification frameworks can be seen as a special type of games. The established connection provides the theoretical foundations for our next two contributions. The second contribution is studying under which condition two different dialects of justification theory (graphs as explanations vs trees as explanations) coincide. The third contribution is establishing a precise criterion of when a semantics induced by justification theory yields consistent results. In the past proving that such semantics were consistent took cumbersome and elaborate proofs.We show that these criteria are indeed satisfied for all common semantics of logic programming.
APA, Harvard, Vancouver, ISO, and other styles
2

Bentin, Shlomo. "Right Hemisphere Contributions to Lexical Semantics." Language and Speech 32, no. 1 (January 1989): 69–72. http://dx.doi.org/10.1177/002383098903200104.

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

Pietarinen, Ahti-Veikko. "Peirce’s Contributions to Possible-Worlds Semantics." Studia Logica 82, no. 3 (April 2006): 345–69. http://dx.doi.org/10.1007/s11225-006-8102-1.

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

Feyereisen, Pierre. "Right hemisphere contributions to lexical semantics." Neuropsychologia 27, no. 10 (January 1989): 1311. http://dx.doi.org/10.1016/0028-3932(89)90044-4.

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

Lawson, Harold “Bud”, and Mats Persson. "7.4.1 Contributions Towards Unifying System Semantics." INCOSE International Symposium 20, no. 1 (July 2010): 973–87. http://dx.doi.org/10.1002/j.2334-5837.2010.tb01118.x.

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

Boleda, Gemma, and Aurélie Herbelot. "Formal Distributional Semantics: Introduction to the Special Issue." Computational Linguistics 42, no. 4 (December 2016): 619–35. http://dx.doi.org/10.1162/coli_a_00261.

Full text
Abstract:
Formal Semantics and Distributional Semantics are two very influential semantic frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition and centered around the inferential properties of language. Distributional Semantics is statistical and data-driven, and focuses on aspects of meaning related to descriptive content. The two frameworks are complementary in their strengths, and this has motivated interest in combining them into an overarching semantic framework: a “Formal Distributional Semantics.” Given the fundamentally different natures of the two paradigms, however, building an integrative framework poses significant theoretical and engineering challenges. The present issue of Computational Linguistics advances the state of the art in Formal Distributional Semantics; this introductory article explains the motivation behind it and summarizes the contributions of previous work on the topic, providing the necessary background for the articles that follow.
APA, Harvard, Vancouver, ISO, and other styles
7

Burge, Tyler. "Some Remarks on Putnam's Contributions to Semantics." Theoria 79, no. 3 (August 1, 2013): 229–41. http://dx.doi.org/10.1111/theo.12016.

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

Luo, Qiongpeng, and Zhiguo Xie. "Degrees as nominalized properties: evidence from differential verbal comparatives in Mandarin Chinese." ZAS Papers in Linguistics 61 (January 1, 2018): 89–106. http://dx.doi.org/10.21248/zaspil.61.2018.486.

Full text
Abstract:
Whether degrees should be modeled as simple semantic primitives or ontologicallycomplex entities has been an issue in recent formal semantic research. This article aims tomake a contribution to this scholarly enterprise by investigating the Differential VerbalComparative (DVC) construction in Chinese. DVCs exhibit peculiar properties : (i)obligatory differentials, and (ii) DPs as differentials(e.g., liang ben xiaoshuo ‘two CL novel’).We propose that a degree is the entity correlate of a property that is formed on the basis of ameasure, akin to Chierchia-style kind. This new kind of degree, coupled with a differencefunction-based semantics for comparatives, correctly predicts the behaviors of DVCs whichwould otherwise remain formally inscrutable. This article’s contributions are twofold: (i) itprovides direct support for the degree-as-kind analysis by extending its empirical scope; and(ii) by combining degrees as kinds with a difference function-based semantics, it representsan improvement over the previous degree-as-kind analysis based on linear ordering.Keywords: comparatives, degrees, kinds, Mandarin Chinese, differential verbalcomparatives.
APA, Harvard, Vancouver, ISO, and other styles
9

Van Harmelen, Frank, James A. Hendler, Pascal Hitzler, and Krzysztof Janowicz. "Semantics for Big Data." AI Magazine 36, no. 1 (March 25, 2015): 3–4. http://dx.doi.org/10.1609/aimag.v36i1.2559.

Full text
Abstract:
This editorial introduction summarizes the seven guest-edited contributions to AI Magazine that explore opportunities and challenges arising from transferring and adapting semantic web technologies to the big data quest.
APA, Harvard, Vancouver, ISO, and other styles
10

Levi, Giorgio, and Catuscia Palamidessi. "Contributions to the semantics of logic perpetual processes." Acta Informatica 25, no. 6 (August 1988): 691–711. http://dx.doi.org/10.1007/bf00291055.

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

Dissertations / Theses on the topic "Contributions in semantics"

1

Cregan, Anne Computer Science &amp Engineering Faculty of Engineering UNSW. "Weaving the semantic web: Contributions and insights." Publisher:University of New South Wales. Computer Science & Engineering, 2008. http://handle.unsw.edu.au/1959.4/42605.

Full text
Abstract:
The semantic web aims to make the meaning of data on the web explicit and machine processable. Harking back to Leibniz in its vision, it imagines a world of interlinked information that computers `understand' and `know' how to process based on its meaning. Spearheaded by the World Wide Web Consortium, ontology languages OWL and RDF form the core of the current technical offerings. RDF has successfully enabled the construction of virtually unlimited webs of data, whilst OWL gives the ability to express complex relationships between RDF data triples. However, the formal semantics of these languages limit themselves to that aspect of meaning that can be captured by mechanical inference rules, leaving many open questions as to other aspects of meaning and how they might be made machine processable. The Semantic Web has faced a number of problems that are addressed by the included publications. Its germination within academia, and logical semantics has seen it struggle to become familiar, accessible and implementable for the general IT population, so an overview of semantic technologies is provided. Faced with competing `semantic' languages, such as the ISO's Topic Map standards, a method for building ISO-compliant Topic Maps in the OWL DL language has been provided, enabling them to take advantage of the more mature OWL language and tools. Supplementation with rules is needed to deal with many real-world scenarios and this is explored as a practical exercise. The available syntaxes for OWL have hindered domain experts in ontology building, so a natural language syntax for OWL designed for use by non-logicians is offered and compared with similar offerings. In recent years, proliferation of ontologies has resulted in far more than are needed in any given domain space, so a mechanism is proposed to facilitate the reuse of existing ontologies by giving contextual information and leveraging social factors to encourage wider adoption of common ontologies and achieve interoperability. Lastly, the question of meaning is addressed in relation to the need to define one's terms and to ground one's symbols by anchoring them effectively, ultimately providing the foundation for evolving a `Pragmatic Web' of action.
APA, Harvard, Vancouver, ISO, and other styles
2

Vasile, Beniamin. "Catégorisation cognitive et stéréotypie dans la production du langage chez les patients schizophrènes : contributions psycholinguistiques." Thesis, Toulouse 2, 2012. http://www.theses.fr/2012TOU20023.

Full text
Abstract:
Cette thèse se propose l'exploration de la production langagière chez les adultes schizophrènes à travers les processus de catégorisation cognitive et de lexicalisation. L'approche interdisciplinaire réunit la psychopathologie, la linguistique cognitive et des éléments de neuropsychologie dans le cadre d'un protocole expérimental accueilli et validé par les services spécialisés du CHU de Purpan, Toulouse. Structuré en trois volets, le protocole explore les niveaux lexical, phrastique et discursif du langage des patients schizophrènes par le moyen de tâches de dénomination, de fluence verbale et de narration dans le cadre d'entretiens à dominante directive. Les résultats corroborent les données de la littérature faisant état de déficits quantitatifs et qualitatifs chez les patients schizophrènes. La plurivalence du corpus indique par ailleurs l'importance des stéréotypes qui transparaissent dans des figements psycholinguistiques chez ces patients et qui nécessitent une prise en charge spécifique (remédiation cognitive, art-thérapie)
This PhD thesis presents the exploration of the linguistic production at the schizophrenia adults through the processes of cognitive categorization and lexicalization. The interdisciplinary approach gathers the psychopathology, the cognitive linguistics and elements of neuropsychology within the framework of an experimental protocol approved by the clinical services of Purpan CHU (teaching hospital) from Toulouse. Structured in three parts, the protocol investigates the lexical, phrasal and discursive levels in schizophrenia patients by means of naming tasks, verbal fluency and storytelling within the framework of clinical experiments. The results confirm the data of the specialized literature stating quantitative and qualitative deficits in schizophrenia patients. In addition, the rich content of the corpus indicates the importance of the stereotypes which show through in psycholinguistics fixed frames in these patients and which require a specified coverage(Cognitive remediation, art-therapy)
APA, Harvard, Vancouver, ISO, and other styles
3

Akin, Atif Ahmet. "An Examination Of Possible Contributions Of New Media Terms And Concepts To The Field Of Product Design." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12606663/index.pdf.

Full text
Abstract:
New media offer new ways for communication and production. This study aims to explore possible outcomes of the review of the new media literature for a contribution to the field of product design. Examining new media in a descriptive manner, the study presents its basic principles and characteristics. Relevant parts of new media and product design literature are reviewed in order to locate possible connections and/or exchanges between major concepts used in these fields. The two focal points of the study are the transformations that have taken place in (1) userproduct communication and (2) design and production media, resulting from the emergence of new media technologies.
APA, Harvard, Vancouver, ISO, and other styles
4

Johnston, David. "J.L. Austin on truth and meaning." Thesis, McGill University, 1991. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=70292.

Full text
Abstract:
The thesis presents a development of J. L. Austin's analysis of truth and its accompanying analysis of sentence structure. This involves a discussion and refinement of Austin's notions of the demonstrative and descriptive conventions of language and of the demonstrative and descriptive devices of sentences. The main point of the thesis is that ordinary language must be treated as an historical phenomenon: one that has evolved its more complex features through a long series of variations upon a small number of rudimentary conventions and locutions. The utility of Austin's analysis is shown to lie in the description that it provides of the functions of these rudimentary conventions and locutions. The analysis is used to illuminate a number of problematic sentences and expressions of ordinary language, including identity sentences, definite descriptions, existential sentences, and conditionals.
APA, Harvard, Vancouver, ISO, and other styles
5

Didier, Keryan. "Contributions to the safe and efficient parallelisation of hard real-time systems." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS485.

Full text
Abstract:
L'implémentation de systèmes temps-réel implique de nombreuses étapes qui sont jusqu'aujourd'hui faites manuellement. La complexité de tels systèmes et celle des plateformes matérielles sur lesquelles ils s'exécutent rendent de plus en plus difficile d'assurer la correction de ces étapes de conception (en particulier dans de cadre d'exécutions sur plateformes multi-cœurs). Cela rend l'automatisation de tout le processus d'implémentation inévitable. Cette thèse propose une méthode de parallélisation automatique de systèmes temps-réel. La méthode rapproche les domaines du temps-réel et de la compilation en intégrant les étapes de parallélisation, d'ordonnancement, d'allocation mémoire et de génération de code autour d'une analyse et d'un modèle temporel précis qui s'appuient sur des hypothèses fortes sur la plateforme d'exécution et la forme du code généré. Cette thèse propose également un modèle d'implémentation pour du logiciel flot-de-données multithreadé. En utilisant la même base formelle que précédemment (les formalismes flot-de-données synchrones), un modèle représente une implémentation multithreadé dans un langage comme Lustre, étendu avec des annotations de mapping. Cette modélisation permet un raisonnement formel de toutes les décisions d'implémentation et nous proposons une approche vers la preuve de correction de leur fonctionnalité en rapport à leurs spécifications
The implementation of hard real-time systems involves a lot of steps that are traditionally manual. The growing complexity of such systems and hardware platforms on which they are executed makes increasingly difficult to ensure the correctness of those steps, in particular for the timing properties of the system on multi-core platform. This leads to the need for automation of the whole implementation process. In this thesis, we provide a method for automatic parallel implementation of real-time systems. The method bridge the gap between real-time systems implementation and compilation by integrating parallelization, scheduling, memory allocation, and code generation around a precise timing model and analysis that rely on strong hypothesis on the execution platform and the form of the generated code. The thesis also provides an implementation model for dataflow multithreaded software. Using the same formal ground as the first contribution, the dataflow synchronous formalisms, the model represents multithreaded implementations in a Lustre-like language extended with mapping annotations. This model allows formal reasoning on the correctness of all the mapping decisions used to build the implementation. We propose an approach toward the proof of correctness of the functionality of the implementation with respect to the functional specifications
APA, Harvard, Vancouver, ISO, and other styles
6

Mouelhi, Sebti. "Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables." Phd thesis, Université de Franche-Comté, 2011. http://tel.archives-ouvertes.fr/tel-01015089.

Full text
Abstract:
Cette thèse a pour objectif de proposer une approche formelle basée sur les automates d'interface pour spécifier les contrats des composants réutilisables et vérifier leur interopérabilité fonctionnelle. Cette interopérabilité se traduit par la vérification des trois niveaux : signature, sémantique, et protocole. Le formalisme des automates d'interface est basé sur une approche " optimiste" qui prend en compte les contraintes de l'environnement. Cette approche considère que deux composants sont compatibles s'il existe un environnement convenable avec lequel ils peuvent interagir correctement. Dans un premier temps, nous proposons une approche préliminaire qui intègre la sémantique des paramètres des actions dans la vérification de la compatibilité et de la substitution des composants spécifiés par des automates d'interface. Dans un second temps, nous nous somme intéressés à adapter les composants réutilisables dont les contrats sont décrits par des automates d'interface enrichis par la sémantique des actions. En ce sens, nous avons proposé un algorithme qui permet de générer automatiquement la spécification d'un adaptateur de deux composants lorsque celui-ci existe. Dans un troisième temps, nous avons augmenté le pouvoir d'expression de notre approche proposée pour vérifier l'interopérabilité et les propriétés de sûreté des composants qui communiquent par des variables définies au niveau de leurs contrats d'interface. En particulier, nous étudions la préservation des invariants par composition et par raffinement.
APA, Harvard, Vancouver, ISO, and other styles
7

Jobbins, Amanda Caryn. "The contribution of semantics to automatic text processing." Thesis, Nottingham Trent University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302405.

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

Kanterian, Edward. "Descriptive names : a contribution to the semantics of referring expressions." Thesis, University of Oxford, 2006. http://ora.ox.ac.uk/objects/uuid:885ec416-df87-4bf2-b3ab-4c2173f53804.

Full text
Abstract:
A theory of descriptive names is developed and defended against several objections. Descriptive names pose an interesting challenge to any theory of reference, since they possess both features of proper names and definite descriptions, i.e. of expressions which are often considered to be radically different. These features are referentiality and descriptive sense. The thesis takes as its point of departure Gareth Evans's theory of descriptive names, improves upon it and discusses several other authors and related theories along the way. Chapter I provides an brief introduction to the topic and an abstract of the main lines of argument. Chapter 2 argues that descriptive names possess both referential status and descriptive sense, and that these qualities constitute the two most basic elements of the notion of descriptive reference (which is contrasted with Russellian reference). It is demonstrated that not all names introduced by description are descriptive names, a claim which is given additional substance by a comparison between Evans's and Kripke's accounts of such names. Chapters 3 and 4 deal with two major challenges to the possibility of descriptive names. Chapter 3 explores the possibility of a truth-conditional theory of meaning for descriptive names, but it is shown that if we follow Evans's suggestion that the semantic value of a descriptive name is to be construed according to model theory - namely, as an entity distinct from the referent (a set) - such a theory will result in treating descriptive names as predicates, and thus eliminate then qua referring expressions. Similar accounts given by other authors are also examined and found to be problematic. I conclude by rejecting the model-theoretic notion of semantic value. Chapter 4 addresses a second challenge, posed by the fact that if a descriptive name has a descriptive sense, then given a Russellian analysis of definite descriptions, descriptive names must be quantifier phrases, and thus, again, non-referring expressions. It is argued that if this is true, then the use of negative free logic is unnecessary. Using the idea of rigidified descriptions, it is shown that Evans's arguments, based on modality and simplicity considerations, fail to save both the referentiality and descriptive sense of descriptive names while semantically dissociating them from descriptions. I show that descriptive names can be treated as shorthand for rigidified descriptions and thus semantically on a par with the latter, which, as I demonstrate, is still consistent with Evans's own (convincing) solution of the puzzle of the contingent a priori. Nevertheless, this still does not guarantee the referentiality of descriptive names. Chapter 5 presents in detail the argument that we can only save the referentiality and descriptive sense of descriptive names if we treat definite descriptions as referring expressions. Several negative arguments undermining the most influential defences of the Russellianism are given and three positive accounts of referring descriptions, Wettstein's, Sainbury's and Strawson's, are critically discussed, finally settling, with some proviso, for Strawson's. Finally, the principles of a 'Fregean' free logic for Strawsonian semantics are sketched, and I suggest ways in which a truth theory could be expressed by means of these principles. Chapter 6 summarises the achievements, sketches possible research concerning descriptive names and concludes that the analysis of descriptive names is useful in at least three ways: it provides us with means to, first, solve problems that arise from the introduction of artificial expressions such as descriptive names (e.g. the problem of the contingent a priori), second, to better understand our natural language and its relation to formal theories of meaning, and, last but not least, to give a strong rationale for a referential treatment of definite descriptions. Chapter 7 includes the bibliography and Chapter 8 a list of axioms and formulas.
APA, Harvard, Vancouver, ISO, and other styles
9

Bartlett, Kirsten E. "Processing SMS shortcuts : the contribution of phonology, orthography and semantics." Thesis, Sheffield Hallam University, 2012. http://shura.shu.ac.uk/19324/.

Full text
Abstract:
This thesis explores the question of whether unusual and visually irregular stimuli, such as SMS shortcuts (e.g., txt; text, l8r, later) are processed in the same way as familiar words. Early computational models such as the Dual Route Cascaded (DRC) Model (Coltheart, Rastle, Perry, Langdon & Ziegler, 2001) and the Interactive Activation (IA) model (McClelland & Rumelhart, 1981) implemented a slot based letter coding system that assumed letter positions in a word had to be accurate for word recognition to occur. However, more recent research has demonstrated that subsets of the consonants in a word (e.g., blcn-BALCON) are able to access the lexicon, suggesting that the system may be fairly flexible (Dunabeitia & Carreiras, 2011; Peressotti & Grainger, 1999). Further research with familiar abbreviations (e.g., BBC; British Broadcasting Company) suggests that these items are added to the mental lexicon implying that familiarity allows the lexical processor to accommodate visually irregular stimuli (Brysbaert, Speybroeck & Vanderelst, 2009). This finding may be expected to extend to similarly unusual items such as txt (text) or I8r (later). However, SMS shortcuts are unlike abbreviations because they are alternative spellings of existing words and may not require new lexical entries in order to be processed. As such single word shortcuts, as opposed to initialisms that represent whole phrases (e.g., /o/; laugh out loud, tbh; to be honest), share characteristics with second language cognates (e.g. the English-Spanish cognates cat and gato) that are also alternative representations of words that already exist in a lexicon. The evidence presented in this thesis supports the suggestion that visually unusual stimuli will be accommodated by the lexical processor if they are familiar and it is likely that they are added to the mental lexicon. In addition the patterns of data exhibited by SMS shortcuts are not dissimilar to those found with second language cognates. This thesis also presents a comprehensive database of SMS shortcuts that provides an indication of the frequency with which these items are currently used by a UK undergraduate population.
APA, Harvard, Vancouver, ISO, and other styles
10

Gao, Boyang. "Contributions to music semantic analysis and its acceleration techniques." Thesis, Ecully, Ecole centrale de Lyon, 2014. http://www.theses.fr/2014ECDL0044/document.

Full text
Abstract:
La production et la diffusion de musique numérisée ont explosé ces dernières années. Une telle quantité de données à traiter nécessite des méthodes efficaces et rapides pour l’analyse et la recherche automatique de musique. Cette thèse s’attache donc à proposer des contributions pour l’analyse sémantique de la musique, et en particulier pour la reconnaissance du genre musical et de l’émotion induite (ressentie par l’auditoire), à l’aide de descripteurs de bas-niveau sémantique mais également de niveau intermédiaire. En effet, le genre musical et l’émotion comptent parmi les concepts sémantiques les plus naturels perçus par les auditoires. Afin d’accéder aux propriétés sémantiques à partir des descripteurs bas-niveau, des modélisations basées sur des algorithmes de types K-means et GMM utilisant des BoW et Gaussian super vectors ont été envisagées pour générer des dictionnaires. Compte-tenu de la très importante quantité de données à traiter, l’efficacité temporelle ainsi que la précision de la reconnaissance sont des points critiques pour la modélisation des descripteurs de bas-niveau. Ainsi, notre première contribution concerne l’accélération des méthodes K-means, GMM et UMB-MAP, non seulement sur des machines indépendantes, mais également sur des clusters de machines. Afin d’atteindre une vitesse d’exécution la plus importante possible sur une machine unique, nous avons montré que les procédures d’apprentissage des dictionnaires peuvent être réécrites sous forme matricielle pouvant être accélérée efficacement grâce à des infrastructures de calcul parallèle hautement performantes telle que les multi-core CPU ou GPU. En particulier, en s’appuyant sur GPU et un paramétrage adapté, nous avons obtenu une accélération de facteur deux par rapport à une implémentation single thread. Concernant le problème lié au fait que les données ne peuvent pas être stockées dans la mémoire d’une seul ordinateur, nous avons montré que les procédures d’apprentissage des K-means et GMM pouvaient être divisées par un schéma Map-Reduce pouvant être exécuté sur des clusters Hadoop et Spark. En utilisant notre format matriciel sur ce type de clusters, une accélération de 5 à 10 fois a pu être obtenue par rapport aux librairies d’accélération de l’état de l’art. En complément des descripteurs audio bas-niveau, des descripteurs de niveau sémantique intermédiaire tels que l’harmonie de la musique sont également très importants puisqu’ils intègrent des informations d’un niveau d’abstraction supérieur à celles obtenues à partir de la simple forme d’onde. Ainsi, notre seconde contribution consiste en la modélisation de l’information liée aux notes détectées au sein du signal musical, en utilisant des connaissances sur les propriétés de la musique. Cette contribution s’appuie sur deux niveaux de connaissance musicale : le son des notes des instruments ainsi que les statistiques de co-occurrence et de transitions entre notes. Pour le premier niveau, un dictionnaire musical constitué de notes d’instruments a été élaboré à partir du synthétiseur Midi de Logic Pro 9. Basé sur ce dictionnaire, nous avons proposé un algorithme « Positive Constraint Matching Pursuit » (PCMP) pour réaliser la décomposition de la musique. Pour le second niveau, nous avons proposé une décomposition parcimonieuse intégrant les informations de statistiques d’occurrence des notes ainsi que les probabilités de co-occurrence pour guider la sélection des atomes du dictionnaire musical et pour construire un graphe à candidats multiples pour proposer des choix alternatifs lors des sélections successives. Pour la recherche du chemin global optimal de succession des notes, les probabilités de transitions entre notes ont également été incorporées. […]
Digitalized music production exploded in the past decade. Huge amount of data drives the development of effective and efficient methods for automatic music analysis and retrieval. This thesis focuses on performing semantic analysis of music, in particular mood and genre classification, with low level and mid level features since the mood and genre are among the most natural semantic concepts expressed by music perceivable by audiences. In order to delve semantics from low level features, feature modeling techniques like K-means and GMM based BoW and Gaussian super vector have to be applied. In this big data era, the time and accuracy efficiency becomes a main issue in the low level feature modeling. Our first contribution thus focuses on accelerating k-means, GMM and UBM-MAP frameworks, involving the acceleration on single machine and on cluster of workstations. To achieve the maximum speed on single machine, we show that dictionary learning procedures can elegantly be rewritten in matrix format that can be accelerated efficiently by high performance parallel computational infrastructures like multi-core CPU, GPU. In particular with GPU support and careful tuning, we have achieved two magnitudes speed up compared with single thread implementation. Regarding data set which cannot fit into the memory of individual computer, we show that the k-means and GMM training procedures can be divided into map-reduce pattern which can be executed on Hadoop and Spark cluster. Our matrix format version executes 5 to 10 times faster on Hadoop and Spark clusters than the state-of-the-art libraries. Beside signal level features, mid-level features like harmony of music, the most natural semantic given by the composer, are also important since it contains higher level of abstraction of meaning beyond physical oscillation. Our second contribution thus focuses on recovering note information from music signal with musical knowledge. This contribution relies on two levels of musical knowledge: instrument note sound and note co-occurrence/transition statistics. In the instrument note sound level, a note dictionary is firstly built i from Logic Pro 9. With the musical dictionary in hand, we propose a positive constraint matching pursuit (PCMP) algorithm to perform the decomposition. In the inter-note level, we propose a two stage sparse decomposition approach integrated with note statistical information. In frame level decomposition stage, note co-occurrence probabilities are embedded to guide atom selection and to build sparse multiple candidate graph providing backup choices for later selections. In the global optimal path searching stage, note transition probabilities are incorporated. Experiments on multiple data sets show that our proposed approaches outperform the state-of-the-art in terms of accuracy and recall for note recovery and music mood/genre classification
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Contributions in semantics"

1

Chiarello, Christine, ed. Right Hemisphere Contributions to Lexical Semantics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2.

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

Palo, Marina De. La conquista del senso: La semantica tra Bréal e Saussure. Roma: Carocci, 2001.

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

Palo, Marina De. La conquista del senso: La semantica tra Bréal e Saussure. Roma: Carocci, 2001.

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

Palo, Marina De. La conquista del senso: La semantica tra Bréal e Saussure. Roma: Carocci, 2001.

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

Sgall, Petr, ed. Contributions to Functional Syntax, Semantics and Language Comprehension. Amsterdam: John Benjamins Publishing Company, 1985. http://dx.doi.org/10.1075/llsee.16.

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

Dau, Frithjof. Common semantics for sharing knowledge: Contributions to ICCS 2005. Kassel: Kassel Univ. Press, 2005.

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

Yāqūt, Aḥmad Sulaymān. al-Dars al-dalālī fī Khaṣāʼiṣ Ibn Jinnī. Iskandarīyah: Dār al-Maʻrifah al-Jāmiʻīyah, 1988.

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

Frege's puzzle. Cambridge, Mass: MIT Press, 1986.

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

Yāqūt, Aḥmad Sulaymān. al- Dars al-dalālī fī Khaṣāʾiṣ Ibn Jinnī. Iskandarīyah: Dār al-Maʻrifah al-Jāmiʻīyah, 1989.

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

Coffa, J. Alberto. The semantic tradition from Kant toCarnap: To the Vienna station. Cambridge: Cambridge University Press, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Contributions in semantics"

1

Standefer, Shawn. "Revisiting Semilattice Semantics." In Outstanding Contributions to Logic, 243–59. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71430-7_7.

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

Carnielli, Walter, and Abilio Rodrigues. "Inferential Semantics, Paraconsistency, and Preservation of Evidence." In Outstanding Contributions to Logic, 165–87. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25365-3_9.

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

Kelly, Kevin T. "A Computational Learning Semantics for Inductive Empirical Knowledge." In Outstanding Contributions to Logic, 289–337. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06025-5_11.

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

Joanette, Yves, and Pierre Goulet. "Word-Naming in Right-Brain-Damaged Subjects." In Right Hemisphere Contributions to Lexical Semantics, 1–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_1.

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

Brownell, Hiram H. "Appreciation of Metaphoric and Connotative Word Meaning by Brain-Damaged Patients." In Right Hemisphere Contributions to Lexical Semantics, 19–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_2.

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

Landis, Theodor, and Marianne Regard. "The Right Hemisphere’s Access to Lexical Meaning: A Function of its Release from Left-Hemisphere Control?" In Right Hemisphere Contributions to Lexical Semantics, 33–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_3.

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

Weniger, Dorothea, Vivian Kitteringham, and Mirjam Eglin. "The Variability of Right-Hemisphere Reading Capacities in Global Aphasia." In Right Hemisphere Contributions to Lexical Semantics, 47–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_4.

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

Chiarello, Christine. "Semantic Priming in the Intact Brain: Separate Roles for the Right and Left Hemispheres?" In Right Hemisphere Contributions to Lexical Semantics, 59–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_5.

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

Zaidel, Eran, Hedy White, Eriko Sakurai, and William Banks. "Hemispheric Locus of Lexical Congruity Effects: Neuropsychological Reinterpretation of Psycholinguistic Results." In Right Hemisphere Contributions to Lexical Semantics, 71–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_6.

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

Milberg, William. "Representation, Control and Interaction: What Would a Theory of Right-Hemisphere Lexical Semantics Look Like?" In Right Hemisphere Contributions to Lexical Semantics, 89–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73674-2_7.

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

Conference papers on the topic "Contributions in semantics"

1

Amgoud, Leila, Jonathan Ben-Naim, and Srdjan Vesic. "Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/10.

Full text
Abstract:
In an argumentation setting, a semantics evaluates the overall acceptability of arguments. Consequently, it reveals the global loss incurred by each argument due to attacks. However, it does not say anything on the contribution of each attack to that loss. This paper introduces the novel concept of contribution measure which evaluates those contributions. It starts by defining a set of axioms that a reasonable measure would satisfy, then shows that the Shapley value is the unique measure that satisfies them. Finally, it investigates the properties of the latter under existing semantics.
APA, Harvard, Vancouver, ISO, and other styles
2

Hu, Yuan, Yunpeng Chen, Xiang Li, and Jiashi Feng. "Dynamic Feature Fusion for Semantic Edge Detection." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/110.

Full text
Abstract:
Features from multiple scales can greatly benefit the semantic edge detection task if they are well fused. However, the prevalent semantic edge detection methods apply a fixed weight fusion strategy where images with different semantics are forced to share the same weights, resulting in universal fusion weights for all images and locations regardless of their different semantics or local context. In this work, we propose a novel dynamic feature fusion strategy that assigns different fusion weights for different input images and locations adaptively. This is achieved by a proposed weight learner to infer proper fusion weights over multi-level features for each location of the feature map, conditioned on the specific input. In this way, the heterogeneity in contributions made by different locations of feature maps and input images can be better considered and thus help produce more accurate and sharper edge predictions. We show that our model with the novel dynamic feature fusion is superior to fixed weight fusion and also the na\"ive location-invariant weight fusion methods, via comprehensive experiments on benchmarks Cityscapes and SBD. In particular, our method outperforms all existing well established methods and achieves new state-of-the-art.
APA, Harvard, Vancouver, ISO, and other styles
3

D'Agostino, Marcello, and Sanjay Modgil. "A Study of Argumentative Characterisations of Preferred Subtheories." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/247.

Full text
Abstract:
Classical logic argumentation (Cl-Arg) under the stable semantics yields argumentative characterisations of non-monotonic inference in Preferred Subtheories. This paper studies these characterisations under both the standard approach to Cl-Arg, and a recent dialectical approach that is provably rational under resource bounds. Two key contributions are made. Firstly, the preferred extensions are shown to coincide with the stable extensions. This means that algorithms and proof theories for the admissible semantics can now be used to decide credulous inference in Preferred Subtheories. Secondly, we show that as compared with the standard approach, the grounded semantics applied to the dialectical approach more closely approximates sceptical inference in Preferred Subtheories.
APA, Harvard, Vancouver, ISO, and other styles
4

Zhan, Pei, Uma Jayaram, Sankar Jayaram, OkJoon Kim, and Lijuan Zhu. "Knowledge Representation and Ontology Mapping Methods for Product Data in Engineering Applications." In ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/detc2008-50135.

Full text
Abstract:
This work seeks to create a semantic approach that uses ontologies for sharing knowledge related to product data in CAD/CAE applications and for integrating the design evaluation information that these applications individually provide. Our overall approach is coined OADE, Ontology-based Adaptive Design Evaluation. This paper reports on a piece of our ongoing work in this area. The key contributions of this paper include methods for the design of knowledge representation in product design and analysis, population of product data semantics, creation of ontology mapping methods and mapping representations, and mapping of product data semantics to the target application. The mapping method finds matching concepts between different ontologies based on three basic concept relation types: composition, inheritance, and attribute. A prototype implementation is being created using technologies such as OWL (representation tool), Jena (ontology builder), and Prote´ge´ (ontology editor) to demonstrate the approach for integrating a parametric CAD system, custom virtual assembly application, and an ergonomics engineering application. An example is given in this paper to illustrate how this approach can help integration between a product design application and an assembly simulation analysis application. The significance of this work is that it will provide the capability to create, share, and exchange knowledge for solving design evaluation challenges involving multiple applications and multiple viewpoints. A design decision can thus be described using the common concepts across the diverse entities.
APA, Harvard, Vancouver, ISO, and other styles
5

Cima, Gianluca, Maurizio Lenzerini, and Antonella Poggi. "Non-Monotonic Ontology-based Abstractions of Data Services." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/25.

Full text
Abstract:
In Ontology-Based Data Access (OBDA), a domain ontology is linked to the data sources of an organization in order to query, integrate and manage data through the concepts and relations of the domain of interest, thus abstracting from the technical details of the data layer implementation. While the great majority of contributions in OBDA in the last decade have been concerned with the issue of computing the answers of queries expressed over the ontology, recent papers address a different problem, namely the one of providing suitable abstractions of data services, i.e., characterizing or explaining the semantics of queries over the sources in terms of queries over the domain ontology. Current works on this subject are based on expressing abstractions in terms of unions of conjunctive queries (UCQs) over the ontology. In this paper we advocate the use of a non-monotonic language for this task. As a first contribution, we present a simple extension of UCQs with non-monotonic features, and show that non-monotonicity provides more expressive power in characterizing the semantics of data services. A second contribution is to prove that, similarly to the case of monotonic abstractions, depending on the expressive power of the languages used to specify the various components of the OBDA system, there are cases where neither perfect nor approximated abstractions exist for a given data service. As a third contribution, we single out interesting special cases where the existence of abstractions is guaranteed, and we present algorithms for computing such abstractions in these cases.
APA, Harvard, Vancouver, ISO, and other styles
6

Atanasov, Nikolay, Sean L. Bowman, Kostas Daniilidis, and George J. Pappas. "A Unifying View of Geometry, Semantics, and Data Association in SLAM." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/722.

Full text
Abstract:
Traditional approaches for simultaneous localization and mapping (SLAM) rely on geometric features such as points, lines, and planes to infer the environment structure. They make hard decisions about the (data) association between observed features and mapped landmarks to update the environment model. This paper makes two contributions to the state of the art in SLAM. First, it generalizes the purely geometric model by introducing semantically meaningful objects, represented as structured models of mid-level part features. Second, instead of making hard, potentially wrong associations between semantic features and objects, it shows that SLAM inference can be performed efficiently with probabilistic data association. The approach not only allows building meaningful maps (containing doors, chairs, cars, etc.) but also offers significant advantages in ambiguous environments.
APA, Harvard, Vancouver, ISO, and other styles
7

Giunchiglia, Fausto, Khuyagbaatar Batsuren, and Gabor Bella. "Understanding and Exploiting Language Diversity." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/560.

Full text
Abstract:
The main goal of this paper is to describe a general approach to the problem of understanding linguistic phenomena, as they appear in lexical semantics, through the analysis of large scale resources, while exploiting these results to improve the quality of the resources themselves. The main contributions are: the approach itself, a formal quantitative measure of language diversity; a set of formal quantitative measures of resource incompleteness and a large scale resource, called the Universal Knowledge Core (UKC) built following the methodology proposed. As a concrete example of an application, we provide an algorithm for distinguishing polysemes from homonyms, as stored in the UKC.
APA, Harvard, Vancouver, ISO, and other styles
8

Yang, Shuwen, Guojie Song, Yilun Jin, and Lun Du. "Domain Adaptive Classification on Heterogeneous Information Networks." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/196.

Full text
Abstract:
Heterogeneous Information Networks (HINs) are ubiquitous structures in that they can depict complex relational data. Due to their complexity, it is hard to obtain sufficient labeled data on HINs, hampering classification on HINs. While domain adaptation (DA) techniques have been widely utilized in images and texts, the heterogeneity and complex semantics pose specific challenges towards domain adaptive classification on HINs. On one hand, HINs involve multiple levels of semantics, making it demanding to do domain alignment among them. On the other hand, the trade-off between domain similarity and distinguishability must be elaborately chosen, in that domain invariant features have been shown to be homogeneous and uninformative for classification. In this paper, we propose Multi-space Domain Adaptive Classification (MuSDAC) to handle the problem of DA on HINs. Specifically, we utilize multi-channel shared weight GCNs, projecting nodes in HINs to multiple spaces where pairwise alignment is carried out. In addition, we propose a heuristic sampling algorithm that efficiently chooses the combination of channels featuring distinguishability, and moving-averaged weighted voting scheme to fuse the selected channels, minimizing both transfer and classification loss. Extensive experiments on pairwise datasets endorse not only our model's performance on domain adaptive classification on HINs and contributions by individual components.
APA, Harvard, Vancouver, ISO, and other styles
9

Baumann, Ringo, and Markus Ulbricht. "On Cycles, Attackers and Supporters --- A Contribution to The Investigation of Dynamics in Abstract Argumentation." 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/245.

Full text
Abstract:
Abstract argumentation as defined by Dung in his seminal 1995 paper is by now a major research area in knowledge representation and reasoning. Dynamics of abstract argumentation frameworks (AFs) as well as syntactical consequences of semantical facts of them are the central issues of this paper. The first main part is engaged with the systematical study of the influence of attackers and supporters regarding the acceptability status of whole sets and/or single arguments. In particular, we investigate the impact of addition or removal of arguments, a line of research that has been around for more than a decade. Apart from entirely new results, we revisit, generalize and sum up similar results from the literature. To gain a comprehensive formal and intuitive understanding of the behavior of AFs we put special effort in comparing different kind of semantics. We concentrate on classical admissibility-based semantics and also give pointers to semantics based on naivity and weak admissibility, a recently introduced mediating approach. In the second main part we show how to infer syntactical information from semantical one. For instance, it is well-known that if a finite AF possesses no stable extension, then it has to contain an odd-cycle. In this paper, we even present a characterization of this issue. Moreover, we show that the change of the number of extensions if adding or removing an argument allows to conclude the existence of certain even or odd cycles in the considered AF without having further information.
APA, Harvard, Vancouver, ISO, and other styles
10

Huang, Yuzhun, Miaodi Hu, and Jun Zhang. "User Emotional Experience Assessment Method of Product's Intentional Sound." In 8th International Conference on Human Interaction and Emerging Technologies. AHFE International, 2022. http://dx.doi.org/10.54941/ahfe1002750.

Full text
Abstract:
Product sound plays an important role in the multi-sensory user experience of home appliances. The sound effects that are given meaning by designers (intentional sounds) in home appliances have three contributions to the user experience: semantic conformity to make a satisfactory contribution to the overall product experience; brand impression; and bringing pleasantness and emotional experience. Based on the three aspects of the impact of intentional sounds on product experience, combined with the Semantic Differential method in the field of Kansei engineering and the Hevner adjective table commonly used in music sentiment analysis, this research will design a set of intentional sound evaluation methods from the perspective of user experience.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Contributions in semantics"

1

Shapovalov, Yevhenii B., Viktor B. Shapovalov, Roman A. Tarasenko, Stanislav A. Usenko, and Adrian Paschke. A semantic structuring of educational research using ontologies. [б. в.], June 2021. http://dx.doi.org/10.31812/123456789/4433.

Full text
Abstract:
This article is devoted to the presentation of the semantic interoperability of research and scientific results through an ontological taxonomy. To achieve this, the principles of systematization and structuration of the scientific/research results in scientometrics databases have been analysed. We use the existing cognitive IT platform Polyhedron and extend it with an ontology-based information model as main contribution. As a proof-of-concept we have modelled two ontological graphs, “Development of a rational way for utilization of methane tank waste at LLC Vasylkivska poultry farm” and “Development a method for utilization of methane tank effluent”. Also, for a demonstration of the perspective of ontological systems for a systematization of research and scientific results, the “Hypothesis test system” ontological graph has created.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Contributions in semantics' for particular source types:
Journal articles Dissertations / Theses Books
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