Sciweavers

2642 search results - page 239 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
136
Voted
JFP
2008
97views more  JFP 2008»
15 years 3 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey
RTSS
2005
IEEE
15 years 10 months ago
Tardiness Bounds under Global EDF Scheduling on a Multiprocessor
We consider the scheduling of a sporadic real-time task system on an identical multiprocessor. Though Pfair algorithms are theoretically optimal for such task systems, in practice...
UmaMaheswari C. Devi, James H. Anderson
118
Voted
ICPR
2006
IEEE
16 years 5 months ago
GMM-based SVM for face recognition
A new face recognition algorithm is presented. It supposes that a video sequence of a person is available both at enrollment and test time. During enrollment, a client Gaussian Mi...
Gérard Chollet, Hervé Bredin, Najim ...
117
Voted
ICDAR
2009
IEEE
15 years 11 months ago
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping
Classifier combination is a powerful strategy to support useful solutions in difficult classification problems. Notwithstanding, the effectiveness of a multi-classifier system str...
Giuseppe Pirlo, Donato Impedovo, Claudia Adamita T...
ICC
2007
IEEE
15 years 11 months ago
QoS-guaranteed Transmission Scheme Selection for OFDMA Multi-hop Cellular Networks
Abstract— In this paper, a problem for efficient use of subcarriers in downlink OFDMA multi-hop cellular networks is studied based on quality of service (QoS) guarantee of each ...
Jemin Lee, Sungsoo Park, Hano Wang, Daesik Hong