292 search results - page 28 / 59 » Are Stable Instances Easy |
92
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...
108
click to vote
CEC
2010
IEEE
15 years 29 days ago
2010
IEEE
— Developing a problem-domain independent methodology to automatically generate high performing solving strategies for specific problems is one of the challenging trends on hype...
131
Voted
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we present an efficient algorithm for 3D object recognition in presence of clutter and occlusions in noisy, sparse and unsegmented range data. The method uses a robu...
128
click to vote
TSMC
2010
14 years 7 months ago
2010
The memory dumping problem arises in the context of planning and scheduling activities of the Mars Express mission of the European Space Agency. The problem consists of scheduling...
106
Voted
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
The Gaussian Mixture Model (GMM) is often used in conjunction with Mel-frequency cepstral coefficient (MFCC) feature vectors for speaker recognition. A great challenge is to use ...