next up previous contents
Next: 5 Vorträge Up: Tätigkeitsbericht 1996 Previous: 3 Darstellung der Forschungsvorhaben

4 Veröffentlichungen

Arnoldi and Brauer, 1996
Arnoldi, H.-M. und Brauer, W. (1996). Synchronization without oscillatory neurons. Biological Cybernetics 74, S. 209-223.

Bradfield et al., 1996
Bradfield, J., Esparza, J., und Mader, A. (1996). An effective tableau system for the linear time mu-calculus. In Meyer auf der Heide, F. et al. (Ed.), ICALP '96, Nr. 1099 in Lecture Notes in Computer Science, S. 98-109, Berlin, Heidelberg. Springer Verlag.

Brauer, 1996a
Brauer, W. (1996a). Der C4-Schock. In 25 Jahre Informatik, Fachberichte Informatik, S. 97-99. Universität Hamburg.

Brauer, 1996b
Brauer, W. (1996b). Gezeichnete Beiträge zur theoretischen Informatik. In Strube, G. et al. (Ed.), Wörterbuch der Kognitionswissenschaft. Klett-Cotta.

Brauer et al., 1995
Brauer, W., Brychcy, T., Eldracher, M., Hernández, D., und Kinder, M. (1995). Abschlußbericht zum Projekt NERES-Neuronale Regelung und Steuerung von Industrierobotern. Techn. Report FKI-211-95, Fakultät für Informatik, Technische Universität München.

Brauer et al., 1996
Brauer, W., Brychcy, T., Eldracher, M., Hernández, D., und Kinder, M. (1996). Kombination neuronaler und symbolischer Methoden zur Bahnplanung. In van der Meer, M., Schmidt, R., und Gottfried, W. (Ed.), Statusseminar des BMBF Künstliche Intelligenz, Neuroinformatik und intelligente Systeme, S. 301-313. Projektträger Informationstechnik des BMBF bei der DLR e.V.

Cuéllar et al., 1996a
Cuéllar, J., Barnard, D., und Huber, M. (1996a). A Solution relying on the Model Checking of Boolean Transition Systems. In Formal Systems Specification - The RPC-Memory Specification Case Study, Band 1169 von LNCS.

Cuéllar et al., 1996b
Cuéllar, J., Barnard, D., und Huber, M. (1996b). Rapid Prototyping for an Assertional Specification Language. In TACAS'96, Band 1055 von LNCS.

Dikant et al., 1996
Dikant, P., Weiß, G., und Brauer, W. (1996). Verteiltes maschinelles Lernen und Lastverteilung in Rechnernetzen. Techn. Report FKI-215-96, Fakultät für Informatik, Technische Universität München.

Eldracher and Merklein, 1996
Eldracher, M. und Merklein, R. (1996). Why the Parti-Game algorithm does not work satisfyingly for manipulator trajectory generation. Techn. Report FKI-213-96, Fakultät für Informatik, Technische Universität München.

Eldracher and Pic, 1996
Eldracher, M. und Pic, T. (1996). Quick trajectory generation for manipulators using incremental randomized graph construction. Techn. Report FKI-212-96, Fakultät für Informatik, Technische Universität München.

Engelbrecht et al., 1996
Engelbrecht, R., Waschulzik, T., Brauer, W., und Scherf, M. (1996). The structured development method SENN for feedforward neural networks and the application to the multimedia patient record in the Bavarian Health Net. In Terashima, N. et al. (Ed.), Advanced IT Tools, S. 163-170. Chapman & Hall, London.

Erlebach et al., 1996
Erlebach, T., Rossmanith, P., Stadtherr, H., Steger, A., und Zeugmann, T. (1996). Efficient learning of one-variable pattern languages from positive examples. Techn. Report DOI-TR-128, Department of Informatics, Kyushu University.

Esparza, 1996
Esparza, J. (1996). Reachability for live and safe free-choice Petri nets is NP-complete. SFB-Bericht Nr. 342/12/96 A, Technische Universität München.

Esparza and Bruns, 1996
Esparza, J. und Bruns, G. (1996). Trapping Mutual Exclusion in the Box Calculus. Theoretical Computer Science 153 (1996), Nr. 1, S. 95-128.

Esparza et al., 1996
Esparza, J., Römer, S., und Vogler, W. (1996). An Improvement of McMillan's Unfolding Algorithm. In Margaria, T. und Steffen, B. (Ed.), Proceedings of 2nd Int. Workshop of Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, Passau, Nr. 1055 in Lecture Notes in Computer Science, S. 87-106. Springer Verlag.

Hernández, 1996
Hernández, D. (1996). Scheme. In Strube, G. et al. (Ed.), Wörterbuch der Kognitionswissenschaft. Klett-Cotta.

Hochreiter and Schmidhuber, 1995
Hochreiter, S. und Schmidhuber, J. (1995). Long short-term memory. Techn. Report FKI-207-95, Fakultät für Informatik, Technische Universität München. Revised 1996 (see www.idsia.ch/~juergen, www7.informatik.tu-muenchen.de/~hochreit).

Hochreiter and Schmidhuber, 1996a
Hochreiter, S. und Schmidhuber, J. (1996a). Bridging long time lags by weight guessing and ``Long Short-Term Memory''. In Silva, F. L., Principe, J. C., und Almeida, L. B. (Ed.), Spatiotemporal models in biological and artificial systems, S. 65-72. IOS Press, Amsterdam, Netherlands. Serie: Frontiers in Artificial Intelligence and Applications, Volume 37.

Hochreiter and Schmidhuber, 1996b
Hochreiter, S. und Schmidhuber, J. (1996b). Flat minima. Neural Computation, 9(1). In press. Extended version available in WWW homepages of Hochreiter and Schmidhuber.

Hochreiter and Schmidhuber, 1997
Hochreiter, S. und Schmidhuber, J. (1997). LSTM can solve hard long time lag problems. In Advances in Neural Information Processing Systems 9. MIT Press, Cambridge MA. Presented at NIPS 96.

Hofmann and Tresp, 1996
Hofmann, R. und Tresp, V. (1996). Discovering Structure in Continuous Variables Using Bayesian Networks. In Neural Information Processing Systems 8. MIT Press.

Holzer and Rossmanith, 1996
Holzer, M. und Rossmanith, P. (1996). A simpler grammar for Fibonacci numbers. The Fibonacci Quarterly, 5(34):465-466.

Hubwieser et al., 1996
Hubwieser, P., Broy, M., und Brauer, W. (1996). A new approach in teaching information technologies: shifting emphasis from technology to information. In Passey, E. et al. (Ed.), Information Technology. Supporting change through teacher education, S. 352. Chapman & Hall, London.

Huhn et al., 1996
Huhn, M., Niebert, P., und Wallner, F. (1996). Put your Model Checker on Diet: Verification on Local States. SFB-Bericht 342/18/96 A TUM-I9642, Technische Universität München.

Jancar and Esparza, 1996
Jancar, P. und Esparza, J. (1996). Deciding finiteness of Petri nets up to bisimulation. In Meyer auf der Heide, F. et al. (Ed.), Proceedings of ICALP '96, Paderborn, Juli 1996, Nr. 1099 in Lecture Notes in Computer Science, S. 478-489. Springer Verlag.

Kinder, 1996
Kinder, M. (1996). Pfadplanung für Manipulatoren in komplexen Umgebungen mittels generalisierender Pfadspeicherung in Ellipsoidkarten. Reihe 8: Meß-, Steuerungs- und Regelungstechnik, Nr. 580, VDI Verlag, Düsseldorf. in German.

Kindler, 1996
Kindler, E. (1996). A compositional partial order semantics for Petri net components. SFB-Bericht 342/06/96 A, Technische Universität München.

Kovalyov and Esparza, 1996
Kovalyov, A. und Esparza, J. (1996). A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs. In Proceedings of WODES '96, Edinburgh, Ausgust 1996, S. 1-6. Institution of Electrical Engineers.

Kristen and Taubner, 1996
Kristen, H. und Taubner, D. (2.9.1996). Ehrfurcht vor dem Altsystem - Software-Reengineering als Rettungsanker. Computerwoche Focus Nr. 5.

Kunde et al., 1996
Kunde, M., Niedermeier, R., Reinhardt, K., und Rossmanith, P. (1996). Optimal deterministic sorting and routing grids and tori with diagonals. Techn. Report TUM-I9629, Technische Universität München.

Mayr, 1996a
Mayr, R. (1996a). Model checking pa-processes. Techn. Report TUM-I9640, TU-München.

Mayr, 1996b
Mayr, R. (1996b). Semantic reachability for simple process algebras. In Steffen, B. und Margaria, T. (Ed.), Proceedings of INFINITY'96, Nr. MIP-9614 in Technical report series of the University of Passau. University of Passau.

Mayr, 1996c
Mayr, R. (1996c). Some results on basic parallel processes. Techn. Report TUM-I9616, TU-München.

Mayr, 1996d
Mayr, R. (1996d). A tableau system for model checking petri nets with a fragment of the linear time tex2html_wrap_inline2440 -calculus. Techn. Report TUM-I9634, TU-München.

Mayr, 1996e
Mayr, R. (1996e). Weak bisimulation and model checking for basic parallel processes. In Foundations of Software Technology and Theoretical Computer Science (FSTTCS'96), Nr. 1180 in LNCS. Springer Verlag.

Melzer and Esparza, 1996
Melzer, S. und Esparza, J. (1996). Checking system properties via Integer Programming. In Nielson, H. R. (Ed.), Proceedings of 6th European Symposium on Programming, ESOP '96, Lynkopping, Nr. 1058 in Lecture Notes in Computer Science, S. 250 - 265. Springer Verlag.

Melzer et al., 1996
Melzer, S., Römer, S., und Esparza, J. (1996). Verification Using PEP. In Wirsing, M. und Nivat, M. (Ed.), Proceedings of 5th Int. Conference of Algebraic Methodology and Software Technology, AMAST '96, München, Nr. 1101 in Lecture Notes in Computer Science, S. 591-594. Springer Verlag.

Menden and Stellner, 1996
Menden, J. und Stellner, G. (1996). Proving properties of pvm applications - a case study with cocheck. In Bode, A., Dongarra, J., Ludwig, T., und Sunderam, V. (Ed.), Parallel Virtual Machine -- EuroPVM '96, Nr. 1156 in Lecture Notes in Computer Science, S. 134-141, Berlin, Heidelberg. Springer Verlag.

Niedermeier and Rossmanith, 1996
Niedermeier, R. und Rossmanith, P. (1996). Unambiguous computations and locally definable acceptance types (expanded version). Techn. Report WSI-96-25, Universität Tübingen.

Ormoneit and Tresp, 1996
Ormoneit, D. und Tresp, V. (1996). Improved gaussian mixture density estimates using bayesian penalty terms and network averaging 8. In Touretzky, D. S., Mozer, M. C., und Hasselmo, M. E. (Ed.), Advances in Neural Information Processing Systems, S. 542-548. The MIT Press.

Peceny, M., Weiß, G., Brauer, W., 1996
Peceny, M., Weiß, G., Brauer, W. (1996). Verteiltes maschinelles Lernen in Fertigungsumgebungen. Techn. Report FKI-218-96, Fakultät für Informatik, Technische Universität München.

Römer and Melzer, 1996
Römer, S. und Melzer, S. (1996). Synchronisierende Automaten in PEP. In Desel, J., Kindler, E., und Oberweis, A. (Ed.), 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Forschungsbericht Nr. 341.

Ruge and Brauer, 1996
Ruge, G. und Brauer, W. (1996). Heads und Modifiers bei der Korpusananlyse. LDV-Forum, 13(1/2):3-16.

Scheler, 1996a
Scheler, G. (1996a). Computer simulation of language acquisition: A proposal concerning early language learning in a micro-world. Techn. Report FKI-214-96, Institut für Informatik, Technische Universität München,.

Scheler, 1996b
Scheler, G. (1996b). Extracting semantic features from unrestricted text. In Proceedings of WCNN '96.

Scheler, 1996c
Scheler, G. (1996c). Generating English plural determiners from semantic representations. In Wermter, S., Riloff, E., und Scheler, G. (Ed.), Learning for natural language processing: Statistical, connectionist and symbolic approaches. Springer Verlag.

Scheler, 1996d
Scheler, G. (1996d). Lexematische Äquivalenz in der maschinellen Übersetzung. Techn. Report FKI-219-96, Institut für Informatik, TU München.

Scheler, 1996e
Scheler, G. (1996e). Some parallels between linguistic and visual processing. In Cottrell, G. (Ed.), Proceedings of 18th Cognitive Science Society, San Diego.

Scheler, 1996f
Scheler, G. (1996f). With raised eyebrows or the eyebrows raised ? a nn approach to grammar checking for definiteness. In Nemlap-2, 20-26. September, Ankara, Turkey.

Schittenkopf et al., 1997
Schittenkopf, C., Deco, G., und Brauer, W. (1997). Two strategies to avoid overfitting in feedforward networks. Neural Networks, 10(3):505-516.

Schmidhuber, 1996a
Schmidhuber, J. (1996a). A general method for multi-agent learning in unrestricted environments. In 1996 AAAI Symposium of Adaption, Co-evolution and Learning in Multiagent Systems, TR SS-96-01, S. 84-87, Menlo Park, Calif. AAAI Press.

Schmidhuber, 1996b
Schmidhuber, J. (1996b). Realistic multi-agent reinforcement learning. In Weiß, G. (Ed.), Working Notes of the 1996 ECAI Workshop, Learning in Distributed Artificial Intelligence Systems.

Schmidhuber, 1996c
Schmidhuber, J. (1996c). The Neural Heat Exchanger. In Proceedings of ICONIP'96.

Schmidhuber et al., 1996
Schmidhuber, J., Eldracher, M., und Foltin, B. (1996). Semilinear predictability minimization produces well-known feature detectors. Neural Computation, 8(4):773-786.

Schmidhuber and Heil, 1996
Schmidhuber, J. und Heil, S. (1996). Sequential neural text compression. IEEE Transactions in Neural Networks, 1(7):142-146.

Schmidhuber and Hochreiter, 1996
Schmidhuber, J. und Hochreiter, S. (1996). Guessing can outperform many long time lag algorithms. Techn. Report IDSIA-19-96, IDSIA.

Schmidhuber and Wiering, 1996
Schmidhuber, J. und Wiering, M. (1996). Solving POMDPs using Levin search and EIRA. In Saitta, L. (Ed.), Machine Learning: Proceedings of the 13th International Conference, San Francisco, CA, S. 534-542. Morgan Kaufmann Publishers.

Schmidhuber and Zhao, 1996
Schmidhuber, J. und Zhao, J. (1996). Incremental selv-improvement for life-time multi-agent reinfocement learning. In Maes, P. et al. (Ed.), From Animals to Animats 4: Proceedings of the Fourth International Conference on Simulation of Adaptive Behaviour, Cambridge, MA, S. 516-525. MIT Press, Bradford Books.

Schürmann et al., 1996
Schürmann, B., Taniguchi, M., Hirzinger, G., Koeppe, R., Brauer, W., und Simon, H.-U. (1996). Neuronale Regelung und Steuerung für Industrieroboter. In van der Meer, M., Schmidt, R., und Gottfried, W. (Ed.), Statusseminar des BMBF Künstliche Intelligenz, Neuroinformatik und intelligente Systeme, S. 301-313. Projektträger Informationstechnik des BMBF bei der DLR e.V.

Storck et al., 1996
Storck, J., Hochreiter, S., und Schmidhuber, J. (1996). Reinforcment driven information acquisition in non-deterministic environments. In Proceedings of the International Conference on Artificial Neural Networks, Paris, Okt. 9-13, 1995, Band 2, S. 159-164, Paris. EC2 & Cie.

Sturm and Eder, 1996
Sturm, M. und Eder, K. (1996). Self-organizing process state detection for on-line adaptation tasks. In Bulsari, A. B., Kallio, S., und Tsaptsinos, D. (Ed.), Solving Engineering Problems with Neural Networks, Proceedings of the International Conference EANN ´96, S. 33-36, London. Systeemitekniikan seura ry.

Surrer and Taubner, 1996
Surrer, H. und Taubner, D. (1996). Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design. Informatik-Spektrum, 19:196-205.

Weiß, 1996a
Weiß, G. (1996a). An action-oriented perspective of learning in classifier systems. Journal of Experimental and Theoretical Artificial Intelligence, 8:43-62.

Weiß, 1996b
Weiß, G. (1996b). Adaptation and learning in multi-agent systems: Some remarks and a bibliography. In Weiß, G. und Sen, S. (Ed.), Adaption and learning in multi-agent systems, Nr. 1042 in Lecture Notes in Artificial Intelligence, S. 1-21. Springer Verlag, Berlin.

Weiß, 1996c
Weiß, G. (1996c). Learning in distributed artificial intelligence systems. In Working Notes of a Workshop held in conjunction with the 12th European Conference on Artificial Intelligence, Budapest, Hungary, Aug. 12-16.

Weiß and Sen, 1996
Weiß, G. und Sen, S. (Ed.) (1996). Adaption and learning in multi-agent systems. Nr. 1042 in Lecture Notes in Artificial Intelligence. Springer Verlag, Berlin.

Weiß, G., Haugeneder, H., Kraetzschmar, G., Müller, J., Wrobel, S., 1996
Weiß, G., Haugeneder, H., Kraetzschmar, G., Müller, J., Wrobel, S. (1996). Lernen, Adaption und Selbstorganisation in verteilten intelligenten Systemen. Techn. Report FKI-217-95, Fakultät für Informatik, Technische Universität München.

Wermter et al., 1996a
Wermter, S., Riloff, E., und Scheler, G. (1996a). Learning approaches to natural language processing: An overview. In Learning approaches to natural language processing: Statistical connectionist and symbolic approaches. Springer Verlag.

Wermter et al., 1996b
Wermter, S., Riloff, E., und Scheler, G. (Ed.) (1996b). Learning for natural language processing: statistical, connectionist and symbolic approaches. Lecture Notes in Artificial Intelligence. Springer Verlag.


next up previous contents
Next: 5 Vorträge Up: Tätigkeitsbericht 1996 Previous: 3 Darstellung der Forschungsvorhaben

Gerhard Müller, Alexandra Musto, Mon Jul 21 21:46:51 MET DST 1997