Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Luca Chiarabini"'
Autor:
Luca Chiarabini, Olivier Danvy
Publikováno v:
Journal of Formalized Reasoning, Vol 4, Iss 1, Pp 85-109 (2011)
We revisit both the usual ``going-up'' induction principle and Manna and Waldinger's ``going-down'' induction principle for primitive recursion,`a la Goedel, and primitive iteration, `a la Church. We use 'Kleene's trick' to show that primitive recurs
Externí odkaz:
https://doaj.org/article/2728980411b74f01bedd86b74d224a04
Autor:
Galo Gimenez, Luca Chiarabini
Publikováno v:
NIP & Digital Fabrication Conference. 20:347-350
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::117b92ef9e8bc17406ff365e15b7060b
https://doi.org/10.2352/issn.2169-4451.2004.20.1.art00078_1
https://doi.org/10.2352/issn.2169-4451.2004.20.1.art00078_1
Autor:
Jonathan Yen, Luca Chiarabini
Publikováno v:
Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts
Presented here is a method for reducing the computational complexity of two-dimensional linear convolutions used in image processing like binary image scaling. This method is a hybrid of convolving at run-time and convolving by table lookup. The conv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2d676b34b6eb7d512fca4cadde35390
https://doi.org/10.1117/12.298286
https://doi.org/10.1117/12.298286
Autor:
Christian Prehofer, Luca Chiarabini
Publikováno v:
2015 IEEE 39th Annual Computer Software and Applications Conference
In this paper, we consider approaches and tools for the development of applications for the Internet of things, connecting sensors and Internet services. We compare tools for application mash up with approaches based on model-based development and th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae4f2f1d46d049a19f1923094cd4cf88
