971 search results - page 116 / 195 » Planning with Reduced Operator Sets |
157
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Many retailers run loyalty card schemes for their customers offering incentives in the form of money off coupons. The total value of the coupons depends on how much the customer ha...
180
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
In large-scale parallel applications a graph coloring is often carried out to schedule computational tasks. In this paper, we describe a new distributedmemory algorithm for doing t...
168
click to vote
ADHOCNOW
2004
Springer
15 years 11 months ago
2004
Springer
Sensor networks consist of multiple low-cost, autonomous, ad-hoc sensors, that periodically probe and react to the environment and communicate with other sensors or devices. A prim...
143
click to vote
WEA
2004
Springer
15 years 11 months ago
2004
Springer
Clustering can be used to identify groups of similar solutions in Multimodal Optimisation. However, a poor clustering quality reduces the benefit of this application. The vast maj...
152
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...