Steffen Staab

Type Checking Program Code using SHACL (Extended Version)

2019 · arXiv (Cornell University)

It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must …

TempBEV: Improving Learned BEV Encoders with Combined Image and BEV Space Temporal Aggregation

2024 · arXiv (Cornell University)

Autonomous driving requires an accurate representation of the environment. A strategy toward high accuracy is to fuse data from several sensors. Learned Bird's-Eye View (BEV) encoders can achieve this by mapping data from individual sensors …