3166 search results - page 502 / 634 » Translation By Structural Correspondences |
130
click to vote
ISMIR
2005
Springer
15 years 6 months ago
2005
Springer
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Low level audio features are extracted from the raw audio data on sh...
99
Voted
MKM
2005
Springer
15 years 6 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
134
click to vote
PKDD
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
101
click to vote
POLICY
2005
Springer
15 years 6 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
133
click to vote
VLSM
2005
Springer
15 years 6 months ago
2005
Springer
The need to regularize tensor fields arise recently in various applications. We treat in this paper tensors that belong to matrix Lie groups. We formulate the problem of these SO(...