272 search results - page 19 / 55 » Some Results on Ordered Structures in Toposes |
DAGSTUHL
2006
13 years 10 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
ML
1998
ACM
13 years 8 months ago
1998
ACM
It is well known that prior knowledge or bias can speed up learning, at least in theory. It has proved di cult to make constructive use of prior knowledge, so that approximately c...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
A new graph-based evolutionary algorithm named “Genetic Network Programming, GNP” has been proposed. GNP represents its solutions as directed graph structures, which can improv...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
In order to extract geometrical features from a multispectral image and derive a classification, an approach based on the topographic map of the image is proposed. For each pixel,...
ANSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Computer simulations of complex systems such as physical aggregation processes or swarming and collective behaviour of life-forms, often require order N-squared computational c...