Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 5
Crop classification using PerceptiveSentinel
Filip Koprivec
Video in druga učna gradiva
Oznake: computer science;data mining;artificial intelligence
Efficient and accurate classification of land cover and land usage can be utilized in many different ways: ranging from natural resource management, agriculture support to legal and economic processes support. In this article, we present an implementation of land cover classiffication using the Perc ...
Leto: 2018 Vir: videolectures.net
Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, Matija Pretnar
Diplomsko delo
Oznake: matematika;programski jeziki;sistem tipov;lambda račun;lambda račun z enostavnimi tipi;
Uporaba tipov za zagotavljanje pravilnosti programov
Leto: 2017 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Eksplicitna izpeljava učinkov
Filip Koprivec, Matija Pretnar
Magistrsko delo
Oznake: algebrajski učinki in njihovi prestrezniki;izpeljava tipov;eksplicitni tipi;
V delu je predstavljena avtomatska izpeljava in eksplicitna dopolnitev tipov programov z algebrajskimi učinki. Predstavljen je MiniEff, preprost funkcijski programski jezik s polimorfnimi shemami in podporo za algebrajske učinke, ki temelji na jeziku Eff. Za MiniEff sta podana in dokazana izrek o na ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Efficient multishot algebraic effect handlers
Filip Koprivec, Janoš Vidali
Doktorska disertacija
Oznake: algebraic effects;effect handlers;functional programming;theory of programming languages;denotational semantics;optimizing compilation;polymorphic compilation;subtyping;
Algebrajski učinki in njihovi prestrezniki ponujajo močno abstrakcijsko orodje za strukturiranje programov z računskimi učinki. Računske učinke predstavimo z operacijami, katerih pomen določajo prestrezniki. Ta ločitev omogoča jasno ločevanje kode, ki učinke lahko sproža, od tega, kako učinke interp ...
Leto: 2024 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Filip Koprivec, Matija Pretnar
Izvirni znanstveni članek
Oznake: computational effects;optimizing compilation;algebraic effects;polymorphic compilation;subtyping;denotational semantics;
Algebraic effect handlers are becoming an increasingly popular way of structuring effectful computations, and their performance is often a concern. One of the proposed approaches towards efficient compilation is tracking effect information through explicit subtyping coercions. However, in the presen ...
Leto: 2025 Vir: Digitalni repozitorij raziskovalnih organizacij Slovenije
Št. zadetkov: 5
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: