8828 search results - page 1276 / 1766 » Formal methods in practice |
197
click to vote
MM
2003
ACM
16 years 12 days ago
2003
ACM
Several time series matching techniques have been proposed for content-based music retrieval. These techniques represent a melody by a time series of pitch values and use time war...
224
click to vote
AUSAI
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. The RGCP (Robust Graph Coloring problem) is a new variant of the traditional graph coloring problem. It has numerous practical applications in real world like timetabling...
204
click to vote
AWIC
2003
Springer
16 years 11 days ago
2003
Springer
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
197
click to vote
CP
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
179
click to vote
GCB
2003
Springer
16 years 11 days ago
2003
Springer
The further development of analytical techniques based on gas chromatography and mass spectrometry now facilitate the generation of larger sets of metabolite concentration data. T...