Search: English, 1998

Results 1 - 25 of 32

Results

Authors Year Title Type Fulltext
Lindemann, Christoph 1998 Performance Modelling with Deterministic and Stochastic Petri Nets Paper
Zakharyaschev, Michael
Wolter, Frank...
1998 Advanced Modal logic Paper pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Dynamic description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Temporalizing description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Intuitionistic Modal Logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Multi-dimensional description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Intuitionistic Modal Logics as fragments of Classical Bimodal Logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 On the decidability of description logics with modal operators Paper pdf
Weber, S. 1998 Investigations in Belnap's Logic of Inconsistent and Unknown Information Diss pdf
Wolter, Frank 1998 Fragments of Common knowledge Logics Report pdf
Wolter, Frank 1998 The algebraic face of minimality Paper pdf
Wolter, Frank 1998 On Logics with Coimplication Paper pdf
Wolter, Frank 1998 The product of converse PDL and polymodal K Report pdf
Rahm, Erhard 1998 Evaluation of object-relational database systems for fulltext retrieval Report pdf
Müller, Robert
Heller, Barbara
...
1998 HematoWork: A Knowledge-based Workflow System for Distributed Cancer Therapy Paper pdf
Müller, Robert
Rahm, Erhard
1998 A Petri Net-based Model for Knowledge-based Workflows in Distributed Cancer Therapy Paper pdf
Märtens, Holger 1998 Skew-Insensitive Join Processing in Shared-Disk Database Systems Paper pdf
Märtens, Holger 1998 Disk Scheduling for Intermediate Results of Large Join Queries in Shared-Disk Parallel Database Systems Report pdf
Märtens, Holger 1998 Options in Scan Processing for Shared-Disk Parallel Database Systems Report pdf
Miarka, Ralph 1998 Formal Specification and Verification of Knowledge and its Application Dipl pdf
Hamzaoui, Raouf
Saupe, Dietmar
...
1998 Rate-distortion based video coding with adaptive mean-removed vector quantization Paper pdf
Haupt, Reiner
Hering, Klaus
...
1998 Integration of a Local Search Operator into Evolutionary Algorithms for VLSI-Model Partitioning Paper pdf
Gräbe, Hans-Gert 1998 About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce. Book pdf
Gräbe, Hans-Gert 1998 Algebraic Numbers in Symbolic Computations Paper pdf
Der, Ralf
Lummer, Olaf
...
1998 Incremental nonlinear dynamic data reconciliation Report pdf
Der, Ralf
Steinmetz, Ulrich
...
1998 Nonlinear principal component analysis. Report pdf
Der, Ralf
Smyth, Darragh
1998 Local online learning of coherent information Paper pdf
Döhler, Denis
Hering, Klaus
...
1998 Cycle-Based Simulation on Loosely-Coupled Systems. Paper pdf
Apel, Joachim 1998 The Computation of Gröbner Bases Using an Alternative Algorithm. Paper pdf
Apel, Joachim 1998 Computational Ideal Theory in Finitely Generated Extension Rings Report pdf
Apel, Joachim
Klaus, Uwe
1998 Aspects of Large Scale Symbolic Computation Management Report pdf
Apel, Joachim
Klaus, Uwe
1998 A Note on Data Types Supporting Efficient Implementations of Polynomial Arithmetics Report pdf