1670 search results - page 124 / 334 » On Skolemization in constructive theories |
148
click to vote
CONCUR
2007
Springer
16 years 18 days ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
177
click to vote
MIRAGE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of an alpha overlay shadow model. Previou...
143
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a new and innovative approach called mission-based just in time agent generation. The approach allows agents to be constructed on the fly, at run-time and just...
160
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a novel constructive learning algorithm for a competitive neural network. The proposed algorithm is developed by taking ideas from the immune system and demons...
143
click to vote
ISNN
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents two non-parametric statistical test methods, called Kolmogorov-Smirnov (KS) and U statistic test methods, respectively, for informative gene selection of a tumo...