5607 search results - page 892 / 1122 » Graph structure in the Web |
164
click to vote
IAT
2007
IEEE
16 years 29 days ago
2007
IEEE
Coalition formation in social networks consisting of a graph of interdependent agents allows many choices of which task to select and with whom to partner in the social network. N...
206
click to vote
GEOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
188
click to vote
ICCSA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Determining whether two segments s and t in a planar polygonal scene weakly see each other is a classical problem in computational geometry. In this problem we seek for a...
180
click to vote
MFCS
2007
Springer
16 years 23 days ago
2007
Springer
We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by me...
195
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...