Sciweavers

3863 search results - page 125 / 773
» Function in Device Representation
Sort
View
CIE
2006
Springer
15 years 7 months ago
Coinductive Proofs for Basic Real Computation
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
Tie Hou
ICML
1994
IEEE
15 years 7 months ago
Hierarchical Self-Organization in Genetic programming
This paper presents an approach to automatic discovery of functions in Genetic Programming. The approach is based on discovery of useful building blocks by analyzing the evolution...
Justinian P. Rosca, Dana H. Ballard
ICML
2005
IEEE
16 years 4 months ago
A practical generalization of Fourier-based learning
This paper presents a search algorithm for finding functions that are highly correlated with an arbitrary set of data. The functions found by the search can be used to approximate...
Adam Drake, Dan Ventura
MMM
2006
Springer
116views Multimedia» more  MMM 2006»
15 years 9 months ago
Effective similarity search in multimedia databases using multiple representations
Similarity search in large multimedia databases is an important issue in nowadays multimedia environment. Multimedia objects such as music videos usually consist of multiple repre...
Hans-Peter Kriegel, Peer Kröger, Peter Kunath...
AIS
2010
Springer
15 years 3 months ago
Thinking with external representations
Why do people create extra representations to help them make sense of situations, diagrams, illustrations, instructions and problems? The obvious explanation-external representatio...
David Kirsh