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

4 Veröffentlichungen

Bartmann, 1997
Bartmann, D. (1997). PSYLOCK - Identifikation eines Tastaturbenutzers durch Analyse des Tippverhaltens. In Jarke, M., Pasedach, K., und Pohl, K. (Ed.), Informatik '97: Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik, Aachen, S. 327-334. Springer.

Bouajjani et al., 1997
Bouajjani, A., Esparza, J., und Maler, O. (1997). Reachability analaysis of pushdown automata: Application to model-checking. In Mazurkiewicz, A. und Winkowski, J. (Ed.), Proceedings of CONCUR '97, Nr. 1243 in Lecture Notes in Computer Science, S. 135-150. Springer.

Brauer, 1997a
Brauer, W. (1997a). Opening and welcome address. In Grundy, A., Köhler, D., Oechtering, V., und Petersen, U. (Ed.), Proc. of the 6th International IFIP Conference Women, Work and Computerization, S. 3-5. Springer.

Brauer, 1997b
Brauer, W. (1997b). Tendenzen in der Informatik - Ansprache des neuen Ehrendoktors. In Brunnstein, K. und Oberquelle, H. (Ed.), 25 Jahre Informatik an der Universität Hamburg, Informatik: Stand, Trends,Visionen, S. 71-76. Fachbereich Informatik, Universität Hamburg. Bericht FBI-HH-B-195/97.

Brauer and Brauer, 1997
Brauer, W. und Brauer, U. (1997). Silver Jubilee of EATCS. EATCS Bulletin 62, S. 3-23.

Brychcy, 1997
Brychcy, T. (1997). Vorstrukturierte Verallgemeinerte Rekurrente Neuronale Netze. Forschungsberichte Künstliche Intelligenz FKI-223-97, Institut für Informatik, Technische Universität München.

Bücherl, 1997
Bücherl, A. (1997). Ein logikbasierter Ansatz zur Modellierung kooperierender Agenten. In Graduiertenkolleg: Kooperation und Ressourcenmanagement in verteilten Systemen - Zwischenbericht zum Frühjahr 1997, Band TUM-I9707, S. 40-45. Technische Universität München, Institut für Informatik.

Burkhart and Esparza, 1997
Burkhart, O. und Esparza, J. (1997). More infinite results. In Bulletin of the EATCS 62 (Concurrency Column).

Clementini et al., 1997
Clementini, E., Di Felice, P., und Hernández, D. (1997). Qualitative representation of positional information. Artificial Intelligence, 95:317-356.

Damm et al., 1997
Damm, C., Holzer, M., und Rossmanith, P. (1997). Expressing uniformity via oracles. Theory of Computer Systems, 30:355-366.

de Rougemont and Schlieder, 1997
de Rougemont, M. und Schlieder, C. (1997). Spatial navigation with uncertain deviation. In Proc. Conference of the American Association for Artificial Intelligence, S. 649-654.

Deco et al., 1997a
Deco, G., Schittenkopf, C., und Schuermann, B. (1997a). Determining the information flow of dynamical systems from continuous probability distributions. Physical Review Letters, 78:2345-2348.

Deco et al., 1997b
Deco, G., Schittenkopf, C., und Schuermann, B. (1997b). Information flow in chaotic symbolic dynamics for finite and infinitesimal resolution. International Journal of Bifurcation and Chaos, 7:97-105.

Eisenkolb et al., 1997
Eisenkolb, A., Musto, A., Schill, K., Hernández, D., und Brauer, W. (1997). Qualitative representation of the course of motion: Cognitive and psychophysical foundations. Forschungsberichte Künstliche Intelligenz FKI-225-97, Institut für Informatik, Technische Universität München.

Erlebach et al., 1997
Erlebach, T., Rossmanith, P., Stadtherr, H., Steger, A., und Zeugmann, T. (1997). Learning one-variable pattern languages very efficiently on average, in parallel, and by asking queries. In Li, M. und Maruoka, A. (Ed.), Proceedings of the 8th International Workshop on Algorithmic Learning Theory, Nr. 1316 in Lecture Notes in Computer Science, S. 260-276. springer.

Esparza, 1997a
Esparza, J. (1997a). Decidability of model-checking for infinite-state concurrent systems. Acta Informatica, 34:85-107.

Esparza, 1997b
Esparza, J. (1997b). Petri nets, commutative context-free grammars, and basic parallel processes. Fundamenta Informaticae, 31:13-26.

Esparza and Melzer, 1997a
Esparza, J. und Melzer, S. (1997a). Model checking LTL using constraint programming. In Azéma, P. und Balbo, G. (Ed.), Proceedings of Application and Theory of Petri Nets - ICATPN'97, Band 1248 von Lecture Notes in Computer Science, S. 1-20. Springer-Verlag.

Esparza and Melzer, 1997b
Esparza, J. und Melzer, S. (1997b). Model checking LTL using constraint programming. SFB-Bericht 341/07/97 A, Technische Universität München.

Esparza and Rossmanith, 1997
Esparza, J. und Rossmanith, P. (1997). An automata approach to some problems on context-free grammars. In [Freksa et al., 1997], S. 143-152.

Fertig and Scheler, 1997a
Fertig, N. und Scheler, G. (1997a). Constructing semantic representations using the MDL principle. In Heyden, M. v. d. (Ed.), HELNET '97 Workshop on Neural Networks, Montreux, Switzerland.

Fertig and Scheler, 1997b
Fertig, N. und Scheler, G. (1997b). Feature extraction with minimum description length. In Wermter, S. (Ed.), KI 1997 Workshop on Hybrid Systems, Freiburg, Deutschland.

Freksa et al., 1997
Freksa, C., Jantzen, M., und Valk, R. (Ed.) (1997). Foundations of Computer Science. Potential--Theory--Cognition, Band 1337 von Lecture Notes in Artificial Intelligence. Springer, Berlin.

Hernández, 1997
Hernández, D. (1997). Qualitative vs. fuzzy representations of spatial distance. In [Freksa et al., 1997], S. 389-398.

Hochreiter, 1997
Hochreiter, S. (1997). Recurrent neural net learning and vanishing gradient. In Freksa, C. (Ed.), Proceedings in Artificial Intelligence -- Fuzzy-Neuro-Systeme 97, S. 130-137. INFIX, Sankt Augustin, Germany.

Hochreiter and Schmidhuber, 1997a
Hochreiter, S. und Schmidhuber, J. (1997a). Flat minima. Neural Computation, 9(1):1-42.

Hochreiter and Schmidhuber, 1997b
Hochreiter, S. und Schmidhuber, J. (1997b). LOCOCODE. Techn. Report FKI-222-97, Fakultät für Informatik, Technische Universität München.

Hochreiter and Schmidhuber, 1997c
Hochreiter, S. und Schmidhuber, J. (1997c). Long short-term memory. Neural Computation, 9(8):1735-1780.

Hochreiter and Schmidhuber, 1997d
Hochreiter, S. und Schmidhuber, J. (1997d). Low-complexity coding and decoding. In Wong, K. M., King, I., und Yeung, D. (Ed.), Proc. Theoretical Aspects of Neural Computation 97, Hong Kong, S. 297-306. Springer.

Hochreiter and Schmidhuber, 1997e
Hochreiter, S. und Schmidhuber, J. (1997e). LSTM can solve hard long time lag problems. In Mozer, M. C., Jordan, M. I., und Petsche, T. (Ed.), Advances in Neural Information Processing Systems 9, S. 473-479. MIT Press, Cambridge MA.

Hochreiter and Schmidhuber, 1997f
Hochreiter, S. und Schmidhuber, J. (1997f). Unsupervised coding with Lococode. In Gerstner, W., Germond, A., Hasler, M., und Nicoud, J.-D. (Ed.), Proceedings of the International Conference on Artificial Neural Networks, Lausanne, Switzerland, LNCS vol. 1327, S. 655-660. Springer.

Horsch et al., 1997
Horsch, A., Stolz, W., Neiß, A., Abmayr, W., Pompl, R., Bernklau, A., Bunk, W., Dersch, D., Gläßl, A., Schiffner, R., und Morfill, G. (1997). Improving early recognition of malignant melanomas by digital image analysis in dermatoscopy. In Medical Informatics Europe '97 (MIE '97), S. 531-535. IOS Press.

Hubwieser et al., 1997
Hubwieser, P., Broy, M., und Brauer, W. (1997). A new approach in teaching information technologies: shifting emphasis from technology to information. In Passey, D. und Samways, B. (Ed.), Information Technology. Supporting change through teacher education, S. 115-121, London. IFIP TC3 WG 3.1/3.5 Working Conference on Information Technology, Kiryat Anasvim, Israel, Chapman and Hall.

Iglesias et al., 1997
Iglesias, J. R., Esparza, J., und Sanchez, B. (1997). Differentialdiagnosis of lung neuroendocrine tumours with the help of ``medes''. Pathology Research and Practice, 85(183).

Kiehn, 1997
Kiehn, A. (1997). Observing partial order runs of Petri nets. In [Freksa et al., 1997], S. 233-238.

Kriebel, 1997
Kriebel, S. K. T. (1997). Prediction of the Upwelling Phenomenon at the Northwest African Atlantic Coast -- a connectionist approach. In Proceedings of the 1997 International Geoscience and Remote Sensing Symposium in Singapore, S. 1035-1037. IEEE Geoscience and Remote Sensing Society.

Mader, 1997
Mader, A. (1997). Verification of Modal Properties Using Boolean Equation Systems. Bertz Verlag, Berlin. edition versal 8, Dissertation (TU München).

Mayr, 1997a
Mayr, R. (1997a). Combining Petri nets and PA-processes. In Abadi, M. und Ito, T. (Ed.), International Symposium on Theoretical Aspects of Computer Software (TACS'97), Band 1281 von LNCS. Springer Verlag.

Mayr, 1997b
Mayr, R. (1997b). Model checking PA-processes. In International Conference on Concurrency Theory (CONCUR'97), Band 1243 von LNCS. Springer Verlag.

Mayr, 1997c
Mayr, R. (1997c). Process rewrite systems. Electronic Notes in Theoretical Computer Science (ENTCS), 7. Proceedings of Expressiveness in Concurrency (EXPRESS'97).

Mayr, 1997d
Mayr, R. (1997d). Semantic reachability. Electronic Notes in Theoretical Computer Science (ENTCS), 5.

Mayr, 1997e
Mayr, R. (1997e). Tableau methods for PA-processes. In Galmiche, D. (Ed.), Analytic Tableaux and Related Methods (TABLEAUX'97), Band 1227 von LNAI. Springer Verlag.

Melzer, 1997
Melzer, S. (1997). Checking liveness properties using constraint programming. In Smolka, G. (Ed.), Proceedings of Principles and Practice of Constraint Programming - CP'97, Band 1330 von Lecture Notes in Computer Science, S. 92-106. Springer-Verlag.

Melzer and Riemann, 1997a
Melzer, S. und Riemann, R.-C. (1997a). Construction of initially marked traps for scoped and refined petri boxes. LRI-Rapport 1133, Université Paris-Sud.

Melzer and Riemann, 1997b
Melzer, S. und Riemann, R.-C. (1997b). Construction of traps for refined petri boxes. In Kuru, S., Çaglayan, M. U., und Akin, H. L. (Ed.), Proceedings of 12th International Symposium on Computer and Information Sciences, S. 568-575, Istanbul.

Melzer and Römer, 1997
Melzer, S. und Römer, S. (1997). Deadlock checking using net unfoldings. In Grumberg, O. (Ed.), Proceedings of Computer Aided Verification - CAV'97, Band 1254 von Lecture Notes in Computer Science, S. 352-363. Springer-Verlag.

Niedermeier and Rossmanith, 1997
Niedermeier, R. und Rossmanith, P. (1997). Unambiguous computations and locally definable acceptance types. Theoretical Computer Science, 194:137-161.

Ormoneit et al., 1997
Ormoneit, D., , und White, H. (1997). An efficient algorithm to compute maximum entropy densities. Techn. Report FKI-220-97, Institut für Informatik, Technische Universität München.

Ormoneit, 1997a
Ormoneit, D. (1997a). Computational Economies, Wahrscheinlichkeitsdichten und Neuronale Netze zur Entscheidungsmodellierung in Multiagentensystemen. In Spies, P. (Ed.), Arbeits- und Ergebnisbericht zum ersten Fortsezungsantrag aufWeiterführung des Graduiertenkollegs, chapter 1.3.7.

Ormoneit, 1997b
Ormoneit, D. (1997b). Probability Estimating Neural Networks. PhD thesis, Institut für Informatik, Technische Universität München.

Rauh and Schlieder, 1997
Rauh, R. und Schlieder, C. (1997). Symmetries of model construction in spatial relational inference. In Proc. Conference of the Cognitive Science Society.

Röckl, 1997
Röckl, C. (1997). How to make substitution preserve strong bisimilarity. Techn. Report 342/11/97 A, Technische Universität München.

Ruge, 1997a
Ruge, G. (1997a). Automatic detection of thesaurus relations. In Freksa, C., Jantzen, M., und Valk, R. (Ed.), Foundations of Computer Science, S. 499-506. Springer.

Ruge, 1997b
Ruge, G. (1997b). Combining corpus linguistics and human memory models for automatic term association. In Strzalkowski, T. (Ed.), Natural Language Information Retrieval. Kluwer Academic Publishers.

Scheler, 1997a
Scheler, G. (1997a). The acquisition of semantic concepts - A computational model. In Dorffner, G. und Scheler, G. (Ed.), Neural Models of Concept Learning: Workshop at NIPS '97.

Scheler, 1997b
Scheler, G. (1997b). Feature-based perception of semantic concepts. In [Freksa et al., 1997].

Scheler, 1997c
Scheler, G. (1997c). Feature discovery for semantic learning. Techn. report, ICSI.

Scheler, 1997d
Scheler, G. (1997d). The transition from babbling to the one-word stage: A computational model. In Proceedings of GALA '97.

Scheler et al., pear
Scheler, G., Aretoulaki, M., und W.Brauer (1998 (to appear)). Intelligent text summarization. In Proccedings of AAAI Spring Symposium.

Scheler and Fischer, 1997
Scheler, G. und Fischer, K. (1997). The many functions of discourse particles: A computational model. In Proceedings of the Nineteenth Annual Conference of the Cognitive Science Society, Stanford, August 7-10.

Scherf, 1997
Scherf, M. (1997). A new approach to feature selection. In Keravanou, E., Garbay, C., Baud, R., und Wyatt, J. (Ed.), Artificial Intelligence in Medicine, S. 181-184. Springer-Verlag.

Scherf and Brauer, 1997a
Scherf, M. und Brauer, W. (1997a). Feature selection by means of a feature weighting approach. Techn. Report FKI-221-97, Institut für Informatik, technische Universität München.

Scherf and Brauer, 1997b
Scherf, M. und Brauer, W. (1997b). Improving RBF-Networks by a Two-Step Feature Selection Approach. In Kasbov, N., Kozma, R., Ko, K., O'Shea, R., Coghill, G., und Gedon, T. (Ed.), Progress in Connectionist-Based Information Systems, Proceedings of the 1997 Conference on Neural Information Processing and Intelligent Information Systems, Band 1, S. 249-252. Springer-Verlag.

Scherf and Brauer, 1997c
Scherf, M. und Brauer, W. (1997c). Improving RBF-Networks by the feature selection approach EUBAFES. In Gerstner, W., Germond, A., Hasler, M., und J-D., N. (Ed.), Artificial Neural Networks - ICANN'97, 7'th Internationl Conference, S. 391-396. Springer-Verlag.

Scherf et al., 1997a
Scherf, M., Zahlmann, G., und Wegner, A. (1997a). Classification of perimetry data using neural networks. S. SY1-012.

Scherf et al., 1997b
Scherf, M., Zahlmann, G., und Wegner, A. (1997b). Klassifikation von Perimetriedaten durch Neuronale Netze und der Merkmalsselektionsmethode EUBAFES. Medizinische Genetik, S. 598.

Schittenkopf and Deco, 1997a
Schittenkopf, C. und Deco, G. (1997a). Detecting nonlinear dynamics in financial time series. In Proceedings of the IEEE/IAFE 1997 Conference on Computational Intelligence for Financial Engineering (CIFEr), S. 287-292, New York City, NY, USA.

Schittenkopf and Deco, 1997b
Schittenkopf, C. und Deco, G. (1997b). Identification of deterministic chaos by an information-theoretic measure of the sensitive dependence on the initial conditions. Physica D 110, 110:173-181.

Schittenkopf and Deco, 1997c
Schittenkopf, C. und Deco, G. (1997c). A nonlinear markovian characterization of time series using neural networks. In [Freksa et al., 1997], S. 481-488.

Schittenkopf and Deco, 1997d
Schittenkopf, C. und Deco, G. (1997d). Testing nonlinear markovian hypotheses in dynamical systems. Physica D, 104:61-74.

Schittenkopf et al., 1997a
Schittenkopf, C., Deco, G., und Brauer, W. (1997a). Finite automata-models for the investigation of dynamical systems. Information Processing Letters, 63:137-141.

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

Schlieder, 1997a
Schlieder, C. (1997a). Diagrammatic transformation processes on relational maps. In Anderson, M. (Ed.), AAAI Fall Symposium on Reasoning with Diagrammatic Representation, S. 23-30, Cambridge, MA. AAAI Press.

Schlieder, 1997b
Schlieder, C. (1997b). Preferred mental models as contexts in reasoning. In Proc. First European Conference on Cognitive Science, S. 215-218, Manchester. ESCS.

Schlieder, 1997c
Schlieder, C. (1997c). Räumliche Repräsentation im Diagrammtischen Schließen. In Umbach, C. (Ed.), Perspektive in Sprache und Raum, S. 127-145. Westdeutscher Universitätsverlag.

Schlieder, 1997d
Schlieder, C. (1997d). Thesen zur kognitiven Ergonomie von Inferenzsystemen. In Elektronische Proceedings KI-97 Workshop 10: Inferenzsysteme aus logischer und kognitiver Sicht.

Silipo et al., 1997a
Silipo, R., Deco, G., Vergassola, R., Schittenkopf, C., und Gremigni, C. (1997a). Nonlinear modelling of the daily heart rhythm. In Germond, A., Hasler, M., und Nicoud, J.-D. (Ed.), Artificial Neural Networks - ICANN '97, Nr. 1327 in Lecture Notes in Computer Science, S. 1083-1088, Berlin. Springer.

Silipo et al., 1997b
Silipo, R., Schittenkopf, C., Deco, G., und Brawanski, A. (1997b). Dynamics modelling in brain circulation. In Proceedings of the 1997 IEEE Signal Processing Society Workshop, S. 162-171, Amelia Island, FL, SA.

Sturm and Brychcy, 1997
Sturm, M. und Brychcy, T. (1997). On-Line Prozeßraumkartierung mit ellipsoider Vektorquantisierung zur lokalen Modellbildung. In Grauel/W.Becker/F.Belli, A. (Ed.), Fuzzy-Neuro-Systeme ´97 - Computational Intelligence, Proceedings in Artificial Intelligence, S. 463-470. Infix Verlag, St. Augustin.

Sturm et al., 1997a
Sturm, M., Brychcy, T., und Kirchmair, C. (1997a). AMoC - The ACON Model Classes. Forschungsberichte Künstliche Intelligenz FKI-224-97, Institut für Informatik, Technische Universität München.

Sturm et al., 1997b
Sturm, M., Eder, K., Brauer, W., und Gonzáles, J. C. (1997b). Hybridization of neural and fuzzy systems by a multi agent architecture for motor gearbox control. Fuzzy Sets and Systems, 89(3):309-319.

Wallner, 1997
Wallner, F. (1997). Model Checking LTL using Net Unfoldings. SFB-Bericht 342/19/97 A TUM-I9728, Technische Universität München.

Weiß, 1997a
Weiß, G. (Ed.) (1997a). Distributed artificial intelligence meets machine learning. Lecture Notes in Artificial in Artificial Intelligence, Vol. 1221. Springer-Verlag, Berlin.

Weiß, 1997b
Weiß, G. (1997b). The job assignment problem: A study in parallel and distributed machine learning. In [Freksa et al., 1997], S. 445-454.

Weiß, 1997c
Weiß, G. (1997c). Towards the synthesis of neural and evolutionary learning. In Omidvar, O. und Wilson, C. (Ed.), Progress in neural networks (Volume V), chapter 5, S. 145-176. Ablex Publishing, Norwood, New Jersey.

Weiß and Dillenbourg, 1997
Weiß, G. und Dillenbourg, P. (1997). What is ``multi'' in multiagent learning? In Dillenbourg, P. (Ed.), Collaborative learning: Cognitive and computational approaches. Pergamon Press.

Zahlmann et al., 1997a
Zahlmann, G., Scherf, M., und Wegner, A. (1997a). A neuro-fuzzy-classifier for knowledge based glaucoma monitor. In Keravanou, E., Garbay, C., Baud, R., und Wyatt, J. (Ed.), Artificial Intelligence in Medicine, S. 273-284. Springer-Verlag.

Zahlmann et al., 1997b
Zahlmann, G., Wegner, A., und Scherf, M. (1997b). Development and verification of fuzzy situation classes for glaucoma monitoring. In International Conference IEEE - EMBS'97.


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

Alexandra Musto, Fri Jun 26 15:46:55 MET DST 1998