137
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
133
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, a...
149
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
137
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a low-cost stereo vision implementation suitable for use in autonomous vehicle applications and designed with agricultural applications in mind. This implementation uti...
144
Voted
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
While medium- and large-sized computing centers have increasingly relied on clusters of commodity PC hardware to provide cost-effective capacity and capability, it is not clear th...