23 | Marko Rauhamaa. A comparative study of the methods for efficient reachability analysis. Research Report A14, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1990. |
|
22 | Ilkka Niemelä. Towards automatic autoepistemic reasoning. In Proceedings of the European Workshop on Logics in Artificial Intelligence—JELIA'90, pages 428–443, Amsterdam, The Netherlands, September 1990. Springer-Verlag. |
|
21 | Johan Lilius. On the notion of dialectical nets. Technical Report B9, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1990. |
|
20 | Ilkka Niemelä. A new characterization of autoepistemic reasoning. In Proceedings of the Finnish Artificial Intelligence Symposium, pages 64–73, Oulu, Finland, June 1990. Finnish Artificial Intelligence Society. |
|
19 | Teuvo Kohonen, Kimmo Raivio, Olli Simula, Olli Ventä, and Jukka Henriksson. Combining linear equalization and self-organizing adaptation in dynamic discrete-signal detection. In Proceedings of the International Joint Conference on Neural Networks, volume 1, pages 223–228, San Diego, USA, June 1990. |
|
18 | Andrea Maggiolo-Schettini and Josef Winkowski. A generalization of predicate/transition nets. Research Report A13, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1990. |
|
17 | Antti Laine. The Analysis of a Communication Protocol Using High Level Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
16 | Pekka Oksala. Permutaatiomenetelmä lomakkeella välitettävän tiedon salaamiseksi. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
15 | Kari Björn. A Failure Model of a Distributed Transaction Processing System. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
14 | Marko Rauhamaa. A Comparative Study of Methods for Efficient Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
13 | Leo Kulikov. Konekäännös puumuunnoksin. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
12 | Patric Östergård. Säkerhetsaspekter vid datakommunikation över allmänna nät. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
11 | Jan Juopperi. Nollatietämystodistimen toiminnan kuvaaminen modaalilogiikkaa käyttäen. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
10 | Juha Viljavuori. Tietojärjestelmän hajautuksen suunnittelu UNIX-ympäristössä. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
9 | Kimmo Raivio. Combining linear equalization and self-organizing adaptation in dynamic discrete-signal detection. Master's thesis, Helsinki University of Technology, Espoo, Finland, 1990. |
|
8 | Teuvo Kohonen, Kimmo Raivio, Olli Simula, Olli Ventä, and Jukka Henriksson. An adaptive discrete-signal detector based on Self-Organizing Maps. In Proceedings of the International Joint Conference on Neural Networks, volume 2, pages 249–252, Washington D.C., USA, January 1990. |
|
7 | P. Kilpeläinen, G. Lindén, Heikki Mannila, and E. Nikunen. A structured document database system. In EP 90: Proceendings of the International Conference on Electronic Publishing, Document Manipulation & Typography, pages 139–151, 1990. |
|
6 | P. Kilpeläinen and Heikki Mannila. Generation of test cases for simple prolog programs. Acta Cybernetica, 9(3):235–246, 1990. |
|
5 | Heikki Mannila and E. Ukkonen. Unifications, deunifications, and their complexity. BIT, 30(4):599–619, 1990. |
|
4 | Pekka Kultanen, Erkki Oja, and Lei Xu. Randomized hough transform (rht) in engineering drawing vectorization system. In MVA, pages 173–176, 1990. |
|
3 | Jussi Parkkinen, K. Selkäinaho, and Erkki Oja. Detecting texture periodicity from the cooccurrence matrix. Pattern Recognition Letters, 11(1):43–50, 1990. |
|
2 | Lei Xu and Erkki Oja. Improved simulated annealing, boltzmann machine, and attributed graph matching. In EURASIP Workshop, pages 151–160, 1990. |
|
1 | Lei Xu, Erkki Oja, and Pekka Kultanen. A new curve detection method: Randomized hough transform (rht). Pattern Recognition Letters, 11(5):331–338, 1990. |
|