Suche
Kategorie
JGU Mainz (85460)
Uni Trier (15102)
15102 Treffer
×
Universität Trier
- Slobodová, Anna; Meinel, Christoph
- Contributed Papers - Sample Method for Minimization of OBDDs
- Lecture notes in computer science. Bd. 1521. Berlin: Springer 1998 S. 419 - 428
- Bern, J.; Meinel, C.; Sack, H.
- Electronic Colloquia: Idea and Practice
- Proc. Int. Symposium of SIGDOC ´98. 1998 S. 113 - 119
- Meinel, Christoph; Sack, Harald
- [Mod2]-OBDDs : a BDD structure for probabilistic verification
- Trier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-28)
- Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
- Function decomposition and synthesis using linear sifting
- Trier: Univ., FB Mathematik Informatik 1997 13 S. (Trierer Forschungsberichte ; 97-14)
- Meinel, C.; Slobodová, A.
- Speeding up Variable Ordering of OBDDs
- Proc. Of IEEE ICCD ´97. 1997 S. 338 - 343
- Haffner, E. - G.; Engel, Th.; Meinel, C.
- The Flood-Gate Principle-a Hybrid Approach to a High Security Solution
- Proc. ICISI ´98. 1998
- Engel, T.; Heuer, A.; Meinel, C. et al.
- Interface for Navigation and Database-Querying via WWW
- Proc. ISI ´98. 1998
- Hudlov, S.; Engel, T.; Meinel, C.
- Adaptive Compression of DICOM- Image Data
- Proc. Int. Symposium of Electronic Image Capture and Publishing. 1998 S. 260 - 266
- Hudlov, S.; Schröter, C.; Meinel, C.
- Adaptive Compression of Image Data
- Proc. SYBEN ´98 Broadband Networks. 1998 S. 520 - 527
- Siemonsen, K.; Heuer, A.; Engel, T. et al.
- Ein Web-basiertes Navigationssystem für allgemeine, heterogene Datenbanksysteme
- Proc. Hypermedia im Umweltschutz. 1998