8132 search results - page 395 / 1627 » Dependability, Abstraction, and Programming |
185
click to vote
EVOW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
168
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
200
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
190
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
208
click to vote
ERLANG
2006
ACM
16 years 26 days ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...