5639 search results - page 298 / 1128 » Timed Abstract Non-interference |
135
Voted
ISNN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, a method of improving the learning time and convergence rate is proposed to exploit the advantages of artificial neural networks and fuzzy theory to neuron...
108
Voted
WABI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present two algorithms for computing the quartet distance between trees of arbitrary degree. The quartet distance between two unrooted evolutionary trees is the number...
142
Voted
WDAG
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The distributed complexity of computing a maximal independent set in a graph is of both practical and theoretical importance. While there exists an elegant O(log n) time ...
109
Voted
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
Abstract— A split shared-bus architecture with multiple simultaneous bus accesses is proposed. Compared to traditional bus architectures, the performance of proposed architecture...
119
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...