2 papers
cs.RO2026
Efficiently Linking Real Scenes with Synthetic Data Generation for AI-based Cognitive Robotics and Computer Vision Applications
Paul Koch, Vivek Chavan, André Sers +4
AI vision models are a driving factor for the potential use case scenarios of cognitive robotics within in the industry and household applications. A large array of methods from se…
math.LO2016
A revised completeness result for the simply typed -calculus using realizability semantics
Karim Nour, Mohamad Ziadeh
In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type.…