Formal Model Validation Through Acceptance Tests
Project: ENABLE-S3
Updated at: 29-04-2024
Resources
5625 items found
Auswertung von CDR-Crashversuchen
Project: ENABLE-S3
Updated at: 29-04-2024
A Line-by-Line Fast Anomaly Detector for Hyperspectral Imagery
Project: ENABLE-S3
Updated at: 29-04-2024
A UAV Platform Based on a Hyperspectral Sensor for Image Capturing and On-Board Processing
Project: ENABLE-S3
Updated at: 29-04-2024
Scalable Hardware-Based On-Board Processing for Run-Time Adaptive Lossless Hyperspectral Compression
Project: ENABLE-S3
Updated at: 29-04-2024
A Novel Hyperspectral Anomaly Detection Algorithm for Real-Time Applications With Push-Broom Sensors
Project: ENABLE-S3
Updated at: 29-04-2024
Real-Time Hyperspectral Image Compression Onto Embedded GPUs
Project: ENABLE-S3
Updated at: 29-04-2024
FPGA implementation of the CCSDS-123.0-B-1 lossless Hyperspectral Image compression algorithm prediction stage
Project: ENABLE-S3
Updated at: 29-04-2024
Analysing Security Protocols Using Refinement in iUML-B
Project: ENABLE-S3
Updated at: 29-04-2024
An Algorithm for an Accurate Detection of Anomalies in Hyperspectral Images With a Low Computational Complexity
Project: ENABLE-S3
Updated at: 29-04-2024
A complete framework for developing and testing automated driving controllers
Project: ENABLE-S3
Updated at: 29-04-2024
Simple 2-D Direction-of-Arrival Estimation Using an ESPAR Antenna
Project: ENABLE-S3
Updated at: 29-04-2024
Smart Systems Everywhere – Intelligence, Autonomy, Technology and Society
Project: ENABLE-S3
Updated at: 29-04-2024
Smart Systems Everywhere – how much Smartness is tolerable?
Project: ENABLE-S3
Updated at: 29-04-2024
On the design of a decision engine for connected vehicles with an application to congestion management
Project: ENABLE-S3
Updated at: 29-04-2024
RSS-Based DoA Estimation Using ESPAR Antennas and Interpolated Radiation Patterns
Project: ENABLE-S3
Updated at: 29-04-2024
Radar target stimulation for automotive applications
Project: ENABLE-S3
Updated at: 29-04-2024
Real-Time Geometry-Based Wireless Channel Emulation
Project: ENABLE-S3
Updated at: 29-04-2024
Virtual reality for automotive radars
Project: ENABLE-S3
Updated at: 29-04-2024
A New Algorithm for the On-Board Compression of Hyperspectral Images
Project: ENABLE-S3
Updated at: 29-04-2024
Worst-Case Latency Analysis for IEEE 802.1Qbv Time Sensitive Networks Using Network Calculus
Project: ENABLE-S3
Updated at: 29-04-2024
Implementation of the Principal Component Analysis onto High-Performance Computer Facilities for Hyperspectral Dimension...
Project: ENABLE-S3
Updated at: 29-04-2024
Point cloud registration from local feature correspondences—Evaluation on challenging datasets
Project: ENABLE-S3
Updated at: 29-04-2024
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
Project: ENABLE-S3
Updated at: 29-04-2024
Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving
Project: ENABLE-S3
Updated at: 29-04-2024
Bayesian Classifier for Route Prediction with Markov Chains
Project: ENABLE-S3
Updated at: 29-04-2024
A Hidden Markov Model for Route and Destination Prediction
Project: ENABLE-S3
Updated at: 29-04-2024
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Project: ENABLE-S3
Updated at: 29-04-2024
Learning Timed Automata via Genetic Programming
Project: ENABLE-S3
Updated at: 29-04-2024
Urban Motion Planning Framework Based on N-Bézier Curves Considering Comfort and Safety
Project: ENABLE-S3
Updated at: 29-04-2024