Browsing University of Waterloo by Subject "STL"
Now showing items 1-2 of 2
-
3D representation and CNC machining of 2D digital images
(Elsevier, 2018-01-01)In this paper a new paradigm for CNC carving of digital images in the form of lookalike three-dimensional (3D) surfaces on wooden or metallic plaques is discussed. This work is focused on development of a single page windows ... -
RuSTL: Runtime Verification using Signal Temporal Logic
(University of Waterloo, 2019-04-23)A system is classified to be a safety-critical system if its failure and/or malfunction of these devices may result in severe injuries or in extreme cases loss of human life. Such systems are all around us, examples of ...