Sciweavers

1598 search results - page 9 / 320
» A Unified Computation Model for Functional and Logic Program...
Sort
View
AAMAS
2011
Springer
14 years 1 months ago
Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
John W. Lloyd, Kee Siong Ng
POPL
2012
ACM
13 years 5 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
112
Voted
ICFP
1999
ACM
15 years 1 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...
102
Voted
CORR
2010
Springer
200views Education» more  CORR 2010»
14 years 9 months ago
Unified Compression-Based Acceleration of Edit-Distance Computation
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic programming s...
Danny Hermelin, Gad M. Landau, Shir Landau, Oren W...
ICLP
2001
Springer
15 years 2 months ago
A Computational Model for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...