1190 search results - page 10 / 238 » The Continuing Quest for Abstraction |
FMSB
2008
13 years 10 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
CIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
IEAAIE
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The study of a system for Vietnamese continuous digit recognition is described. The CSLU Toolkit was used to develop and implement hybrid HMM/ANN recognition systems. Exp...
AML
2002
13 years 8 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
EUSFLAT
2009
2009
Continuity and Additivity of the Trapezoidal Approximation Preserving the Expected Interval Operator
13 years 6 months ago
Abstract-- The nearest trapezoidal fuzzy number to a fuzzy number, with respect to a well-known metric and preserving the expected interval, was determined in recent articles. In t...