4498 search results - page 770 / 900 » How to Invent Functions |
143
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
141
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
131
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
131
Voted
ALT
2006
Springer
16 years 17 days ago
2006
Springer
Most of the existing active learning algorithms are based on the realizability assumption: The learner’s hypothesis class is assumed to contain a target function that perfectly c...
148
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We introduce a new dissimilarity function for ranked lists, the expected weighted Hoeffding distance, that has several advantages over current dissimilarity measures for ranked s...