Sciweavers

407 search results - page 9 / 82
» Recursive or iterative routing
Sort
View
PLILP
1993
Springer
15 years 4 months ago
Higher-Order Chaotic Iteration Sequences
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
Mads Rosendahl
TSP
2008
138views more  TSP 2008»
15 years 21 days ago
Iterative Joint Channel Estimation and Multiuser Detection for DS-CDMA in Frequency-Selective Fading Channels
Abstract--An iterative joint channel estimation, symbol detection, phase recovery and interference cancellation structure is proposed for asynchronous code-division multiple-access...
Sau-Hsuan Wu, Urbashi Mitra, C. C. Jay Kuo
105
Voted
FOSSACS
2010
Springer
15 years 7 months ago
CIA Structures and the Semantics of Recursion
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
ICIP
2002
IEEE
16 years 2 months ago
Wavelet denoising by recursive cycle spinning
Coupling the periodic time-invariance of the wavelet transform with the view of thresholding as a projection yields a simple, recursive, wavelet-based technique for denoising sign...
Alyson K. Fletcher, Vivek K. Goyal, Kannan Ramchan...
109
Voted
IFL
1999
Springer
108views Formal Methods» more  IFL 1999»
15 years 5 months ago
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
John H. G. van Groningen