Sciweavers

3031 search results - page 120 / 607
» Investigating human-computer optimization
Sort
View
179
Voted
MASCOTS
2008
15 years 7 months ago
Power Optimization in Fault-Tolerant MANETs
Abstract--In this paper, we investigate the problem of optimizing the lifetime of a mobile ad hoc network at a given degree k of connectivity by minimizing power consumption. Our p...
Oliviero Riganelli, Radu Grosu, Scott A. Smolka
DLOG
2001
15 years 7 months ago
Optimizing Reasoning in Description Logics with Qualified Number Restrictions
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
Volker Haarslev, Ralf Möller
171
Voted
DLOG
2000
15 years 7 months ago
Optimizing TBox and ABox Reasoning with Pseudo Models
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
Volker Haarslev, Ralf Möller
ICIP
2005
IEEE
16 years 7 months ago
Beyond interpolation: optimal reconstruction by quasi-interpolation
We investigate the use of quasi-interpolating approximation schemes, to construct an estimate of an unknown function from its given discrete samples. We show theoretically and wit...
Laurent Condat, Thierry Blu, Michael Unser
ECAI
2004
Springer
15 years 11 months ago
Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
Federico Pecora, Riccardo Rasconi, Amedeo Cesta