2702 search results - page 126 / 541 » Practically Applicable Formal Methods |
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
ICANN
2005
Springer
15 years 3 months ago
2005
Springer
Sparse regression is the problem of selecting a parsimonious subset of all available regressors for an efficient prediction of a target variable. We consider a general setting in w...
IEEEICCI
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
CAIP
1995
Springer
15 years 1 months ago
1995
Springer
We propose a novel approach to image segmentation, called feature and spatial domain clustering. The method is devised to group pixel data by taking into account simultaneously bo...