11182 search results - page 1903 / 2237 » Shape Analysis of Sets |
180
Voted
DSS
2007
15 years 7 months ago
2007
This paper investigates the potential use of dialog-based ALICEbots in disseminating terrorism information to the general public. In particular, we study the acceptance and respon...
217
click to vote
JIIS
2006
15 years 7 months ago
2006
Spatio-temporal, geo-referenced datasets are growing rapidly, and will be more in the near future, due to both technological and social/commercial reasons. From the data mining vie...
179
click to vote
ENTCS
2007
15 years 7 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
201
Voted
JSAC
2006
15 years 7 months ago
2006
We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically stop functioning due to operational failu...
208
Voted
JSAC
2006
15 years 7 months ago
2006
Measuring the performance of an implementation of a set of protocols and analyzing the results is crucial to understanding the performance and limitations of the protocols in a rea...