Keyphrases
Autonomous Ships
100%
Maritime Object Detection
100%
Formal Verification
100%
CenterNet
100%
Multivessel
100%
SDF Graphs
100%
Task Generation
100%
Interpolating Sequences
100%
COLREGs
100%
Maritime Autonomous Systems
100%
Hardy Space
100%
Modeling Techniques
100%
Rigorous Method
100%
Literature Review Methodology
100%
Systematic Literature Review
100%
Modeling Experience
100%
Operator Mapping
100%
Environment Modeling
100%
Beginner
100%
Domain-specific Applications
100%
System Modeling
100%
Generalized Volterra Operator
100%
Banach Spaces of Analytic Functions
100%
Modeling Guidelines
100%
Graph Execution
100%
Multicore Processors
100%
Scheduling Overhead
100%
Generalized Hilbert Matrices
100%
Real-time Systems
100%
Hilbert Matrix Operator
100%
COLREGs Rules
50%
Navigation Strategies
50%
Avoid Collision
50%
Multiplication Operator
50%
Marine Navigation
50%
Autonomous Navigation
50%
Refinement Techniques
50%
Navigation Algorithm
50%
Autonomous Vessels
50%
Dataflow Modeling
50%
Autonomous Ground Vehicle
50%
Task-oriented
50%
Maneuvering Target
50%
Correct-by-construction
50%
Technological Challenges
50%
Minimum Cost
50%
Autonomous Aerial Vehicles
50%
Priced Timed Games
50%
Algorithm Strategy
50%
Control Strategy
50%
Timing Model
50%
Game Model
50%
Navigation Rules
50%
Navigation Control
50%
Software Safety
50%
Safety-critical
50%
Unit Disk
50%
Volterra Operator
50%
Univalent Functions
50%
Controller
50%
Synchronous Dataflow
50%
Executable Code
50%
Parallel Algorithm
50%
Load Balancing
50%
Parallelization
50%
Task-based Programming Model
50%
Translation Process
50%
Application Throughput
50%
PREESM
50%
Synchronization Overheads
50%
Efficient Coding
50%
Generation Process
50%
Task Execution
50%
Graph Information
50%
Reachability Properties
50%
Large Classes
33%
Vision Research
33%
Banach Space
33%
Lorentz
33%
Abstract Hardy Space
33%
Environment Condition
33%
Interpolation Theory
33%
Maritime Traffic Management
33%
Interpolation Sequence
33%
Stochastic Behavior
33%
Radio Link
33%
Coastal Safety
33%
Semi-supervised Domain Adaptation
33%
Quality Characteristics
33%
Mean Average Precision
33%
Shared Environment
33%
Ice Loss
33%
ART Centre
33%
Shapiro
33%
Musielak-Orlicz Spaces
33%
Carleson Operator
33%
Uniformly Separated Sequence
33%
Interpolation Spaces
33%
Specific Conditions
33%
Computer Vision
33%
Computer Science
Multicore Processor
100%
Safety Critical Systems
100%
Event Instance
100%
Specific Application Domain
100%
Generic Application
100%
Environment Model
100%
Real Time Systems
100%
Concurrent Process
100%
Parallelism
50%
Graph Information
50%
Translation Process
50%
Scheduling Overhead
50%
Task Execution
50%
Load Balancing
50%
Task Programming Model
50%
Code Generation
50%
Quality Characteristic
33%
Air Pollution
33%
Traffic Management
33%
Mean Average Precision
33%
Liveness Property
25%
Response Pattern
25%
Time Requirement
25%
Timing Analysis
25%