185 citations · 463 across the 31 of their papers we have counts for
5 papers · 1 filter
Tiansuan Constellation: An Open Research Platform
Shangguang Wang, Qing Li, Mengwei Xu +3
Satellite network is the first step of interstellar voyages. It can provide global Internet connectivity everywhere on earth, where most areas cannot access the Internet by the ter…
Boosting Mobile CNN Inference through Semantic Memory
Yun Li, Chen Zhang, Shihao Han +4
Human brains are known to be capable of speeding up visual recognition of repeatedly presented objects through faster memory encoding and accessing procedures on activated neurons.…
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Blair Archibald, Muffy Calder, Michele Sevegnani +1
Human-autonomy teaming (HAT) scenarios feature humans and autonomous agents collaborating to meet a shared goal. For effective collaboration, the agents must be transparent and abl…
From Cloud to Edge: A First Look at Public Edge Platforms
Mengwei Xu, Zhe Fu, Xiao Ma +7
Public edge platforms have drawn increasing attention from both academia and industry. In this study, we perform a first-of-its-kind measurement study on a leading public edge plat…
Modelling and Verifying BDI Agents with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani +1
The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents; most verification approaches are based on reasoning about implementations of BDI programm…