214 search results - page 16 / 43 » Optimisation of Terminological Reasoning |
AI
2005
Springer
13 years 8 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
PPSN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The chief purpose of research in optimisation is to understand how to design (or choose) the most suitable algorithm for a given distribution of problem instances. Ideall...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
The research area of evolutionary multiobjective optimization (EMO) is reaching better understandings of the properties and capabilities of EMO algorithms, and accumulating much e...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
We address the problem of scalable distributed reasoning, proposing a technique for materialising the closure of an RDF graph based on MapReduce. We have implemented our approach o...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...