it - Information Technology 64(6) - Dezember 2022

https://dl.gi.de/handle/20.500.12116/40496

Auflistung nach:

1 - 6 von 6

Applied formal methods; hardware verification; algebraic reasoning; SAT solving; proof systems 1
archaeological pottery research; computing humanities; data management and retrieval; image manipulation; science history 1
Archaeology; Deep Learning; GIS; Honduras; LiDAR; 3D Modeling 1
Boundaries; GIS; Thiessen/Voronoi polygons; site catchments; Least-cost Kernel Density Estimation 1
landscape archaeology; airborne LiDAR; airborne laser scanning; data processing 1
Painted pottery; ornament detection and classification; ornamentation benchmark; evaluation; visual clustering 1