2000 search results - page 314 / 400 » The Dynamics of Syntactic Knowledge |
129
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
151
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
The subset sum problem (SSP) (given n numbers and a target bound B, find a subset of the numbers summing to B), is one of the classical NP-hard problems. The hardness of SSP vari...
175
Voted
MM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
154
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper develops and analyzes distributed search techniques for use in a peer-to-peer (P2P) network-based Information Retrieval (IR) system. In the absence of a centralized med...
168
click to vote
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
Recently, a large amount of work has been done in XML data mining. However, we observed that most of the existing works focus on the snapshot XML data, while XML data is dynamic i...