3819 search results - page 172 / 764 » Simple Easy Terms |
150
click to vote
ISMIR
2005
Springer
16 years 14 days ago
2005
Springer
This paper presents an overview of different approaches to melody segmentation aimed at extracting music lexical units, which can be used as content descriptors of music documents...
186
click to vote
SIGCSE
2004
ACM
16 years 12 days ago
2004
ACM
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...
127
click to vote
AMC
2007
15 years 7 months ago
2007
We are concerned with the initial-boundary problem associated to the Korteweg–de Vries–Kawahara perturbed by a dispersive term which appears in several fluids dynamics proble...
195
click to vote
AAECC
2006
Springer
15 years 7 months ago
2006
Springer
The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...
161
click to vote
SIAMDM
2008
15 years 6 months ago
2008
We introduce and study adapted list coloring of graphs and hypergraphs. This is a generalization of ordinary list coloring and adapted coloring, and has more applications than thes...