4498 search results - page 166 / 900 » How to Invent Functions |
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
This paper present the design and function of magiran.com, a databse of periodicals published in Iran. It also attempts to answer the following questions: How many of the total pe...
143
Voted
COLT
2008
Springer
15 years 5 months ago
2008
Springer
In the multi-view learning paradigm, the input variable is partitioned into two different views X1 and X2 and there is a target variable Y of interest. The underlying assumption i...
120
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
In multiple instance learning (MIL), how the instances determine the bag-labels is an essential issue, both algorithmically and intrinsically. In this paper, we show that the mech...
107
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
163
click to vote
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...