1389 search results - page 10 / 278 » Definability as hypercomputational effect |
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
Data integrated from multiple sources may contain inconsistencies that violate integrity constraints. The constraint repair problem attempts to find "low cost" changes t...
MOC
2002
13 years 8 months ago
2002
An essential part of any boundary value problem is the domain on which the problem is defined. The domain is often given by scanning or another digital image technique with limited...
PODS
2008
ACM
14 years 8 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
CBMS
2004
IEEE
14 years 10 days ago
2004
IEEE
This paper presents the effects of image quality, given by the number of pixels used to define the image. A microaneurysm (MA) segmentation algorithm that has been shown to achiev...
GECCO
2000
Springer
14 years 5 days ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...