1989 search results - page 172 / 398 » Set functions for functional logic programming |
131
click to vote
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
130
Voted
ENTCS
2010
15 years 23 days ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
231
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
117
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
119
click to vote
AAAI
1997
15 years 4 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...