1830 search results - page 22 / 366 » Functional Programs as Linked Data |
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we consider the link prediction problem, where we are given a partial snapshot of a network at some time and the goal is to predict the additional links formed at a ...
117
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Agile recovery from link failures in autonomic communication networks is essential to increase robustness, accessibility, and reliability of data transmission. However, this must b...
182
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
HASKELL
2009
ACM
15 years 6 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
104
click to vote
FUIN
2010
14 years 9 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...