10038 search results - page 1817 / 2008 » Model Checking for Managers |
146
click to vote
MM
1999
ACM
15 years 8 months ago
1999
ACM
A real-time audio segmentation and indexing scheme is presented in this paper. Audio recordings are segmented and classified into basic audio types such as silence, speech, music,...
167
click to vote
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
There has been much recent interest in retrieval of time series data. Earlier work has used a fixed similarity metric (e.g., Euclidean distance) to determine the similarity betwee...
144
click to vote
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...
129
click to vote
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that th...
161
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...