1981 search results - page 58 / 397 » Model-Checking Hierarchical Structures |
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
CL
2000
Springer
14 years 1 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
IJDAR
2002
13 years 9 months ago
2002
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
IJDMMM
2010
2010
Graphical models based hierarchical probabilistic community discovery in large-scale social networks
13 years 8 months ago
: Real-world social networks, while disparate in nature, often comprise of a set of loose clusters (a.k.a. communities), in which members are better connected to each other than to...
PROCEDIA
2010
13 years 8 months ago
2010
Social networks have small-world property, hierarchical community structure, and some other properties. This paper proposes models of networks with these properties and algorithm ...