Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
semantics (võtmesõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
6
Vaata veel..
(3/49)
Ekspordi
ekspordi kõik päringu tulemused
(6)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
raamat
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
https://doi.org/10.1007/978-3-030-57672-1
raamat
2
raamat
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings
2018
http://dx.doi.org/10.1007/978-3-319-91376-6
raamat
3
artikkel ajakirjas
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, p. 1–28
https://doi.org/10.1145/3434338
artikkel ajakirjas
4
artikkel kogumikus
New polysemy structures in Wordnets induced by vertical polysemy
Lohk, Ahti
;
Orav, Heili
;
Vare, Kadri
;
Bond, Francis
;
Vaik, Rasmus
Proceedings of the 10th Global WordNet Conference : GWC 2019, July 23–27, 2019, Wroclaw, Poland
2019
/
p. 394-403
https://clarin-pl.eu/dspace/handle/11321/718
"scopus"
artikkel kogumikus
5
artikkel kogumikus
Rule-based impact analysis for enterprise business intelligence
Tomingas, Kalle
;
Tammet, Tanel
;
Kliimask, Margus
Artificial Intelligence Applications and Innovations : AIAI 2014 Workshops : CoPA, MHDW, IIVC, and MT4BD, Rhodes, Greece, September 19-21, 2014 : proceedings
2014
/
p. 302-309 : ill
artikkel kogumikus
6
artikkel ajakirjas
Software architecture for modern telehealth care systems
Kuusik, Alar
;
Reilent, Enar
;
Lõõbas, Ivor
;
Parve, Marko
Advances on information sciences and service sciences
2011
/
p. 141-151
artikkel ajakirjas
Kirjeid leitud 6, kuvan
1 - 6
pealkiri
27
1.
A Hoare logic for the coinductive trace-based big-step semantics of While
2.
A legal-relationship establishment in smart contracts : ontological semantics for programming-language development
3.
Abstract categorical semantics for resourceful functional reactive programming
4.
Addressing scalability issues in semantics-driven recommender systems
5.
Bialgebraic foundations for the operational semantics of string diagrams
6.
Bing-CF-IDF+ : a semantics-driven news recommender system
7.
Bing-CSF-IDF+: a semantics-driven recommender system for news
8.
Categorical semantics for bounded Petri Nets
9.
categorical semantics for hierarchical Petri Nets
10.
Computing data lineage and business semantics for data warehouse
11.
Deep semantics of visual languages
12.
Efficient semantics of parallel and serial models of attack trees = Ründepuude paralleel- ja jadamudelite efektiivsed semantikad
13.
Functorial semantics for partial theories
14.
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
15.
Higher-order attribute semantics of flat declarative languages
16.
Higher-order attribute semantics of flat languages
17.
Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantika
18.
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
19.
Operational semantics with semicommutations
20.
Personalized context-aware recommendations in SMARTMUSEUM : combining semantics with statistics
21.
Preserving semantics of the whole-part relationships in the object-relational databases
22.
Reasoning about correctness of transactional memory with operational semantics
23.
Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics
24.
Semantics on mobile robot algorithms development
25.
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
26.
Time semantics of executable activity diagrams for relativized conformance testing
27.
Using a rule language for capturing semantics in web-based systems
võtmesõna
19
1.
bialgebraic semantics
2.
big-step semantics
3.
business semantics
4.
categorical semantics
5.
compositional semantics
6.
content semantics
7.
denotational semantics
8.
emergent semantics
9.
formal semantics
10.
game-theoretic semantics
11.
neighborhood semantics
12.
Operational semantics
13.
question-answer semantics
14.
semantics
15.
semantics of programming languages
16.
semantics-driven recommendation
17.
structural operational semantics
18.
time semantics
19.
trace semantics
allikas
3
1.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics : Craiova, Romania, June 13-15, 2012
2.
WIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings
3.
10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings