Sciweavers

4266 search results - page 530 / 854
» The container loading problem
Sort
View
89
Voted
STACS
2005
Springer
15 years 8 months ago
The Core of a Countably Categorical Structure
ded abstract of this article is published in the proceedings of STACS’05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
Manuel Bodirsky
136
Voted
GG
2004
Springer
15 years 8 months ago
Embedding in Switching Classes with Skew Gains
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Gr...
117
Voted
IDEAL
2004
Springer
15 years 8 months ago
Cosine Transform Priors for Enhanced Decoding of Compressed Images
Abstract. Image compression methods such as JPEG use quantisation of discrete cosine transform (DCT) coefficients of image blocks to produce lossy compression. During decoding, an...
Amos J. Storkey, Michael Allan
151
Voted
ISMIR
2004
Springer
202views Music» more  ISMIR 2004»
15 years 8 months ago
Automatic Chord Transcription with Concurrent Recognition of Chord Symbols and Boundaries
This paper describes a method that recognizes musical chords from real-world audio signals in compact-disc recordings. The automatic recognition of musical chords is necessary for...
Takuya Yoshioka, Tetsuro Kitahara, Kazunori Komata...
PROFES
2004
Springer
15 years 8 months ago
Effort Estimation Based on Collaborative Filtering
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
Naoki Ohsugi, Masateru Tsunoda, Akito Monden, Ken-...