436 search results - page 10 / 88 » Recursion and Complexity |
ISCAS
1999
IEEE
14 years 18 hour ago
1999
IEEE
Multirate single-stage and multistage structures for highspeed recursive digital filtering are introduced. They can be used for arbitrary bandwidths and to increase the speed to a...
JLP
2010
13 years 6 months ago
2010
Various simplified or improved, and partly corrected well-known implicit characterizations of the complexity classes FPTIME and NC are presented. Primarily, the interest is in si...
FOSSACS
2011
Springer
12 years 11 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
RTA
2009
Springer
14 years 2 months ago
2009
Springer
We study the derivational complexity induced by the (basic) dependency pair method. Suppose the derivational complexity induced by a termination method is closed under elementary f...
ICA
2004
Springer
14 years 1 months ago
2004
Springer
We treat the problem of Blind Deconvolution of Single Input - Single Output (SISO) systems with real or complex binary sources. We explicate the basic mathematical idea by focusing...