147 search results - page 15 / 30 » The Computational Complexity of Quantified Reciprocals |
APAL
2005
14 years 9 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...
ICPP
2007
IEEE
15 years 3 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— The idea of the cognitive network, drawn from previous research in cognitive radios and cross-layer design, is an attempt to address issues of complexity and scalability by all...
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
The increasing complexity and pervasiveness of handheld devices is demanding the development of interaction techniques explicitly tailored for mobile scenarios. This paper examine...
NIPS
2001
14 years 11 months ago
2001
Unsupervised learning algorithms have been derived for several statistical models of English grammar, but their computational complexity makes applying them to large data sets int...