133 search results - page 18 / 27 » Locally Excluding a Minor |
95
Voted
ISMIR
2003
Springer
15 years 7 months ago
2003
Springer
Music alignment links events in a score and points on the audio performance time axis. All the parts of a recording can be thus indexed according to score information. The automat...
110
click to vote
PDP
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it has a ...
82
Voted
CSL
2008
Springer
15 years 3 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
122
Voted
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Most tracking algorithms implicitly apply a coarse segmentation of each target object using a simple mask such as a rectangle or an ellipse. Although convenient, such coarse segme...
APAL
2010
15 years 2 months ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...