Filtern nach: Schlagwort

Anzeige der Dokumente 1-6 von 8

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)

Anzeige der Dokumente 1-6 von 8