6906 search results - page 347 / 1382 » An algorithm for modelling key terms |
200
click to vote
TRANSCI
2010
15 years 5 months ago
2010
To design a transportation sensor network, the decision-maker needs to determine what sensor investments should be made, as well as when, how, where and with what technologies. Th...
179
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
152
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...
141
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...
155
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Social insects such as ants and bees perform complex tasks with pheromone communication despite lack of top-down style control. We have examined applications of this pheromone par...