4451 search results - page 611 / 891 » Continuous model synthesis |
143
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
196
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...
226
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...
177
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we present a new method to design customizable self-evolving fuzzy rule-based classifiers. The presented approach combines an incremental clustering algorithm with a...
194
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...