2283 search results - page 319 / 457 » Bounds of Graph Characteristics |
JSAI
2001
Springer
14 years 17 days ago
2001
Springer
The small world topology is known widespread in biological, social and man-made systems. This paper shows that the small world structure also exists in documents, such as papers. A...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
EKAW
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
IBPRIA
2007
Springer
13 years 10 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
ICWSM
2010
13 years 9 months ago
2010
As microblogging grows in popularity, services like Twitter are coming to support information gathering needs above and beyond their traditional roles as social networks. But most...