Sciweavers

5101 search results - page 762 / 1021
» Capturing Context Requirements
Sort
View
BIRTHDAY
2005
Springer
16 years 28 days ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
EPIA
2005
Springer
16 years 27 days ago
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
Pedro Cabalar, David Pearce, Agustín Valver...
FSTTCS
2005
Springer
16 years 27 days ago
The Set Cover with Pairs Problem
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
Refael Hassin, Danny Segev
GCC
2005
Springer
16 years 27 days ago
A Conceptual Modeling Approach to Virtual Organizations in the Grid
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
William Song, Xiaoming Li
ICCBR
2005
Springer
16 years 27 days ago
CBR for Modeling Complex Systems
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
Rosina Weber, Jason M. Proctor, Ilya Waldstein, An...