On the Complexity of Real Functions
Mark Braverman · 2005
Abstract onlyNot checked
Computer Science
Filters2 filters applied
Topic
Status
- Corrected
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
11,753 papersQuestions on this topic
Research into safe traffic of Lithuanian railway lines
Laura ÄŒerniauskaite, Igoris Podagelis, Kazys Sakalauskas · Transport · 2005
Abstract onlyNot checked
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
L. Bertossi, L. Bravo, E. Franconi et al. · 2005
Abstract onlyNot checked
P-Selectivity, Immunity, and the Power of One Bit
Lane A. Hemaspaandra, Leen Torenvliet · 2005
Abstract onlyNot checked
Theory and Practice of Transactional Method Caching
Daniel Pfeifer, Peter C. Lockemann · 2005
Abstract onlyNot checked
A Taxonomy of Data Grids for Distributed Data Sharing, Management and Processing
Srikumar Venugopal, Rajkumar Buyya, Kotagiri Ramamohanarao · 2005
Abstract onlyNot checked
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
Farn Wang · 2005
Abstract onlyNot checked
Efficient Parallel Simulations of Asynchronous Cellular Arrays
Boris D. Lubachevsky · Complex Systems, vol.1, no.6, December 1987, pp.1099--1123, S. Wolfram, (ed.) · 2005
Abstract onlyNot checked
Metalinguistic Information Extraction for Terminology
Carlos Rodriguez · 2005
Abstract onlyNot checked
Area and Volume Restoration in Elastically Deformable Solids
Micky Kelager, Anders Fleron, Kenny Erleben · ELCVIA Electronic Letters on Computer Vision and Image Analysis · 2005
Abstract onlyNot checked
Multi-document Biography Summarization
Liang Zhou, Miruna Ticrea, Eduard Hovy · Proceedings of EMNLP, pp. 434-441, 2004 · 2005
Abstract onlyNot checked
The Complexity of Kings
Edith Hemaspaandra, Lane A. Hemaspaandra, Osamu Watanabe · 2005
Abstract onlyNot checked
Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
Yong Luo · 2005
Abstract onlyNot checked
A Semantic Grid-based E-Learning Framework (SELF)
Zaheer Abbas, Muhammad Umer, Mohammed Odeh et al. · 2005
Abstract onlyNot checked
Extending Design by Contract for Aspect-Oriented Programming
David H. Lorenz, Therapon Skotiniotis · 2005
Abstract onlyNot checked
Set Unification
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi · 2005
Abstract onlyNot checked
Parallel algorithms for solution of nonlinear diffusion problems in image smoothing
R. Čiegis, A. Jakušev, A. Krylovas et al. · Mathematical Modelling and Analysis · 2005
Abstract onlyNot checked
QSAR study on benzenesulfonamide ionization constant: physicochemical approach using surface tension
Abhilash Thakur · ARKIVOC · 2005
Abstract onlyNot checked
Tensor manipulation in GPL Maxima
Viktor Toth · 2005
Abstract onlyNot checked
Application of the Double Metaphone Algorithm to Amharic Orthography
Daniel Yacob · 2004
Abstract onlyNot checked