Instrumentation and Signal Processing for the Verification of Directional Drilling.
Paul O'LearyAnika TerbuchDimitar NinevskiNegin Khalili-Motlagh-KasmaeiDaniel MevecRobert FruhmannMichael HabacherPublished in: I2MTC (2024)
Keyphrases
- signal processing
- image processing
- fourier transform
- model checking
- face verification
- pattern recognition
- formal verification
- independent component analysis
- verification method
- data sets
- signal analysis
- digital signal processing
- filter bank
- image sequences
- computer vision
- neural network
- data structure
- hardware implementation
- watermarking algorithm
- formal analysis
- decision trees
- website