Searching for authors named "Harald Sack" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
NPBibSearch - an Ontology Augmented Bibliographic Search Engine, http://ipc755.inf-nf.uni.jena.de/NPBibSearch
- …NPBibSearch - An Ontology Augmented Bibliographic Search Harald Sack Institut für Informatik…
- Cited by 1 (1 self) – Add To MetaCart
-
⊕-OBDDs - a BDD Structure for Probabilistic Verification
- …, pp. 141--151 \Phi-OBDDs - a BDD Structure for Probabilistic Verification Christoph Meinel, Harald…
- Add To MetaCart
-
Case Study: Manipulating ⊕-OBDDs by Means of Signatures
- …Case Study: Manipulating \Phi-OBDDs by Means of Signatures Christoph Meinel, Harald Sack FB IV…
- Add To MetaCart
-
Algorithmic Considerations for ⊕-OBDD Reordering
- … Reordering Christoph Meinel, Harald Sack FB IV - Informatik, Universitat Trier D-54286 Trier, Germany email…
- Add To MetaCart
-
Probabilistic Symbolic Simulation and Verification with ⊕-OBDDs
- …Probabilistic Symbolic Simulation and Verification with \Phi-OBDDs Christoph Meinel, Harald Sack…
- Add To MetaCart
-
Heuristics for ⊕-OBDD Minimization
- … Tahoe, CA, USA, June 2001, pp. 304-309. Heuristics for -OBDD Minimization Christoph Meinel, Harald…
- Add To MetaCart
-
Functional Extension of Decision Diagrams in Practice
- … Harald Sack, Christoph Meinel FB IV - Informatik Universitat Trier D-54286 Trier fsack…
- Add To MetaCart
-
Improving XOR-Node Placement for ⊕-OBDDs
- … XOR-Node Placement for -OBDDs Christoph Meinel, Harald Sack FB IV- Informatik, UniversitSt Trier D…
- Add To MetaCart
-
Variable Reordering for ⊕-OBDDs
- … for -OBDDs Christoph Meinel Harald Sack FB IV Informatik Institut fur Informatik Universitat Trier…
- Add To MetaCart
-
Automated annotations of synchronized multimedia presentations
- …Automated Annotation of Synchronized Multimedia Presentations Harald Sack and Jörg Waitelonis…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
