1234 search results - page 82 / 247 » Organizational Abstractions for Adaptive Systems |
160
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
138
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...
158
click to vote
BILDMED
2008
15 years 7 months ago
2008
Abstract. Scatterer detection in medical ultrasound imaging can be formulated as an inverse problem concerning a linear system model based on point scatterers. The applicability of...
175
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
170
click to vote
ESANN
2004
15 years 7 months ago
2004
Abstract. We present a large-scale Neuromorphic model based on integrateand-fire (IF) neurons that analyses objects and their depth within a moving visual scene. A feature-based al...