12 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Saarland UniversityDE3 papers
- Institute of SoftwareCN2 papers
- Chinese Academy of SciencesCN1 paper
- Guangdong Institute of Intelligent ManufacturingCN1 paper
- Helmholtz Center for Information SecurityDE1 paper
- Instituto Federal da BahiaBR1 paper
- King's College LondonGB1 paper
- Universidade SalvadorBR1 paper
- Université LavalCA1 paper
- University of MichiganUS1 paper
- University of SheffieldGB1 paper
4 papers
Efficient Segment Anything with Depth-Aware Fusion and Limited Training Data
Yiming Zhou, Xuenjie Xie, Panfeng Li +3
Segment Anything Models (SAM) achieve impressive universal segmentation performance but require massive datasets (e.g., 11M images) and rely solely on RGB inputs. Recent efficient…
Reinforcement Learning Agent Design and Optimization with Bandwidth Allocation Model
Rafael F. Reale, Joberto S. B. Martins
Reinforcement learning (RL) is currently used in various real-life applications. RL-based solutions have the potential to generically address problems, including the ones that are…
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Sebastian Biewer, Rayna Dimitrova, Michael Fries +4
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time-…
Cost Preserving Bisimulations for Probabilistic Automata
Andrea Turrini, Holger Hermanns
Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled…