6155 search results - page 966 / 1231 » A language for multiple models of computation |
182
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
214
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
175
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
181
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
202
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...