2282 search results - page 265 / 457 » Active property checking |
151
Voted
DIS
2009
Springer
15 years 9 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...
132
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
The increased use of botnets as an attack tool and the awareness attackers have of blocking lists leads to the question of whether we can effectively predict future bot locations...
133
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
155
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
132
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Neuronal communication is tightly regulated in time and in space. The neuronal transmission takes place in the nerve terminal, at a specialized structure called the sy...