Sciweavers

6769 search results - page 307 / 1354
» A new concept of robustness
Sort
View
CAIP
2007
Springer
190views Image Analysis» more  CAIP 2007»
16 years 27 days ago
Image Segmentation Based on Height Maps
Abstract. In this paper we introduce a new method for image segmentation. It is based on a height map generated from the input image. The height map characterizes the image content...
Gabriele Peters, Jochen Kerdels
AAAI
2008
15 years 9 months ago
A Reductive Semantics for Counting and Choice in Answer Set Programming
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
CLIMA
2007
15 years 8 months ago
A Logic for Reasoning about Rational Agents
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
Wojciech Jamroga, Nils Bulling
EC
1998
134views ECommerce» more  EC 1998»
15 years 6 months ago
Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation
In this paper we first review the main results obtained in the theory of schemata in Genetic Programming (GP) emphasising their strengths and weaknesses. Then we propose a new, s...
Riccardo Poli, William B. Langdon
IWSOS
2009
Springer
16 years 1 months ago
A Survey of Models and Design Methods for Self-organizing Networked Systems
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...
Wilfried Elmenreich, Raissa D'Souza, Christian Bet...