11 citations · 11 across the 2 of their papers we have counts for
Showing 2001Show all
3 papers · 1 filter
cs.NI2001
Intelligent Search of Correlated Alarms from Database containing Noise Data
Qingguo Zheng, Ke Xu, Weifeng Lv +1
Alarm correlation plays an important role in improving the service and reliability in modern telecommunications networks. Most previous research of alarm correlation didn't conside…
cs.LO2001
A Logical Framework for Convergent Infinite Computations
Wei Li, Shilong Ma, Yuefei Sui +1
Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computat…
cs.LO2001
The Limits of Horn Logic Programs
Shilong Ma, Yuefei Sui, Ke Xu
Given a sequence of Horn logic programs, the limit of is the set of the clauses such that every clause in belongs to almost every and every clause…