Sciweavers

2263 search results - page 328 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
117
Voted
CCS
2011
ACM
14 years 1 months ago
Automatically optimizing secure computation
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
Florian Kerschbaum
POPL
2004
ACM
16 years 1 months ago
Free theorems in the presence of seq
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Janis Voigtländer, Patricia Johann
FPCA
1989
15 years 5 months ago
Theorems for Free!
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Philip Wadler
148
Voted
TAL
2010
Springer
14 years 11 months ago
Passage Retrieval in Log Files: An Approach Based on Query Enrichment
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
Hassan Saneifar, Stéphane Bonniol, Anne Lau...
KCAP
2005
ACM
15 years 7 months ago
OLA in the OAEI 2005 Alignment Contest
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
Jérôme Euzenat, Philippe Guéga...