Sciweavers

2642 search results - page 239 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
JFP
2008
97views more  JFP 2008»
15 years 5 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
16 years 3 days 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
ICPR
2006
IEEE
16 years 7 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 ...
ICDAR
2009
IEEE
16 years 1 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
16 years 26 days 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