2266 search results - page 430 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
ICNP
1999
IEEE
15 years 5 months ago
1999
IEEE
A number of QoS routing algorithms have been proposed to address the dual objective of selecting feasible paths through the network with enough resources to satisfy a connections&...
111
click to vote
ALENEX
2007
15 years 2 months ago
2007
We consider the problem of designing a distributed algorithm that, given an arbitrary connected graph G of nodes with unique labels, converts G into a sorted list of nodes. This a...
129
click to vote
PVLDB
2010
14 years 8 months ago
2010
Top-k queries are widely applied for retrieving a ranked set of the k most interesting objects based on the individual user preferences. As an example, in online marketplaces, cus...
125
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...