Sciweavers

4103 search results - page 657 / 821
» Some results on the Collatz problem
Sort
View
ADAEUROPE
2001
Springer
15 years 11 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
ECML
2001
Springer
15 years 11 months ago
Iterative Double Clustering for Unsupervised and Semi-supervised Learning
We present a powerful meta-clustering technique called Iterative Double Clustering (IDC). The IDC method is a natural extension of the recent Double Clustering (DC) method of Slon...
Ran El-Yaniv, Oren Souroujon
FPGA
2001
ACM
139views FPGA» more  FPGA 2001»
15 years 11 months ago
A memory coherence technique for online transient error recovery of FPGA configurations
The partial reconfiguration feature of some of the currentgeneration Field Programmable Gate Arrays (FPGAs) can improve dependability by detecting and correcting errors in onchip ...
Wei-Je Huang, Edward J. McCluskey
ISMIR
2001
Springer
146views Music» more  ISMIR 2001»
15 years 10 months ago
An Audio Front End for Query-by-Humming Systems
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
Emanuele Pollastri
IWDC
2001
Springer
146views Communications» more  IWDC 2001»
15 years 10 months ago
Aggregated Multicast for Scalable QoS Multicast Provisioning
Abstract. IP multicast suffers from scalability problem with the number of concurrently active multicast groups, while scalability of QoS multicast is even further from being solve...
Mario Gerla, Aiguo Fei, Jun-Hong Cui, Michalis Fal...