Similar Items: Buffered Bounded Transparent Scan for Test Generation
- Tighter Bounds for Query Answering with Guarded TGDs
- Refined Risk Bounds for Unbounded Losses via Transductive Priors
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Idle Nodes Detection and Reactivation-Aware-Buffer Management in Delay-Tolerant Network Using IEMATA and SPKO
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
- Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth