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

4 Veröffentlichungen

Appl and Brauer, 2000a
Appl, M. und Brauer, W. (2000a).
Fuzzy model-based reinforcement learning.
In Proceedings of the Third European Symposium on Intelligent Techniques.

Appl and Brauer, 2000b
Appl, M. und Brauer, W. (2000b).
Indirect reinforcment learning with adaptive state space partitions.
In Proceedings of the Third European Symposium on Intelligent Techniques.

Bartmann, 2000
Bartmann, D. (2000).
Benutzerauthentisierung durch Analyse des Tippverhaltens mit Hilfe einer Kombination aus statistischen und neuronalen Verfahren.
Dissertation, Institut für Informatik, Technische Universität München.
Herbert Utz Verlag.

Beaudry et al., 2000
Beaudry, M., Holzer, M., Niemann, G., und Otto, F. (2000).
McNaughton languages.
Mathematische Schriften Kassel, Preprint-Reihe Fachbereich Mathematik/Informatik 26/00, Universität Gesamthochschule Kassel.

Bonjjani et al., 2000
Bonjjani, A., Esparza, J., Finkel, A., Maler, O., Rossmanith, P., Willems, B., und Wolper, P. (2000).
An Efficient Automata Approach to Some Problems on Context-free Grammars.
Information Processing Letters, (74):221 - 227.

Bordihn and Holzer, 2000a
Bordihn, H. und Holzer, M. (2000a).
Grammar systems with negated conditions in their cooperation protocols.
Journal of Universal Computer Science, 6(12).

Bordihn and Holzer, 2000b
Bordihn, H. und Holzer, M. (2000b).
On the number of active symbols in L and CD grammar systems.
In Proceedings of the Workshop on Descriptional Complexity of Automata, Grammars and Related Structures, London, Ontario, Canada. The University of Western Ontario.

Brandt, 2000
Brandt, F. (2000).
Antisocial Bidding in Repeated Vickrey Auctions.
Forschungsberichte Künstliche Intelligenz FKI-241-00, Institut für Informatik, Technische Universität München.

Brandt et al., 2000
Brandt, F., Brauer, W., und Weiß, G. (2000).
Task assignment in multiagent systems based on Vickrey-type auctioning and leveled commitment contracting.
In Klusch, M. und Kerschberg, L. (Ed.), Cooperative Information Agents IV. Proceedings of the Fourth International Workshop on Cooperative Information Agents (CIA-2000), Lecture Notes in Artificial Intelligence, Vol. 1860, S. 95-106, Berlin et al. Springer.

Brandt and Weiß, 2000a
Brandt, F. und Weiß, G. (2000a).
Exploring auction-based leveled commitment contracting. Part II: Dutch-type auctioning.
Forschungsberichte Künstliche Intelligenz FKI-237-00, Institut für Informatik, Technische Universität München.

Brandt and Weiß, 2000b
Brandt, F. und Weiß, G. (2000b).
Exploring auction-based leveled commitment contracting. Part III: Vickrey-type auctioning.
Forschungsberichte Künstliche Intelligenz FKI-238-00, Institut für Informatik, Technische Universität München.

Brauer, 2000a
Brauer, W. (1998 - 2000a).
Künstliche neuronale Netze.
In Sitzungsbericht der Bayerischen Akademie der Wissenschaften, S. 15*-18*.

Brauer, 2000b
Brauer, W. (2000b).
Mathematik und Informatik.
Mitt. Math. Ges. Hamburg, 19:55 - 67.

Brauer and Brauer, 2000
Brauer, W. und Brauer, U. (2000).
Report on the 1st world congress on formal methods.
EATCS Bulletin No. 70, S. 180 - 181.

Brauer et al., 2000
Brauer, W., Brychcy, T., Kirchmair, C., Sturm, M., und Ungerer, C. (2000).
Abschlußbericht zum Projekt ACON - Adaptive Control.
Forschungsberichte Künstliche Intelligenz FKI-239-00, Institut für Informatik, Technische Universität München.

Brössler et al., 2000
Brössler, P., Denert, E., Grambow, K., und Taubner, D. (2000).
German engineering in projects.
Cutter IT Journal, 13(2):15-22.

Brössler and Taubner, 2000
Brössler, P. und Taubner, D. (2000).
The people make the project.
In Maxwell, K. (Ed.), Project Control: The Human Factor, ESCOM-SCOPE, S. 105-113. Shaker Publishing.

Clementini et al., 2000
Clementini, E., Di Felice, P., und Hernández, D. (2000).
Representation of positional information.
In Leondes, C. T. (Ed.), Knowledge-Based Systems. Techniques and Applications, Band 4, S. 1143-1187. Academic Press, New York.

Damm et al., 2000
Damm, C., Holzer, M., und McKenzie, P. (2000).
The complexity of tensor calculus.
In Proceedings of the 15th Annual IEEE Conference on Computational Complexity, S. 70-86, Florence, Italy. IEEE Computer Society Press.

Eisenkolb et al., 2000
Eisenkolb, A., Schill, K., Baier, V., Musto, A., und Brauer, W. (2000).
Visual processing and representation of spatio-temporal patterns.
In [Freksa et al., 2000].

Esparza et al., 2000a
Esparza, J., Hansel, D., Rossmanith, P., und Schwoon, S. (2000a).
Efficient algorithms for model checking pushdown systems.
Forschungsbericht TUM-I0002, SFB-Bericht 342/1/00 A, Technische Universität München, Institut für Informatik.

Esparza et al., 2000b
Esparza, J., Hansel, D., Rossmanith, P., und Schwoon, S. (2000b).
Efficient algorithms for model checking pushdown systems.
In Proceedings of CAV 2000, Nr. 1855 in LNCS, S. 232-247. Springer.

Esparza and Heljanko, 2000
Esparza, J. und Heljanko, K. (2000).
A New Unfolding Approach to LTL Model Checking.
In Proceedings of ICALI '00, Lecture Notes in Computer Science 1893, S. 475 - 486. U. Montanari and J.D.P. Rolim and E. Welzl.

Esparza and Podelski, 2000
Esparza, J. und Podelski, A. (2000).
Efficient algorithms for pre* and post* on Interprocedural Parallel Flow Graphs.
In Conference Record of POPL '00, S. 1 - 11. ACM Press.

Esparza and Prensa-Nieto, 2000
Esparza, J. und Prensa-Nieto, L. (2000).
Verifying single and multi-mutator garbage collectors with owicki-gries in isabelle/hol.
In Nielsen, M. und Rovan, B. (Ed.), Proceedings of MFCS '00, Lecture Notes in Computer Science 1893, S. 619 - 628.

Esparza et al., 2000c
Esparza, J., Römer, S., und Vogler, W. (2000c).
An improvement of McMillan's unfolding algorithm.
Formal Methods in System Design.

Esparza et al., 2000d
Esparza, J., Rossmanith, P., und Schwoon, S. (2000d).
A uniform framework for problems on context-free grammars.
EATCS Bulletin, 72:169-177.

Esparza and Schröter, 2000
Esparza, J. und Schröter, C. (2000).
Reachability Analysis Using Net Unfoldings.
In Burkhard, H. D., Czaja, L., Skowron, A., und Starke, P. (Ed.), Workshop of Concurrency, Specification & Programming, Band II von Informatik-Bericht 140, S. 255 - 270. Humboldt-Universität zu Berlin.

Fernau and Holzer, 2000
Fernau, H. und Holzer, M. (2000).
External contextual and conditional languages.
In Paun, G. (Ed.), Recent Topics in Mathematical and Computational Linguistics, S. 104-120. Romanian Academy, Bucharest.

Fernau et al., 2000
Fernau, H., Holzer, M., und Freund, R. (2000).
Cooperating distributed grammar systems with exhausting resoruces.
In Freund, R. und Kelemenova, A. (Ed.), Proceedings of the International Workshop Grammar Systems, S. 113-126, Bad Ischl, Austria. Silesian University, Opava, Czech Republic.

Freksa et al., 2000
Freksa, C., Brauer, W., Habel, C., und Wender, K. (Ed.) (2000).
Spatial Cognition II, Band 1849 von Lecture Notes in Artificial Intelligence.
Springer.

Hochreiter et al., 2000
Hochreiter, S., Bengio, Y., Frasconi, P., und Schmidhuber, J. (2000).
Gradient flow in recurrent nets: the difficulty of learning long-term dependencies.
In Kolen, J. F. und Kremer, S. C. (Ed.), A Field Guide to Dynamical Recurrent Networks. IEEE Press.

Hochreiter and Mozer, 2000a
Hochreiter, S. und Mozer, M. C. (2000a).
Beyond maximum likelihood and density estimation: A sample-based criterion for unsupervised learning of complex models.
In Leen, T. K., Dietterich, T., und Tresp, V. (Ed.), Advances in Neural Information Processing Systems 13.

Hochreiter and Mozer, 2000b
Hochreiter, S. und Mozer, M. C. (2000b).
An electric field approach to independent component analysis.
In Pajunen, P. und Karhunen, J. (Ed.), Proceedings of the Second International Workshop on Independent Component Analysis and Blind Signal Separation, Helsinki, Finland, S. 45-50. Otamedia, Espoo, Finland, ISBN: 951-22-5017-9.

Hofmann, 2000a
Hofmann, R. (2000a).
Inference in markov blanket networks.
Forschungsberichte Künstliche Intelligenz FKI-235-00, Institut für Informatik der Technischen Universität München.

Hofmann, 2000b
Hofmann, R. (2000b).
Lernen der Struktur nichtlinearer Abhängigkeiten mit graphischen Modellen.
Dissertation, Institut für Informatik der Technischen Universität München, München.

Holzer and McKenzie, 2000
Holzer, M. und McKenzie, P. (2000).
Alternating and empty alternating auxiliary stack automata.
In Nielsen, M. und Rovan, B. (Ed.), Proceedings of the 25th Conference on Mathematical Foundations of Computer Science, Band 1893 von LNCS, S. 415-425, Bratislava, Slovak Republic. Springer.

Holzer et al., 2000
Holzer, M., Salomaa, K., und Yu, S. (2000).
On the state complexity of k -entry deterministic finite automata.
In Proceedings of the Workshop on Descriptional Complexity of Automata, Grammars and Related Structures, London, Ontario, Canada. The University of Western Ontario.

Kirchmair, 2000
Kirchmair, C. (2000).
Identifying Hysteresis Using Neurons with Memory of Preisach Type.
In Tsaptsinos, D. (Ed.), Proceedings of the International Conference EANN 2000, S. 139-146.

König, 2000a
König, B. (2000a).
Analysing input/output-capabilities of mobile processes with a generic type system.
In Proc. of ICALP 2000, S. 403-414. Springer.
LNCS 1853.

König, 2000b
König, B. (2000b).
A general framework for types in graph rewriting.
In Proc. of FST TCS 2000, S. 373-384. Springer.
LNCS 1974.

König, 2000c
König, B. (2000c).
A graph rewriting semantics for the polyadic pi-calculus.
In Workshop on Graph Transformation and Visual Modeling Techniques (Geneva, Switzerland), ICALP Workshops 2000, S. 451-458. Carleton Scientific.

König, 2000d
König, B. (2000d).
Hypergraph construction and its application to the compositional modelling of concurrency.
In GRATRA 2000: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems.
Proceedings available as Report Nr. 2000-2 (Technische Universität Berlin).

Malsch and Weiß, 2000
Malsch, T. und Weiß, G. (2000).
Conflicts in social theory and multiagent systems: On importing sociological insights into distributed artificial intelligence.
In Tessier, C., Chaudron, L., und Müller, H.-J. (Ed.), Conflicting agents - Conflict management in multi-agent systems, chapter 4, S. 111-149. Kluwer Academic Publ.

Müller et al., 2000
Müller, R., Röfer, T., Lankenau, A., Musto, A., Stein, K., und Eisenkolb, A. (2000).
Coarse qualitative descriptions in robot navigation.
In [Freksa et al., 2000], S. 265-276.

Musto, 2000
Musto, A. (2000).
Eine Fuzzy-Basis für qualitative Bewegungsrepräsentation.
Forschungsberichte Künstliche Intelligenz FKI-240-00, Institut für Informatik, Technische Universität München.

Musto et al., 2000
Musto, A., Stein, K., Eisenkolb, A., Schill, K., Röfer, T., und Brauer, W. (2000).
From motion observation to qualitative motion representation.
In [Freksa et al., 2000], S. 115-126.

Pal et al., 2000a
Pal, K., Bezdek, J. C., Pal, N. R., und Runkler, T. A. (2000a).
Some notes on fuzzy rule extraction by clustering.
In SIARP Ibero-American Symposium on Pattern Recognition, S. 19-27, Lisbon.

Pal et al., 2000b
Pal, K., Pal, N. R., Runkler, T. A., und Bezdek, J. C. (2000b).
Fuzzy rule extraction by clustering: The role of tendency assessment.
In CoIl Symposium on Computational Intelligence and Learning, S. 3-16, Chios, Greece.

Palm et al., 2000
Palm, R., Stutz, C., und Runkler, T. A. (2000).
A control sequence generator for a fuzzy gain scheduler.
In IEEE Conference on Decision and Control, Sydney.

Pompl et al., 2000
Pompl, R., Bunk, W., Horsch, A., Stolz, W., Abmayr, W., Brauer, W., Gläsl, A., und Morfill, G. (2000).
MELDOQ: Ein System zur Unterstützung der Früherkennung des malignen Melanoms durch digitale Bildverarbeitung.
In Horsch, A. und Lehmann, T. (Ed.), Bildverarbeitung für die Medizin 2000, S. 234-238. Springer.

Röckl, 2000a
Röckl, C. (2000a).
On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems.
Dissertation, Institut für Informatik, Technische Universität München.

Röckl, 2000b
Röckl, C. (2000b).
Proving write invalidate cache coherence with bisimulations in Isabelle/HOL.
In Grabowski, J. und Heymer, S. (Ed.), Proc. of FBT'00, S. 69-78. Shaker.

Röckl and Esparza, 2000
Röckl, C. und Esparza, J. (2000).
On the mechanized verification of infinite systems.
In Bode, A. und Ludwig, T. (Ed.), Proc. SFB 342 Final Colloquium, S. 31-52. Technische Universität München.
Als techn. Bericht veröffentlicht.

Römer, 2000
Römer, S. (2000).
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme.
Dissertation, Institut für Informatik, Technische Universität München.

Runkler, 2000a
Runkler, T. A. (2000a).
Information Mining -- Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse.
Computational Intelligence. Vieweg, Wiesbaden.

Runkler, 2000b
Runkler, T. A. (2000b).
Nonlinear system identification with global and local soft computing methods.
In GMA-Workshop Fuzzy Control, S. 163-176, Dortmund.

Runkler and Bezdek, 2000
Runkler, T. A. und Bezdek, J. C. (2000).
Automatic keyword extraction with relational clustering and Levenshtein distances.
In IEEE International Conference on Fuzzy Systems, S. 636-640, San Antonio.

Schlang et al., 2000
Schlang, M., Jansen, M., Lang, B., Poppe, T., Runkler, T., und Weinzierl, K. (2000).
Current and future development in neural computation in steel processing.
In Jämsä-Jounela, S.-L. und Vapaavuori, E. (Ed.), IFAC Workshop on Future Trends in Automation in Mineral and Metal Processing, S. 27-37, Helsinki/Stockholm.

Schmidhuber et al., 2000
Schmidhuber, J., Hochreiter, S., und Bengio, Y. (2000).
Evaluating benchmark problems by random guessing.
In Kolen, J. F. und Kremer, S. C. (Ed.), A Field Guide to Dynamical Recurrent Networks. IEEE Press.

Steck, 2000
Steck, H. (2000).
On the use of skeletons when learning in bayesian networks.
In Boutilier, C. und Goldszmidt, M. (Ed.), Proceedings of the Conference on Uncertainty in Artificial Intelligence, S. 558 - 565. Morgan Kaufmann.

Stein and Musto, 2000
Stein, K. und Musto, A. (2000).
A computational view on frames of reference in motion.
In ECAI-2000-Workshop ``Current Issues in Spatio-Temporal Reasoning'', Berlin.

Ungerer and Radan, 2000
Ungerer, C. und Radan, A. (2000).
Identifying time delays using neural networks.
In Tsaptsinos, D. (Ed.), Engineering Problems - Neural Network Solutions, Proceedings of the International Conference on Engineering Applications of Neural Networks (EANN 2000), S. 237-244, Kingston.

Weiß, 2000a
Weiß, G. (2000a).
Achieving coordination through combining joint planning and joint learning.
In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-2000), S. 388-392.

Weiß, 2000b
Weiß, G. (2000b).
An architectural framework for integrated multiagent planning, reacting, and learning.
In Pre-Proceedings of the 7th International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), S. 308-318.

Weiß, 2000c
Weiß, G. (2000c).
Cognition, sociability, and constraints.
In Working Notes of the ECAI-2000 Workshop on Balancing Reactivity and Social Deliberation in Multiagent Systems, S. 125-139.

Weiß, 2000d
Weiß, G. (2000d).
A multiagent variant of Dyna-Q.
In Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS-2000), S. 461-462.

Weiß, 2000e
Weiß, G. (2000e).
On building flexible agents.
Forschungsberichte Künstliche Intelligenz FKI-236-00, Institut für Informatik, Technische Universität München.

Weiß, 2000f
Weiß, G. (2000f).
Planning and learning together.
In Proceedings of the 4th International Conference on Autonomous Agents, S. 102-103.


next up previous contents
Next: 5 Vorträge Up: Tätigkeitsbericht 2000 Previous: 3 Darstellung der Forschungsvorhaben
Felix Brandt, Mon Jun 25 15:32:09 MET DST 2001