Sciweavers

4385 search results - page 484 / 877
» Abstraction for Concurrent Objects
Sort
View
PPSN
2004
Springer
16 years 5 days ago
Constrained Evolutionary Optimization by Approximate Ranking and Surrogate Models
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
Thomas Philip Runarsson
WLP
2004
Springer
16 years 5 days ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
AGP
2003
IEEE
16 years 4 days ago
Enhancing Disjunctive Logic Programming for Ontology Specification
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
Francesco Calimeri, Stefania Galizia, Massimo Ruff...
EUROPAR
2003
Springer
16 years 1 days ago
The Design of an API for Strict Multithreading in C++
Abstract. This paper deals with the design of an API for building distributed parallel applications in C++ which embody strict multithreaded computations. The API is enhanced with ...
Wolfgang Blochinger, Wolfgang Küchlin
GPCE
2003
Springer
16 years 1 days ago
Making Patterns Explicit with Metaprogramming
Abstract. Design patterns have been a useful tool for a better understanding of the collaboration between several classes and objects in a program. One drawback of this approach is...
Daniel von Dincklage