895 search results - page 113 / 179 » Using graphs for some discrete tomography problems |
145
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
125
Voted
ICPP
1994
IEEE
15 years 7 months ago
1994
IEEE
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
140
Voted
IJCAI
2003
15 years 5 months ago
2003
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
133
Voted
GD
2006
Springer
15 years 7 months ago
2006
Springer
Graph drawing software are now commonly used. However, the choice of a well-adapted program may be hard for an inexperienced user. This poster presents a website (http://www.polyte...
136
Voted
AAAI
2007
15 years 6 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...