Efficient failure discovery with limited authentication Borcherding, M. 1995. Proceedings of the 15th International Conference on Distributed Computing Systems, ICDCS, Vancouver, Canada 1995, 78–82, IEEE Computer Society
Supersolid phases for lattice bosons: a variational calculation Baltin, R.; Wagenblast, K.-H.; Schön, G.; Otterlo, A. van 1995. Macroscopic quantum phenomena and coherence in superconducting networks ; Frascati, Italy, 2 - 5 March 1995. Ed.: C. Giovannella, 70–75, World Scientific Publishing
Combining theorem proving and symbolic mathematical computing Homann, K.; Calmet, J. 1995. In: Integrating symbolic mathematical computation and artificial intelligence. AISMC-2. Ed.: J. Calmet. Berlin 1995. S. 18-29. (Lecture notes in computer science. 958.)
Distributed mathematical problem solving Calmet, J.; Homann, K. 1995. Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence. Ed.: E. Shamir, 222–230, AAAI Press
Theorems and algorithms: an interface between Isabelle and Maple Ballarin, C.; Homann, K.; Calmet, J. 1995. In: Proceedings. International Symposium on Symbolic and Algebraic Computation, ISSAC’95, Montreal, Canada 1995. Ed.: A. Levelt. ACM Pr. 1995. S. 150-157
Concept-based speech translation Mayfield, L.; Gavalda, M.; Ward, W.; Waibel, A. 1995. In: Conference proceedings. The 1995 International Conference on Acoustics, Speech and Signal Processing, ICASSP 1995, Detroit, Mich. Vol. 1. Piscataway, NJ 1995. S. 97-100
Language models for a spelled letter recognizer Betz, M.; Hild, H. 1995. In: Conference proceedings. The 1995 International Conference on Acoustics, Speech and Signal Processing, ICASSP 1995, Detroit, Mich. Vol. 1. Piscataway, NJ 1995. S. 856-859
Toward movement-invariant automatic lip-reading and speech recognition Duchnowski, P.; Hunke, M.; Buesching, D.; Meier, U.; Waibel, A. 1995. In: Conference proceedings. The 1995 International Conference on Acoustics, Speech and Signal Processing, ICASSP 1995, Detroit, Mich. Vol. 1. Piscataway, NJ 1995. S. 109-113
Multimodal interfaces Waibel, A.; Vo, M. T.; Duchnowski, P.; Manke, S. 1995. Artif. intell. rev. 10 (1995) Spec. vol. on Integration of natural language and vision processing
Multimodal learning interfaces Vo, M. T.; Houghton, R.; Yang, J.; Bub, U.; Meier, U.; Waibel, A.; Duchnowski, P. 1995. In: Proceedings of the ARPA Spoken Language Systems Technology Workshop, Austin, TX 1995. San Francisco, CA 1995
Dictionary learning: performance through consistency Sloboda, T. 1995. In: Conference proceedings. The 1995 International Conference on Acoustics, Speech and Signal Processing, ICASSP 1995, Detroit, Mich. Vol. 1. Piscataway, NJ 1995. S. 453-456
Janus - towards multilingual spoken language translation Suhm, B.; Geutner, P.; Kemp, T.; Rogina, I.; Schultz, T.; Sloboda, T.; Woszczyna, M.; Waibel, A.; et al. 1995. Proceedings of the ARPA Spoken Language Systems Technology Workshop, Austin, TX 1995. Vol. 1. San Francisco, CA 1995, 221–226, San Francisco
The Janus speech recognizer Rogina, I.; Waibel, A. 1995. In: Proceedings of the ARPA Spoken Language Systems Technology Workshop, Austin, TX 1995. San Francisco, CA 1995
Improved language modeling by unsupervised acquisition of structure Ries, K.; Buoe, F. D.; Wang, Y.-Y.; Waibel, A. 1995. Conference proceedings. ICASSP ’95, 1995 International Conference on Acoustics, Speech and Signal Processing; Vol 1: Speech, 193–196, IEEE Service Center
Data-driven codebook adaptation in phonetically tied SCHMMs Kemp, T. 1995. In: Conference proceedings. The 1995 International Conference on Acoustics, Speech and Signal Processing, ICASSP 1995, Detroit, Mich. Vol. 1. Piscataway, NJ 1995. S. 477-479
Covered trust values in distributed systems Borcherding, B.; Borcherding, M. 1995. Proceedings of the IFIP TC6, TC11 and Austrian Computer Society joint working conference on Communications and Multimedia Security. Ed.: R. Posch, 24–31, Chapman & Hall
Temporized and localized rule sets Sturm, R.; Muelle, J.; Lockemann, P. C. 1995. Rules in database systems (RIDS ’95). Ed.: T. Sellis, 131–146, Springer-Verlag
The treatment of non-functional requirements in MIKE Landes, D.; Studer, R. 1995. Karlsruhe 1995. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 319.)
Feinkörnig parallele Varianten des Insel- Modells genetischer Algorithmen Eichberg, D.; Kohlmorgen, U.; Schmeck, H. 1995. Karlsruhe 1995. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 330.) und Mitt., Ges. f. Informatik e.V., Parallel- Algorithmen u. Rechnerstrukt. 13 (1995) S. 74-80
Requirements specification and model-based knowledge engineering Angele, J.; Studer, R. 1995. Karlsruhe 1995. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 323.) und in: Proceedings of Softwaretechnik ’95, Braunschweig 1995. S. 4-16
Linear time computable problems and logical descriptions Seese, D. 1995. In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Pisa, Italy. Ed.: A. Corradini. Elsevier Sci. B.V. 1995. S. 219-232. (Electronic notes in theoretical computer science. 2.)
Learning via queries and oracles Stephan, F. 1995. In: Proceedings of the 8th Annual ACM Conference on Computational Learning Theory, COLT ’95, Santa Cruz, USA 1995. New York 1995. S. 162-169
Data flow analysis of parallel programs Vollmer, J. 1995. Parallel architectures and compilation techniques (PACT’95). Hrsg.: L. Bic, 168–177, Association for Computing Machinery (ACM)
Sather-K Goos, G. 1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,8.)
On the design of reliable libraries Frick, A. K.; Zimmer, W.; Zimmermann, W. 1995. Technology of object-oriented languages and systems. Ed.: R. Ege, 13–23, Prentice Hall
A geometric look on corner cutting Paluszny, M.; Prautzsch, H.; Schaefer, M. 1995. Proceedings of the 4th SIAM Conference on Geometric Design, November 6 - 9, 1995, Nashville, Tennessee, 29 S., Nashville
Daten in verteilten Systemen Keller, L.; Kottmann, D. 1995. Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,30.)