Sciweavers

949 search results - page 73 / 190
» exact 2008
Sort
View
92
Voted
DM
2008
145views more  DM 2008»
15 years 20 days ago
Clique coverings and partitions of line graphs
A clique in a graph G is a complete subgraph of G. A clique covering (partition) of G is a collection C of cliques such that each edge of G occurs in at least (exactly) one clique...
Bo-Jr Li, Gerard J. Chang
67
Voted
DM
2008
80views more  DM 2008»
15 years 20 days ago
Restrained bondage in graphs
Let G = (V, E) be a graph. A set S V is a restrained dominating set if every vertex not in S is adjacent to a vertex in S and to a vertex in V - S. The restrained domination numb...
Johannes H. Hattingh, Andrew R. Plummer
EAAI
2008
104views more  EAAI 2008»
15 years 20 days ago
Feasible distributed CSP models for scheduling problems
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
Miguel A. Salido, Adriana Giret
107
Voted
EJC
2008
15 years 20 days ago
Embeddability of arrangements of pseudocircles into the sphere
An arrangement of pseudocircles is a finite set of oriented closed Jordan curves each two of which cross each other in exactly two points. To describe the combinatorial structure ...
Ronald Ortner
127
Voted
ENTCS
2008
94views more  ENTCS 2008»
15 years 20 days ago
A Logical Framework with Explicit Conversions
The type theory P corresponds to the logical framework LF. In this paper we present H, a variant of P where convertibility is not implemented by means of the customary conversion ...
Herman Geuvers, Freek Wiedijk