Sciweavers

9359 search results - page 31 / 1872
» Generalization Algorithms for Second-Order Terms
Sort
View
ESOP
2007
Springer
15 years 5 months ago
Type Reconstruction for General Refinement Types
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
Kenneth W. Knowles, Cormac Flanagan
TNN
2008
128views more  TNN 2008»
15 years 1 months ago
A Hybrid Technique for Blind Separation of Non-Gaussian and Time-Correlated Sources Using a Multicomponent Approach
Blind inversion of a linear and instantaneous mixture of source signals is a problem often encountered in many signal processing applications. Efficient FastICA (EFICA) offers an ...
Petr Tichavský, Zbynek Koldovský, Ar...
IPL
2006
89views more  IPL 2006»
15 years 1 months ago
Adaptive general perfectly periodic scheduling
We propose an adaptive algorithm Adaptmin to create perfectly periodic schedules. A perfectly periodic schedule schedules a client regularly after a predefined amount of time known...
Shailesh Patil, Vijay K. Garg
ATAL
2007
Springer
15 years 8 months ago
A winner determination algorithm for auction-based decentralized scheduling
Categories and Subject Descriptors Artificial Intelligence General Terms Keywords
Chun Wang, Hamada Ghenniwa, Weiming Shen
ICONIP
2007
15 years 3 months ago
Using Generalization Error Bounds to Train the Set Covering Machine
In this paper we eliminate the need for parameter estimation associated with the set covering machine (SCM) by directly minimizing generalization error bounds. Firstly, we consider...
Zakria Hussain, John Shawe-Taylor