Data cube computation is a well-known expensive operation and has been studied extensively. It is often not feasible to compute a complete data cube due to the
With the development of Internet, frequent pattern mining has been extended to more complex patterns like tree mining and graph mining. Such applications arise
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is also presented, using which a synchronizat
In this paper, the class of regular disjunction-free default theories is introduced and investigated.A transformation from regular default theories to normal de
In this paper, a labelled transition semantics for higher-order process calculi is studied. The labelled transition semantics is relatively clean and simple, an