Sciweavers

949 search results - page 73 / 190
» exact 2008
Sort
View
DM
2008
145views more  DM 2008»
14 years 10 months 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
52
Voted
DM
2008
80views more  DM 2008»
14 years 10 months 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
94
Voted
EAAI
2008
104views more  EAAI 2008»
14 years 10 months 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
EJC
2008
14 years 10 months 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
ENTCS
2008
94views more  ENTCS 2008»
14 years 10 months 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