ICCS
2010
Springer
13 years 7 months ago
2010
Springer
Though similarities between the Semantic Web language RDF(S) and languages of the Conceptual Graphs family have often been pointed out, the differences between these formalisms hav...
ICCS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
GRC
2010
IEEE
13 years 7 months ago
2010
IEEE
GC
2010
Springer
13 years 7 months ago
2010
Springer
GC
2010
Springer
13 years 7 months ago
2010
Springer
A new class of polyhedra is discovered—bipyramids of arbitrarily prescribed genus. A two-dimensional generalization of Fáry’s Theorem is established. A purely combinatorial de...
GC
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we give a sufficient condition for a graph to have a degree bounded spanning tree. Let n ≥ 1, k ≥ 3, c ≥ 0 and G be an n-connected graph. Suppose that for eve...
GC
2010
Springer
13 years 7 months ago
2010
Springer
The b-chromatic number of a graph G is the largest integer k such that G admits a proper k-coloring in which every color class contains at least one vertex adjacent to some vertex...
GC
2010
Springer
13 years 7 months ago
2010
Springer
GC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we establish two symmetric identities on sums of products of Euler polynomials.
GC
2010
Springer
13 years 7 months ago
2010
Springer