5th Formal Methods in Architecture Session02 edited
Channel: Architecture FormalMethods
Date: 2020-11-09

P5 - Reconstruction Photogrammetric 3D Model by using deep learning, by June-Hao Hou and Chi-Li Cheng;
Moderator: Ricardo Resende.
P7 - LBD server: Visualising Building Ontologies in Web-based Environment Using glTF-models, by Andrew Malcom, Jeroen Werbrouck and Pieter Pauwels;
P8 - Scava Tools: Strategies and Tools for the Mass Dissemination of Scava Thecniques, by Catarina Ruivo, David Viana, Franklim Morais, Isabel Carvalho and Jorge Vaz.