Sciweavers

745 search results - page 60 / 149
» The origins of combinatorics on words
Sort
View
IJFCS
2006
119views more  IJFCS 2006»
15 years 1 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
103
Voted
JUCS
2006
112views more  JUCS 2006»
15 years 1 months ago
Construction of Wavelets and Applications
: A sequence of increasing translation invariant subspaces can be defined by the Haar-system (or generally by wavelets). The orthogonal projection to the subspaces generates a deco...
Ildikó László, Ferenc Schipp,...
MTA
2008
87views more  MTA 2008»
15 years 1 months ago
A cross-modal approach for karaoke artifacts correction
Karaoke singing is a popular form of entertainment in several parts of the world. Since this genre of performance attracts amateurs, the singing often has artifacts related to scal...
Wei-Qi Yan, Mohan S. Kankanhalli
PRL
2008
213views more  PRL 2008»
15 years 1 months ago
Boosting recombined weak classifiers
Boosting is a set of methods for the construction of classifier ensembles. The differential feature of these methods is that they allow to obtain a strong classifier from the comb...
Juan José Rodríguez, Jesús Ma...
PRL
2008
246views more  PRL 2008»
15 years 1 months ago
Automatic medical image annotation in ImageCLEF 2007: Overview, results, and discussion
In this paper, the automatic medical annotation task of the 2007 CLEF cross-language image retrieval campaign (ImageCLEF) is described. The paper focusses on the images used, the ...
Thomas Deselaers, Thomas Martin Deserno, Henning M...