197 search results - page 31 / 40 » Advances in Local Search for Satisfiability |
ASYNC
2002
IEEE
14 years 14 days ago
2002
IEEE
In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
KR
2004
Springer
14 years 26 days ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
CLOUDCOM
2010
Springer
13 years 5 months ago
2010
Springer
Discovering the correct dataset efficiently is critical for computations and effective simulations in scientific experiments. In contrast to searching web documents over the Intern...
ESA
2010
Springer
13 years 8 months ago
2010
Springer
In a Content Distribution Network application, we have a set of servers and a set of clients to be connected to the servers. Often there are a few server types and a hard budget co...