Personensuche
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
4
ωPAP Spaces: Reasoning Denotationally About Higher-Order, R..:
, In:
?
2023 IEEE/CVF International Conference on Computer Vision (ICCV) ,
5
3D Neural Embedding Likelihood: Probabilistic Inverse Graph..:
, In:
?
2023 Fifth International Conference on Electrical, Computer and Communication Technologies (ICECCT) ,
6
Implementation of Maximum Power Point Based Stand Alone 5-M..:
, In:
?
2022 International Conference on Robotics and Automation (ICRA) ,
7
DURableVS: Data-efficient Unsupervised Recalibrating Visual..:
, In:
?
IoT-based Intelligent Modelling for Environmental and Ecological Engineering; Lecture Notes on Data Engineering and Communications Technologies ,
8
An IoT-Based Time Constrained Spectrum Trading in Wireless ..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
9
SPPL: probabilistic programming with fast exact symbolic in..:
, In:
?
2020 XXXIIIrd General Assembly and Scientific Symposium of the International Union of Radio Science ,
10
A Novel Water Index for Extraction of Water Features using ..:
, In:
?
IGARSS 2019 - 2019 IEEE International Geoscience and Remote Sensing Symposium ,
11
Monitoring the Change in Water Class of Two Rivers in Sanga..:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
12
Gen: a general-purpose probabilistic programming system wit..:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
13