Abstract: Design and verification of systems at the register-transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an arbitrary ...

This repository contains the code associated with our paper "On Learning Scene-aware Generative State Abstractions for Task-level Mobile Manipulation Planning" (link will be added as soon as it is ...

Classic query optimization techniques, including predicate pushdown, are of limited use for machine learning inference queries, because the user-defined functions (UDFs) which extract relational ...

Abstract: The performance of current Scene Graph Generation models is severely hampered by some hard-to-distinguish predicates, e.g., “woman-on/standing on/walking on-beach” or “woman-near/looking ...

Imagine having to narrow down a video of passing vehicles captured on a traffic camera to red SUVs that are exceeding the speed limit. Such queries over images, videos and text are an increasingly ...

This feature enables the use of the flag "learnMode" in the configuration to be used to learn predicates in the template that best characterize the traces. The learnMode's are as follows: learnMode=0: ...