1696 search results - page 45 / 340 » Permuted function matching |
165
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider the problem of efficiently computing weighted proximity best-joins over multiple lists, with applications in information retrieval and extraction. We are given a multi-...
ITP
2010
15 years 1 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
103
click to vote
SNPD
2003
14 years 11 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising i...
MFCS
2000
Springer
15 years 1 months ago
2000
Springer
We show that AI