4378 search results - page 306 / 876 » On the Complexity of Ordered Colourings |
170
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
We show that fixed membership testing for many interesting subclasses of multi-pushdown machines is no harder than for pushdowns with single stack. The models we consider are MVPA...
179
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A method that automatically estimates the metrical structure of a piece of music is presented. The approach is based on the generation of a beat similarity matrix, which provides ...
247
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Scan matching, the problem of registering two laser scans in order to determine the relative positions from which the scans were obtained, is one of the most heavily relied-upo...
178
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents Tiji, a trajectory generation scheme, ie an algorithm that computes a feasible trajectory between a start and a goal state, for a given robotic system. Tiji...
154
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...