234 search results - page 3 / 47 » Algorithmic Power from Declarative Use of Redundant Constrai... |
116
click to vote
AAAI
2010
15 years 1 months ago
2010
Spectral feature selection identifies relevant features by measuring their capability of preserving sample similarity. It provides a powerful framework for both supervised and uns...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
— The use of dynamic voltage and frequency scaling (DVFS) in contemporary multicores provides significant protection from unpredictable thermal events. A side effect of DVFS can ...
105
click to vote
ENTCS
2010
14 years 7 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
103
click to vote
ARITH
2003
IEEE
15 years 5 months ago
2003
IEEE
A high-radix composite algorithm for the computation of the powering function (¤¦¥ ) is presented in this paper. The algorithm consists of a sequence of overlapped operations: ...