Articles Tagged “Image Processing”
4 articles tagged “Image Processing”, newest first.
-
Separating Pixels and Millimeters with Types — Preventing Unit Mix-ups in Dimensional Inspection with Ada
How to catch pixel/millimeter mix-ups in image-based dimensional inspection at compile time with Ada derived types, operators removed with abstract, generic ...
-
Calling Ada Inspection Logic from a C# Inspection App — Passing Image Buffers Without Copying and Guarding the Boundary
How to keep a WPF inspection app as it is and move only the pass/fail logic into an Ada DLL, explained by actually calling it from C and .NET console apps. T...
-
Proving Image Processing Free of Out-of-Bounds Access with SPARK — Binarization, Smoothing, Labeling and a Speed Comparison with C
Proving with SPARK's GNATprove that image-processing code never reads or writes outside the image, using binarization, 3×3 smoothing and labeling: how to wri...
-
Dropped Frames with GigE Vision and USB3 Vision Cameras — Locating the Cause and the Windows Settings to Review
Locate where GigE Vision and USB3 Vision cameras drop frames, from camera to app: reading the statistics, NIC, USB and power settings, buffers and app design.