643 search results - page 60 / 129 » Semantic Determinism and Functional Logic Program Properties |
152
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
157
click to vote
JAPLL
2008
15 years 5 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
122
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
153
click to vote
DIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
155
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...