1144 search results - page 102 / 229 » Logic programming for combinatorial problems |
117
click to vote
COCOON
2008
Springer
15 years 4 months ago
2008
Springer
When a switching network topology is used for constructing optical cross-connects, as in the circuit switching case, no two routes are allowed to share a link. However, if two rou...
207
click to vote
WAE
2001
15 years 3 months ago
2001
The ability to provide uniform shared-memory access to a significant number of processors in a single SMP node brings us much closer to the ideal PRAM parallel computer. In this pa...
98
Voted
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
134
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
120
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...