...
机译:全局谓词的细粒度模态分类
Dept. of Comput. Sci., Illinois Univ., Chicago, IL, USA;
multiprocessing systems; temporal logic; synchronisation; set theory; causality; formal specification; modality classification; predicate specification; distributed execution; temporal interaction; orthogonal set; timestamp-based test; synchronization; distributed system;
机译:使用全局和姿势特征和细粒度的特定于动作的姿势模型进行动作分类的姿势估计
机译:高效的隐私保护谓词加密,以及针对云存储的细粒度可搜索功能
机译:全球关于主要免疫减法的报告:2018年杰弗里莫德尔中心疾病分类网络的更新,区域趋势,治疗方式和医生报告的结果
机译:在细粒度模型下的全球谓词检测
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:时间对手动模式中谓词形式的影响:签名者家庭签名者和无声手势
机译:细粒度模态下的全局谓词检测