Zeitschriftenartikel (3187)
2821.
Zeitschriftenartikel
Decidability by Resolution for Propositional Modal Logics. Journal of Automated Reasoning 22 (4), S. 379 - 396 (1999)
2822.
Zeitschriftenartikel
Randomized online scheduling with delivery times. Journal of Combinatorial Optimization 3 (4), S. 399 - 416 (1999)
2823.
Zeitschriftenartikel
Row-Major Sorting on Meshes. SIAM Journal on Computing 28 (3), S. 847 - 863 (1999)
2824.
Zeitschriftenartikel
Practical Parallel List Ranking. Journal of Parallel and Distributed Computing 56 (2), S. 156 - 180 (1999)
2825.
Zeitschriftenartikel
Minimum Coloring k-Colorable Graphs in Polynomial Average Time. Journal of Algorithms 33, S. 112 - 123 (1999)
2826.
Zeitschriftenartikel
Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27, S. 49 - 78 (1999)
2827.
Zeitschriftenartikel
Diagnosis and Decision Making in Normative Reasoning. Journal of Artificial Intelligence and Law 7, S. 51 - 67 (1999)
2828.
Zeitschriftenartikel
The ground-negative fragment of first-order logics is $\pi^p_2$-complete. The Journal of Symbolic Logic 64 (3), S. 984 - 990 (1999)
2829.
Zeitschriftenartikel
Randomness, Stochasticity, and Approximation. Theory of Computing Systems 32, S. 517 - 529 (1999)
2830.
Zeitschriftenartikel
SPASS V0.95TPTP. Journal of Automated Reasoning 23 (1), S. 21 - 21 (1999)
2831.
Zeitschriftenartikel
Review - Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. ACM SIGMOD Digital Review 1 (1999)
2832.
Zeitschriftenartikel
Towards Self-Tuning Memory Management for Data Servers. IEEE Data(Base) Engineering Bulletin 22 (2), S. 3 - 11 (1999)
2833.
Zeitschriftenartikel
Real-time Exploration of Regular Volume Data by Adaptive Reconstruction of Iso-Surfaces. The Visual Computer 15 (2), S. 100 - 111 (1999)
2834.
Zeitschriftenartikel
Strong unicity of best uniform approximation from periodic spline spaces. Journal of Approximation Theory 99 (2), S. 1 - 29 (1999)
2835.
Zeitschriftenartikel
A competitive analysis of the list update problem with lookahead. Theoretical Computer Science 197 (1/2), S. 95 - 109 (1998)
2836.
Zeitschriftenartikel
Improved randomized on-line algorithms for the list update problem. SIAM Journal on Computing 27 (3), S. 682 - 693 (1998)
2837.
Zeitschriftenartikel
New on-line algorithms for the page replication problem. Journal of Algorithms 27, S. 75 - 96 (1998)
2838.
Zeitschriftenartikel
Average case analyses of list update algorithms, with applications to data compression. Algorithmica 21 (3), S. 312 - 329 (1998)
2839.
Zeitschriftenartikel
Maximum Network Flow with Floating Point Arithmetic. Information Processing Letters 66 (3), S. 109 - 113 (1998)
2840.
Zeitschriftenartikel
All-Pairs Min-Cut in Sparse Networks. Journal of Algorithms 29, S. 82 - 110 (1998)