Sciweavers

3281 search results - page 65 / 657
» Bases for parametrized iterativity
Sort
View
ESOP
2008
Springer
15 years 3 months ago
Iterative Specialisation of Horn Clauses
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
Christoffer Rosenkilde Nielsen, Flemming Nielson, ...
TSMC
2002
143views more  TSMC 2002»
15 years 1 months ago
Robot visual servoing with iterative learning control
Abstract--This paper presents an iterative learning scheme for visionguided robot trajectory tracking. At first, a stability criterion for designing iterative learning controller i...
Ping Jiang, Rolf Unbehauen
IJCV
2008
209views more  IJCV 2008»
15 years 3 days ago
Motion and Appearance Nonparametric Joint Entropy for Video Segmentation
This paper deals with video segmentation based on motion and spatial information. Classically, the motion term is based on a motion compensation error (MCE) between two consecutiv...
Sylvain Boltz, Ariane Herbulot, Eric Debreuve, Mic...
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 1 months ago
New Criteria for Iterative Decoding
Iterative decoding was not originally introduced as the solution to an optimization problem rendering the analysis of its convergence very difficult. In this paper, we investigate...
Florence Alberge, Ziad Naja, Pierre Duhamel
VTC
2007
IEEE
140views Communications» more  VTC 2007»
15 years 7 months ago
Iterative Phase Noise Mitigation in MIMO-OFDM Systems with Pilot Aided Channel Estimation
— The use of multiple transmit and receive antennas in combination with multicarrier modulation, e.g. MIMO-OFDM, is a very promising technique for future wireless communication s...
Steffen Bittner, Ernesto Zimmermann, Gerhard Fettw...