Search
Now showing items 1-5 of 5
Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty
(2021-03-02)
Simple Temporal Networks with Uncertainty (STNU) can represent temporal problems where duration between events may be uncontrollable, e.g. when the event is caused by nature. An STNU is dynamically controllable (DC) if it ...
Active Loop Detection for Applications that Access Databases
(2021-09-09)
We present Shear, a new system that observes and manipulates the interaction between an application and its surrounding environment to learn a model of the behavior of the application. Shear implements active loop detection ...
Active Loop Detection for Applications that Access Databases
(2021-11-15)
We present Shear, a new system that observes and manipulates the interaction between an application and its surrounding environment to learn a model of the behavior of the application. Shear implements active loop detection ...
Universal Motion Generator: Trajectory Autocompletion by Motion Prompts
(2022-06-15)
Foundation models, which are large neural networks trained on massive datasets, have shown
impressive generalization in both the language and the vision domain. While fine-tuning foundation
models for new tasks at test-time ...