738 search results - page 50 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
SIAMJO
2002
14 years 9 months ago
2002
A probability-one homotopy algorithm for solving nonsmooth equations is described. This algorithm is able to solve problems involving highly nonlinear equations, where the norm of ...
MOBIHOC
2002
ACM
15 years 9 months ago
2002
ACM
Topology control problems are concerned with the assignment of power values to the nodes of an ad hoc network so that the power assignment leads to a graph topology satisfying som...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Coalition formation is an important form of interaction in multiagent systems. It enables the agents to satisfy tasks that they would otherwise be unable to perform, or would perf...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
DSOM
2006
Springer
15 years 1 months ago
2006
Springer
Load sharing in the data centre is an essential strategy for meeting service levels in high volume and high availability services. We investigate the accuracy with which simple, cl...