2656 search results - page 112 / 532 » A general purpose animator |
165
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
177
click to vote
ICIAR
2004
Springer
15 years 12 months ago
2004
Springer
Frequently, it is observed that the sequence of indexes generated by a vector quantizer (VQ) contains a high degree of correlation, and, therefore, can be further compressed using ...
127
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we present a novel approach to automatically determine the positions of sensors and actuators in an ad-hoc distributed network of heterogeneous general purpose comp...
187
click to vote
EMMCVPR
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, a novel general purpose clustering algorithm is presented, based on the watershed algorithm. The proposed approach defines a density function on a suitable lattice,...
208
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a technique for tracing anonymous packet flooding attacks in the Internet back towards their source. This work is motivated by the increased frequency and so...