Sciweavers

2150 search results - page 105 / 430
» On a restricted cross-intersection problem
Sort
View
143
Voted
CADE
2006
Springer
16 years 4 months ago
A Resolution-Based Decision Procedure for SHOIQ
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
Yevgeny Kazakov, Boris Motik
ICALP
2009
Springer
16 years 4 months ago
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
We analyse the computational complexity of finding Nash equilibria in simple stochastic multiplayer games. We show that restricting the search space to equilibria whose payoffs fal...
Michael Ummels, Dominik Wojtczak
147
Voted
AE
2007
Springer
15 years 10 months ago
Adaptive and Assortative Mating Scheme for Evolutionary Multi-Objective Algorithms
We are interested in the role of restricted mating schemes in the context of evolutionary multi-objective algorithms. In this paper, we propose an adaptive assortative mating schem...
Khoi Le, Dario Landa Silva
CEEMAS
2005
Springer
15 years 10 months ago
Strategies for Distributed Underwater Survey
Underwater survey by a team of autonomous robots brings couple of problems caused mainly by the communication restrictions due to the nature of environment. Communication range and...
Milan Rollo, Petr Novák, Pavel Jisl
IVA
2005
Springer
15 years 10 months ago
Maintaining the Identity of Dynamically Embodied Agents
Abstract. Virtual agents are traditionally constrained in their embodiment, as they are restricted to one form of body. We propose allowing them to change their embodiment in order...
Alan N. Martin, Gregory M. P. O'Hare, Brian R. Duf...