1424 search results - page 254 / 285 » The Multi-radius Cover Problem |
EDBT
2009
ACM
14 years 3 months ago
2009
ACM
The discovery of complex patterns such as clusters, outliers, and associations from huge volumes of streaming data has been recognized as critical for many domains. However, patte...
IFIP
2001
Springer
14 years 3 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
ELPUB
2000
ACM
14 years 3 months ago
2000
ACM
The paper discusses the use of electronic publishing for the preservation and dissemination of rare manuscript material. It is based both upon the authors’ earlier work on multi...
PDIS
1994
IEEE
14 years 3 months ago
1994
IEEE
Constructing scalable high-performance applications on commodity hardware running the Unix operating system is a problem that must be addressed in several application domains. We ...
PERCOM
2010
ACM
14 years 2 months ago
2010
ACM
—Position of mobile users has become highly important information in pervasive computing environments. Indoor localization systems based on Wi-Fi signal strength fingerprinting t...