Integrating design synthesis and assembly of structured objects in a visual design language
Omid Banyasad, Philip T. Cox · 2004
Abstract onlyNot checked
Computational Theory and Mathematics
Filters2 filters applied
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
1,393 papersQuestions on this topic
An Analysis of Lambek's Production Machines
Riccardo Pucella · RAIRO Informatique Theorique et Applications, 31 (5), pp. 483-497, 1997 · 2004
Abstract onlyNot checked
Complexity Results in Graph Reconstruction
Edith Hemaspaandra, Lane A. Hemaspaandra, Stanislaw P. Radziszowski et al. · 2004
Abstract onlyNot checked
Insertion Sort is O(n log n)
Michael A. Bender, Martin Farach-Colton, Miguel Mosteiro · 2004
Abstract onlyNot checked
On the Theory of Structural Subtyping
Viktor Kuncak, Martin Rinard · 2004
Abstract onlyNot checked
P=NP
Selmer Bringsjord, Joshua Taylor · 2004
Abstract onlyNot checked
PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation
Robert A. Hearn, Erik D. Demaine · 2004
Abstract onlyNot checked
Randomized selection with tripartitioning
Krzysztof C. Kiwiel · 2004
Abstract onlyNot checked
Hash sort: A linear time complexity multiple-dimensional sort algorithm
William F. Gilreath · Proceedings of First Southern Symposium on Computing December 1998 · 2004
Abstract onlyNot checked
Neighborhood-Based Topology Recognition in Sensor Networks
Sandor P. Fekete, Alexander Kroeller, Dennis Pfisterer et al. · 2004
Abstract onlyNot checked
On rational definite summation
Sergey P. Tsarev · 2004
Abstract onlyNot checked
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Viktor Kuncak, Martin Rinard · 2004
Abstract onlyNot checked
The Random Buffer Tree: A Randomized Technique for I/O-efficient Algorithms
Saju Jude Dominic, G. Sajith · 2004
Abstract onlyNot checked
Overhead-Free Computation, DCFLs, and CFLs
Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau · 2004
Abstract onlyNot checked
Deciding Disjunctive Linear Arithmetic with SAT
Ofer Strichman · 2004
Abstract onlyNot checked
The Complexity of Modified Instances
Paolo Liberatore · 2004
Abstract onlyNot checked
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind · 2004
Abstract onlyNot checked
Evolving Categories: Consistent Framework for Representation of Data and Algorithms
Evgeny Yanenko · 2004
Abstract onlyNot checked
Multi-Embedding of Metric Spaces
Yair Bartal, Manor Mendel · SIAM J. Comput. 34(1): 248-259, 2004 · 2004
Abstract onlyNot checked
Hardware-Oriented Group Solutions for Hard Problems
Mark Burgin · 2004
Abstract onlyNot checked