9532 search results - page 236 / 1907 » Logic, Graphs, and Algorithms |
141
click to vote
WEA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Graphs can be represented symbolically by the Ordered Binary Decision Diagram (OBDD) of their characteristic function. To solve problems in such implicitly given graphs, ...
171
click to vote
FUZZY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies some relationships between fuzzy relations, fuzzy graphs and fuzzy measure. It is shown that a fundamental theorem of Discrete Convex Analysis is deriv...
131
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
175
click to vote
WADS
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We introduce the simultaneous representation problem, defined for any graph class C characterized in terms of representations, e.g. any class of intersection graphs. Two...