3335 search results - page 124 / 667 » A Unified Approach to Modeling and Programming |
153
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
188
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The study of common, complex multifactorial diseases in genetic epidemiology is complicated by nonlinearity in the genotype-to-phenotype mapping relationship that is due, in part,...
186
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
155
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
190
click to vote
SCP
2008
15 years 6 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...