Sciweavers

INFORMATICALT
2007
76views more  INFORMATICALT 2007»
13 years 11 months ago
Strongly Absolute Stability Problem of Descriptor Systems
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...
Chunyu Yang, Qingling Zhang, Linna Zhou
INFORMATICALT
2007
111views more  INFORMATICALT 2007»
13 years 11 months ago
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
Jurate Sakalauskaite
INFORMATICALT
2007
92views more  INFORMATICALT 2007»
13 years 11 months ago
A Matrix-Based Model for Web Page Community Construction and More
The rapid development of network technologies has made the web a huge information source with its own characteristics. In most cases, traditional database-based technologies are no...
Jingyu Hou