4255 search results - page 178 / 851 » Cover |
ENTCS
2008
15 years 4 months ago
2008
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
APPML
2006
15 years 4 months ago
2006
We study the simultaneous blow-up rates of a system of two heat equations coupled through the boundary in a nonlinear way. We complete the previous known results by covering the w...
138
click to vote
FUIN
2008
15 years 4 months ago
2008
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
130
click to vote
DISOPT
2006
15 years 4 months ago
2006
We propose an effective heuristic to save memory in dynamic programming on tree decompositions when solving graph optimization problems. The introduced "anchor technique"...
166
click to vote
IJFCS
2008
15 years 4 months ago
2008
A fundamental problem in music is to classify songs according to their rhythm. A rhythm is represented by a sequence of "Quick" (Q) and "Slow" (S) symbols, whi...