Zeitschriftenartikel (3187)
3061.
Zeitschriftenartikel
4 (3), S. 137 - 156 (1994)
Approximate Decision Algorithms for Point Set Congruence. Computational Geometry 3062.
Zeitschriftenartikel
2 (1), S. 27 - 27 (1994)
Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract. Sigala Newsletter 3063.
Zeitschriftenartikel
12 (1), S. 18 - 29 (1994)
An Optimal Algorithm for the On-line Closest-pair Problem. Algorithmica 3064.
Zeitschriftenartikel
13 (3), S. 443 - 454 (1994)
Implementing RenderMan - Practice, Problems and Enhancements. Computer Graphics Forum 3065.
Zeitschriftenartikel
47, S. 87 - 107 (1993)
The Complexity of One-Machine Batching Problems. Discrete Applied Mathematics 3066.
Zeitschriftenartikel
8 (3-4), S. 363 - 381 (1993)
A Recursion Planning Analysis of Inductive Completion. Annals of Mathematics and Artificial Intelligence 3067.
Zeitschriftenartikel
4 (3), S. 147 - 168 (1993)
Conditional Narrowing Modulo a Set of Equations. Applicable Algebra in Engineering, Communication and Computing 3068.
Zeitschriftenartikel
15 (5/6), S. 705 - 744 (1993)
On the Mechanical Derivation of Loop Invariants. Journal of Symbolic Computation 3069.
Zeitschriftenartikel
3 (4), S. 185 - 212 (1993)
Four Results on Randomized Incremental Constructions. Computational Geometry: Theory and Applications 3070.
Zeitschriftenartikel
36 (5), S. 419 - 426 (1993)
Quantifier Elimination in p-adic Fields. The Computer Journal 3071.
Zeitschriftenartikel
102 (2), S. 263 - 279 (1993)
A Lower Bound for the Worst Case of Bottom-Up-Heapsort. Information and Computation 3072.
Zeitschriftenartikel
10 (3-4), S. 267 - 275 (1993)
An Implementation of Triangular B-spline Surfaces over Arbitrary Triangulations. Computer Aided Geometric Design 3073.
Zeitschriftenartikel
22 (5), S. 1035 - 1052 (1993)
Drawing Graphs in the Plane with High Resolution. SIAM Journal on Computing 3074.
Zeitschriftenartikel
60, S. 293 - 301 (1993)
Circumscription: Completeness Reviewed. Artificial Intelligence 3075.
Zeitschriftenartikel
3, S. 157 - 184 (1993)
Randomized incremental construction of abstract Voronoi diagrams. Computational Geometry: Theory and Applications 3076.
Zeitschriftenartikel
3 (3), S. 245 - 267 (1993)
An Optimal Construction Method for Generalized Convex Layers. International Journal of Computational Geometry and Applications 3077.
Zeitschriftenartikel
3 (4), S. 235 - 246 (1993)
Tail Estimates for the Efficiency of Randomized Incremental Algorithms for Line Segment Intersection. Computational Geometry: Theory and Applications 3078.
Zeitschriftenartikel
40, S. 621 - 634 (1993)
Dynamic Interpolation Search. Journal of the ACM 3079.
Zeitschriftenartikel
1 (1), S. 69 - 90 (1993)
Translation Methods for Non-Classical Logics: An Overview. Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) 3080.
Zeitschriftenartikel
12 (2), S. 353 - 360 (1993)
A New Method for Hierarchical Compaction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems