Searching - TalTech Research Portal

display

sort

26

book article EST / book article ENG

Enhancing semantics-driven recommender systems with visual featuresBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoAdvanced Information Systems Engineering34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings2022 / p. 443–459 https://doi.org/10.1007/978-3-031-07472-1_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

27

newspaper article

Euroopa rakendussemantika Mustpeade Majas : [14.-16. apr. 2004 toimus TTÜ Küberneetika Instituudi korraldatud rahvusvaheline workshop APPSEM'04 programmikeelte semantikast ja selle rakendustest]Uustalu, TarmoMente et Manu2004 / 13. mai, lk. 2 : fot https://www.ester.ee/record=b1242496*est

newspaper article

28

book article

Experiences of lexicographers and computer scientists in validating Estonian Wordnet with test patternsLohk, Ahti; Orav, Heili; Vare, Kadri; Võhandu, LeoProceedings of the Eighth Global WordNet Conference : Bucharest, Romania, January 27-30, 20162016 / p. 184-191 : ill http://gwc2016.racai.ro/

book article

29

book article

An experiment : finding parents for parentless synsets by means of CILILohk, Ahti; Rebane, Martin; Orav, HeiliGWC 2023 : proceedings of the 12th Global Wordnet Conference, 23–27 Jan, 2023, Donostia-San Sebastian, Basque Country2023 / p. 295–302 https://aclanthology.org/2023.gwc-1.36

book article

30

book article EST / book article ENG

Extended clusters of vertical polysemy : an explorative study of eleven wordnetsLohk, Ahti; Vainik, Ene; Paulsen, Geda; Rebane, Martin; Bond, FrancisEesti Rakenduslingvistika Ühingu aastaraamat 2021 = Estonian Papers in Applied Linguistics 20212021 / p. 193-210 : ill https://doi.org/10.5128/ERYa17.11 https://www.ester.ee/record=b2033361*est Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

31

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

book article

32

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

book article

33

journal article

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

journal article

34

journal article EST / journal article ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

35

book

Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalizationDraheim, Dirk2017 https://doi.org/10.1007/978-3-319-69868-7

book

36

book article

Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est

book article

37

book article

Higher-order attribute semantics of flat languagesGrigorenko, PavelInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 97-100 : ill

book article

38

dissertation

Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantikaGrigorenko, Pavel2010 https://digi.lib.ttu.ee/i/?510 https://www.ester.ee/record=b2637394*est

dissertation

39

book article

How the apriori algorithm can help to find semantic duplicates in ontologyAstrova, Irina; Koschel, Arne; Lee, Su LingKnowledge-Based Software Engineering: 2020 : Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 20202020 / p. 178-191 https://doi.org/10.1007/978-3-030-53949-8_16

book article

40

book article EST / book article ENG

Intelligent information technology for organizing swimming competitionsHnatchuk, Yaroslav; Hnatchuk, Alina; Hlukhov, Ivan; Karatnyk, Ivan; Boyarchuk, ArtemIntelITSIS 2022 : Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 23-25, 20222022 / p. 294-304 https://ceur-ws.org/Vol-3156/paper22.pdf https://ceur-ws.org/Vol-3156/ Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

41

book article

Kuidas me mõistame mõisteid?Vainik, Ene; Kirt, ToomasEesti Rakenduslingvistika Ühingu aastaraamat. 42008 / lk. 225-245 : ill https://artiklid.elnet.ee/record=b2117016*est

book article

42

journal article EST / journal article ENG

Let us investigate! Dynamic conjecture-making as the formal logic of abductionMa, Minghui; Pietarinen, Ahti-VeikkoJournal of philosophical logic2018 / [33] p. : ill https://doi.org/10.1007/s10992-017-9454-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

43

book article

Loogikaprogrammi minimaalne semantikaHenno, JaakТезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 19881988 / с. 37-38 https://www.ester.ee/record=b1229448*est

book article

44

journal article EST / journal article ENG

Meaning and affect in the placebo effectChiffi, Daniele; Pietarinen, Ahti-Veikko; Grecucci, AlessandroThe Journal of Medicine and Philosophy : A Forum for Bioethics and Philosophy of Medicine2021 / p. 313–329 https://doi.org/10.1093/jmp/jhab002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

45

book article

Mechatronics modeling methodology and semantic orientated knowledge baseSell, Raivo; Seiler, SvenAnnals of DAAAM for 2009 & proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation : Focus on Theory, Practice and Education" : 25-28th November 2009, Vienna, Austria2009 / p. 1723-1724 : ill

book article

46

book article EST / book article ENG

Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

47

journal article

Naatan Kvarki raamaturiiulAgur, UstusHorisont1975 / lk. 34 https://www.ester.ee/record=b1072243*est http://www.digar.ee/id/nlib-digar:291316 https://www.ester.ee/record=b1177613*est

journal article

48

book article

New polysemy structures in Wordnets induced by vertical polysemyLohk, Ahti; Orav, Heili; Vare, Kadri; Bond, Francis; Vaik, RasmusProceedings of the 10th Global WordNet Conference : GWC 2019, July 23–27, 2019, Wroclaw, Poland2019 / p. 394-403 https://clarin-pl.eu/dspace/handle/11321/718 "scopus"

book article

49

book article EST / book article ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

50

book article EST / book article ENG

An ontology engineering case study for advanced digital forensic analysisChikul, Pavel; Bahsi, Hayretdin; Maennel, Olaf ManuelModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 67–74 https://doi.org/10.1007/978-3-030-78428-7_6 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

semantika (subject term)

types of item

subject term 1