300
click to vote
AUSAI
2011
Springer
14 years 7 months ago
2011
Springer
Image feature selection (FS) is an important task which can affect the performance of image classification and recognition. In this paper, we present a feature selection algorithm ...
227
click to vote
AUSAI
2011
Springer
14 years 7 months ago
2011
Springer
The amount of user generated content on the Web is growing and identifying high quality content in a timely manner has become a problem. Many forums rely on its users to manually r...
219
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
254
click to vote
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...