3973 search results - page 15 / 795 » Records for Logic Programming |
104
click to vote
POPL
1992
ACM
15 years 3 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
107
click to vote
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we propose a linear programming (LP) decoding scheme for binary error-erasure channel for use in twodimensional magnetic recording. We compare the performance of thi...
109
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...