Sciweavers

1806 search results - page 47 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
109
Voted
APPROX
2009
Springer
137views Algorithms» more  APPROX 2009»
15 years 7 months ago
Testing Computability by Width Two OBDDs
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...
Dana Ron, Gilad Tsur
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 6 months ago
A study on metamodeling techniques, ensembles, and multi-surrogates in evolutionary computation
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...
Dudy Lim, Yew-Soon Ong, Yaochu Jin, Bernhard Sendh...
73
Voted
ISMIR
2004
Springer
101views Music» more  ISMIR 2004»
15 years 6 months ago
A Matlab Toolbox to Compute Music Similarity from Audio
A Matlab toolbox implementing music similarity measures for audio is presented. The implemented measures focus on aspects related to timbre and periodicities in the signal. This p...
Elias Pampalk
180
Voted

Book
290views
16 years 10 months ago
Type Theory and Functional Programming
"Constructive Type theory has been a topic of research interest to computer scientists, mathematicians, logicians and philosophers for a number of years. For computer scient...
Simon Thompson
89
Voted
ITCC
2005
IEEE
15 years 6 months ago
Conversion and Proxy Functions for Symmetric Key Ciphers
As a general design criterion, a symmetric key cipher should not be closed under functional composition due to the implications on the security of the cipher. However, there are s...
Debra L. Cook, Angelos D. Keromytis