5889 search results - page 1006 / 1178 » Graph Layout Problems |
124
click to vote
CP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
128
click to vote
DIS
2009
Springer
15 years 6 months ago
2009
Springer
We address the problem of efficiently discovering the influential nodes in a social network under the susceptible/infected/susceptible (SIS) model, a diffusion model where nodes ar...
135
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Genetic Programming was first introduced by Koza using tree representation together with a crossover technique in which random sub-branches of the parents' trees are swapped ...
149
click to vote
ICCCN
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, a hybrid sensor network consisting of static and mobile sensors is considered, where static sensors are used to detect events, and mobile sensors can move to event l...
123
click to vote
ATVA
2004
Springer
15 years 6 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...