35 | Tino Pyssysalo and Leo Ojala. A high-level net model of a video on demand system. Research Report A36, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1995. |
|
34 | Kimmo Raivio, Jukka Henriksson, and Olli Simula. Neural detection of QAM modulation in the presence of interference. In Proceedings of the International Conference on Neural Networks, volume 4, pages 1566–1569, Perth, Australia, Nov 27 - Dec 1 1995. |
|
33 | Patrik Simons. Efficient implementation of the stable model semantics for normal logic programs. Research Report A35, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1995. |
|
32 | Tuomas Aura. Modelling the Needham-Schröder authentication protocol with high level Petri nets. Technical Report B14, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, September 1995. |
|
31 | Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo. PROD reference manual. Technical Report B13, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, August 1995. |
|
30 | Ilkka Niemelä. Towards efficient default reasoning. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 312–318, Montreal, Canada, August 1995. Morgan Kaufmann Publishers. |
|
29 | Ilkka Niemelä and P. Simons. Evaluating an algorithm for default reasoning. In Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada, pages 66–72, Montreal, Canada, August 1995. |
|
28 | Rachel Ben-Eliyahu and Ilkka Niemelä, editors. Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada, August 1995. AAAI Press. |
|
27 | Kimmo Raivio, Jukka Henriksson, and Olli Simula. Interference cancellation for PAM modulation using neural networks. In Proceedings of the Finnish Signal Processing Symposium, pages 50–54, Espoo, Finland, June 2 1995. |
|
26 | Tomi Janhunen. Cautious models for general logic programs. In Hendrick Decker et al., editors, Proceedings of the Third International Workshop on Deductive Databases and Logic Programming, pages 25–39, Kanagawa, Japan, June 1995. Gesellschaft für Mathematik und Datenverarbeitung. GMD-Studien Nr. 266. |
|
25 | Ilkka Niemelä, editor. Annual report for the year 1994. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1995. |
|
24 | Johan Lilius. On the structure of high-level nets. Research Report A33, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1995. Doctoral dissertation. |
|
23 | Jari Juopperi. PrT-net based analysis of information flow security nets. Research Report A34, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1995. |
|
22 | Kari J. Nurmela. Constructing spherical codes by global optimization methods. Research Report A32, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, February 1995. |
|
21 | Jari Juopperi. PrT-net Based Analysis of Information Flow Security Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
20 | Kari Nurmela. Constructing Spherical Codes by Global Optimization Methods. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
19 | Aapo Rautiainen. Konformanssitestaus hajautetussa testausarkkitehtuurissa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
18 | Patrik Simons. Efficient implementation of the stable model semantics for normal logic programs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
17 | Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. Journal of Automated Reasoning, 14:3–42, 1995. |
|
16 | P. Kilpeläinen, Heikki Mannila, and E. Ukkonen. Mdl learning of unions of simple pattern languages from positive examples. In Computational Learning Theory, Second European Conference, EuroCOLT'95, pages 252–260, 1995. |
|
15 | M. Holsheimer, M. Kersten, Heikki Mannila, and H. Toivonen. A perspective on databases and data mining. In First International Conference on Knowledge Discovery and Data Mining (KDD'95), pages 150 – 155, 1995. |
|
14 | Heikki Mannila, H. Toivonen, and A. I. Verkamo. Discovering frequent episodes in sequences. In First International Conference on Knowledge Discovery and Data Mining (KDD'95), pages 210 – 215, 1995. |
|
13 | P. Kilpeläinen and Heikki Mannila. Ordered and unordered tree inclusion. SIAM Journal on Computing, 24(2):340–356, 1995. |
|
12 | T. Eiter, P. Kilpeläinen, and Heikki Mannila. Recognizing renamable generalized propositional horn formulas is np-complete. Discrete Applied Mathematics, 59:23–31, 1995. |
|
11 | J. Kivinen and Heikki Mannila. Approximate inference of functional dependencies from relations. Theoretical Computer Science, 149(1):129–149, 1995. |
|
10 | Heikki Kälviäinen, Petri Hirvonen, Lei Xu, and Erkki Oja. Probabilistic and non-probabilistic hough transforms: overview and comparisons. Image Vision Comput., 13(4):239–252, 1995. |
|
9 | J. Karhunen, L. Wang, and R. Vigário. Nonlinear PCA type approaches for source separation and independent component analysis. In Proc. of Int. Conf. on Neural Networks (ICNN'95), pages 995–1000, Perth, Australia, 1995. |
|
8 | R. Vigário and E. Oja. Signal separation and feature extraction by nonlinear PCA network. In Proc. 9th Scandinavian Conf. on Image Analysis (SCIA'95), pages 811–818, Uppsala, Sweden, 1995. |
|
7 | L. Wang, J. Karhunen, E. Oja, and R. Vigário. Blind separation of sources using nonlinear PCA type learning algorithms. In Proc. Int. Conf. on Neural Networks and Signal Processing (ICNNSP'95), pages 10–13, Nanjing, P.R. China, 1995. |
|
6 | Sirkka-Liisa Joutsiniemi, Samuel Kaski, and Andreo Larsen. Self-organizing map in recognition of topographic patterns of EEG spectra. IEEE Transactions on Biomedical Engineering, 42:1062–1068, 1995. |
|
5 | Samuel Kaski and Teuvo Kohonen. Structures of welfare and poverty in the world discovered by the self-organizing map. Technical Report A24, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1995. |
|
4 | Timo Honkela, Ville Pulkki, and Teuvo Kohonen. Contextual relations of words in Grimm tales, analyzed by self-organizing map. In F. Fogelman-Soulié and P. Gallinari, editors, Proc. of ICANN'95, International Conference on Artificial Neural Networks, volume II, pages 3–7, Nanterre, France, 1995. EC2. |
|
3 | Timo Honkela. Subjektiivisuuden konnektionistiset mallit. Psykologia, 30(1):45–48, 1995. |
|
2 | Timo Honkela. On communication between autonomous agents (in Finnish). In Keinoelämä - Artificial Life, pages 188–192, Helsinki, 1995. Finnish Artificial Intelligence Society. |
|
1 | C.D. Spyropoulos, E.A. Karkaletsis, G.A. Vouros, T. Honkela, K. Lagus, and A. Lehtola. Investigating on line message generation in software applications: The GLOSSASOFT results. In ERCIM Workshop on “Towards User Interfaces for All: Current Efforts and Future Trends”, Heraklion, Greece, 1995. |
|