Linear-Time Pointer-Machine Algorithms for Path-Evaluation Problems on Trees and Graphs
Adam L. Buchsbaum, Loukas Georgiadis, Haim Kaplan et al. · 2006
Abstract onlyNot checked
Computational Theory and Mathematics
Filters3 filters applied
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
Readable here
117 papersQuestions on this topic
Well-founded and Stable Semantics of Logic Programs with Aggregates
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · 2006
Abstract onlyNot checked
Generalized Counters and Reversal Complexity
M. V. Panduranga Rao · pp.318-326, Proceedings of TAMC 2006, Beijing, China, Springer LNCS, 3959 · 2006
Abstract onlyNot checked
Searching Monotone Multi-dimensional Arrays
Yongxi Cheng, Xiaoming Sun, Yiqun Lisa Yin · 2006
Abstract onlyNot checked
Optimal Covering Tours with Turn Costs
Esther M. Arkin, Michael A. Bender, Erik D. Demaine et al. · 2005
Abstract onlyNot checked
Modelling the Eulerian Path Problem using a String Matching Framework
Dragos Trinca · 2005
Abstract onlyNot checked
Utilitarian resource assignment
Petra Berenbrink, Leslie Ann Goldberg, Paul Goldberg et al. · 2005
Abstract onlyNot checked
The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties
Peter Buergisser, Martin Lotz · 2005
Abstract onlyNot checked
TeXmacs-maxima interface
A. G. Grozin · 2005
Abstract onlyNot checked
A New Look at Survey Propagation and its Generalizations
Eliza N. Maneva, Elchanan Mossel, Martin J. Wainwright · 2005
Abstract onlyNot checked
Computing minimal models, stable models and answer sets
Z. Lonc, M. Truszczynski · 2005
Abstract onlyNot checked
The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable
Joost Engelfriet, Sebastian Maneth · 2005
Abstract onlyNot checked
Fast Construction of Nets in Low Dimensional Metrics, and Their Applications
Sariel Har-Peled, Manor Mendel · SIAM J. Comput. 35(5):1148-1184, 2006 · 2005
Abstract onlyNot checked
Computing over the Reals: Foundations for Scientific Computing
Mark Braverman, Stephen Cook · 2005
Abstract onlyNot checked
Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix
Arne Storjohann, Gilles Villard · Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (2005) 309-316 · 2005
Abstract onlyNot checked
Approximation of dynamical systems using S-systems theory: application to biological systems
Laurent Tournier · 2005
Abstract onlyNot checked
Application of Kolmogorov complexity and universal codes to identity testing and nonparametric testing of serial independence for time series
Boris Ryabko, Jaakko Astola, Alex Gammerman · 2005
Abstract onlyNot checked
Amazons is PSPACE-complete
Robert A. Hearn · 2005
Abstract onlyNot checked
Measured descent: A new embedding method for finite metrics
Robert Krauthgamer, James R. Lee, Manor Mendel et al. · Geom. Funct. Anal. 15(4):839-858, 2005 · 2005
Abstract onlyNot checked
CP-nets and Nash equilibria
Krzysztof R. Apt, Francesca Rossi, K. Brent Venable · 2005
Abstract onlyNot checked