62 citations · 67 across the 3 of their papers we have counts for
2 papers
cs.AI2016★ 62 cited
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis
Zhe Xu, Agung Julius
In this paper, we define a novel census signal temporal logic (CensusSTL) that focuses on the number of agents in different subsets of a group that complete a certain task specifie…
physics.optics2014★ 2 cited
Point spread function modeling and images restoration for cone-beam CT
Hua Zhang, Kuidong Huang, Yikai Shi +1
X-ray cone-beam computed tomography (CT) has the notable features such as high efficiency and precision, and is widely used in the fields of medical imaging and industrial non-dest…