5946 search results - page 799 / 1190 » Visual requirement representation |
179
click to vote
ISMIR
2005
Springer
16 years 9 days ago
2005
Springer
Supervised learning can be used to create good systems for note segmentation in audio data. However, this requires a large set of labeled training examples, and handlabeling is qu...
155
click to vote
ISSAC
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
180
click to vote
MKM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
161
click to vote
PAKDD
2005
ACM
16 years 9 days ago
2005
ACM
Abstract. The data stream model of computation is often used for analyzing huge volumes of continuously arriving data. In this paper, we present a novel algorithm called DUCstream ...
194
Voted
PPAM
2005
Springer
16 years 9 days ago
2005
Springer
The complexity and the dynamics of the Grid environment and of the emering workflow-based applications on the Grid require novel performance monitoring and analysis services in or...