649 search results - page 69 / 130 » Sampling Algorithms in a Stream Operator |
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
Underwater survey by a team of autonomous robots brings couple of problems caused mainly by the communication restrictions due to the nature of environment. Communication range and...
CHARME
1999
Springer
14 years 5 days ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
CUZA
2010
13 years 5 months ago
2010
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
A nonlinear interpolat,or using a rational function filter is applied to the restoration of image sequence frames of digitized old movies. Samples to be interpolated are due to st...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Sphere decoding achieves maximum-likelihood (ML) performance at the cost of exponential complexity; lattice reduction-aided successive interference cancelation (SIC) significantly...