Titlebook: Neural Information Processing; 24th International C Derong Liu,Shengli Xie,El-Sayed M. El-Alfy Conference proceedings 2017 Springer Interna

ANTE

文件夾

Zhiming Ding,Zhengzhong Zhou,Liqing Zhangvarious safety and liveness requirements. In recent years, numerous sound and complete verification methods have been proposed towards that end, but these typically suffer from severe scalability limitations. Recent work has proposed enhancing such verification techniques with abstraction-refinement

amyloid

Fang Liu,Xiaofeng Wulable, and there is steady progress in research. However, cooperation between the two kinds of verifiers was not yet addressed in a modular way. Yet, it is imperative for the community to leverage all possibilities, because our society heavily depends on software systems that work correctly. This pa

burnish

Xiang Li,Haohua Zhao,Liqing Zhanglable, and there is steady progress in research. However, cooperation between the two kinds of verifiers was not yet addressed in a modular way. Yet, it is imperative for the community to leverage all possibilities, because our society heavily depends on software systems that work correctly. This pa

隱語

Nebulous

Shuang Gu,Yao Lu,Lin Zhang,Jian Zhangables should be sensed from the context. According to the definitions found in the literature, whether something belongs to context, has to do with whether it is relevant. However, what it means to be relevant is left implicit in these definitions. Most work on context-aware systems is based on assu

HAIRY

Bo Huang,Hualong Huang,Hongtao Lu observed within the organisation, or build a formal model, integrating known existing behavioural elements. Whereas the former approach can be costly and time-consuming, and it can be complicated to select the best classifier, it can be equally complicated to select the right parameters for a concr

易碎

nonchalance

Xiang Li,Yue Zhou observed within the organisation, or build a formal model, integrating known existing behavioural elements. Whereas the former approach can be costly and time-consuming, and it can be complicated to select the best classifier, it can be equally complicated to select the right parameters for a concr

笨重