82 | Jussi Rintanen. Lexicographic ordering as a basis of priorities in default reasoning. Research Report A41, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1996. Doctoral dissertation. |
|
81 | Tino Pyssysalo, Leo Ojala, and Olli-Matti Penttinen. Performance analysis of a video on demand systems using stochastic Petri nets, a case study. Research Report A40, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1996. |
|
80 | T. Imielinski and Heikki Mannila. A database perspective on knowledge discovery. Communications of the ACM, 39(11):58–64, November 1996. |
|
79 | Mikko Kurimo and Panu Somervuo. Using the self-organizing map to speed up the probability density estimation for speech recognition with mixture density HMMs. In Proceedings of the International Conference on Spoken Language Processing (ICSLP), volume 1, pages 358–361, Philadelphia, PA, USA, October 1996. |
|
78 | P. Baumgartner, U. Furbach, and Ilkka Niemelä. Hyper tableaux. In José Júlio Alferes, Luís Moniz Pereira, and Ewa Orlowska, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA'96), pages 1–17, Èvora, Portugal, September/October 1996. Springer-Verlag. |
|
77 | Ilkka Niemelä and P. Simons. Efficient implementation of the well-founded and stable model semantics. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 289–303, Bonn, Germany, September 1996. The MIT Press. |
|
76 | C. Aravindan, P. Baumgartner, J. Dix, U. Furbach, G. Neugebauer, Ilkka Niemelä, D. Schäfer, and F. Stolzenburg. On merging theorem proving and logic programming paradigms. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, page 546, Bonn, Germany, September 1996. The MIT Press. |
|
75 | C. Aravindan, P. Baumgartner, J. Dix, U. Furbach, G. Neugebauer, Ilkka Niemelä, D. Schäfer, and F. Stolzenburg. On merging theorem proving and logic programming paradigms. In N.E. Fuchs and U. Geske, editors, Proceedings of the Poster Session at JICSLP'96, pages 99–122, Bonn, Germany, September 1996. GMD—Forschungszentrum Informationstechnik. GMD-Studien Nr. 296. |
|
74 | Jaakko Hollmén and Olli Simula. Prediction models and sensitivity analysis of industrial process parameters by using the self-organizing map. In 1996 IEEE Nordic Signal Processing Symposium Proceedings (NORSIG'96), Espoo, Finland, pages 79–82, September 1996. |
|
73 | Keijo Heljanko. Implementing a CTL model checker. In L. Czaja, P. Starke, H.-D. Burkhard, and M. Lenz, editors, Proceedings of the Workshop Concurrency, Specification & Programming 1996, Informatik-Bericht Nr. 69, pages 75–84, Berlin, Germany, September 1996. Humboldt-University, Berlin. |
|
72 | Mikko Kurimo. Segmental LVQ3 training for phoneme-wise tied mixture density HMMs. In European Signal Processing Conference (EUSIPCO), volume 3, pages 1599–1602, Trieste, Italy, September 1996. |
|
71 | Tuomas Aura. Time processes of time Petri nets. Research Report A38, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1996. |
|
70 | Karsten Schmidt. How to calculate symbolically siphons and traps for some algebraic Petri nets. Research Report A39, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1996. |
|
69 | Johan Lilius, editor. Annual report for the year 1995. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, August 1996. |
|
68 | Ilkka Niemelä. Implementing circumscription using a tableau method. In Proceedings of the European Conference on Artificial Intelligence, pages 80–84, Budapest, Hungary, August 1996. John Wiley. |
|
67 | Ilkka Niemelä, editor. Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, Budapest, Hungary, August 1996. Universität Koblenz-Landau, Fachbericht Informatik 18–96. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
66 | Tomi Janhunen. Representing autoepistemic introspection in terms of default rules. In Wolfgang Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96, pages 70–74, Budapest, Hungary, August 1996. John Wiley & Sons. |
|
65 | Tomi Janhunen. On abstracting decision procedures for non-monotonic reasoning. In Ilkka Niemelä, editor, Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, pages 29–31, August 1996. Universität Koblenz-Landau, Institut für Informatik, Fachberichte Informatik, 18–96. |
|
64 | Ilkka Niemelä. A tableau calculus for minimal model reasoning. In Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 278–294, Terrasini, Italy, May 1996. Springer-Verlag. |
|
63 | Tino Pyssysalo. An induction theorem for ring protocols of processes described with predicate/transition nets. Research Report A37, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, April 1996. |
|
62 | Eero Lassila. ReFlEx — an experimental tool for special-purpose processor code generation. Technical Report B15, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, March 1996. |
|
61 | Jaakko Hollmén. Process modeling using the self-organizing map. Master's thesis, Helsinki University of Technology, February 1996. |
|
60 | Tino Pyssysalo. An Induction Theorem for Ring Protocols of Processes Describes Using Predicate/Transition Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996. |
|
59 | Tuomas Aura. Time processes of time petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996. |
|
58 | Jukka Helme. Yhteyspohjaisten tietoliikenneprotokollien mallintamisesta ja analysoinnista. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1996. |
|
57 | Asko Nykänen. Suomenkielen lauseenjäsennysympäristön suunnittelu ja toteutus. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1996. |
|
56 | Mervi Salmi-Saarinen. A study of wireless communication. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1996. |
|
55 | Kimmo Varpaaniemi. Finding small stubborn sets automatically. In Volkan Atalay, Uğur Halıcı, Kemal İnan, Nese Yalabık, and Adnan Yazıcı, editors, Proceedings of the Eleventh International Symposium on Computer and Information Sciences, ISCIS XI, November 6–8, 1996, Antalya, Turkey, Volume I, pages 133–142. Middle East Technical University, Ankara, Turkey, 1996. |
|
54 | Eero Lassila. A macro expansion approach to embedded processor code generation. In Proceedings of the 22nd Euromicro Conference, pages 136–142. IEEE Computer Society Press, 1996. |
|
53 | Ilkka Niemelä. A tableau calculus for minimal model reasoning. Fachbericht Informatik 5–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
52 | Ilkka Niemelä. Implementing circumscription using a tableau method. Fachbericht Informatik 6–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
51 | Ilkka Niemelä and P. Simons. Efficient implementation of the well-founded and stable model semantics. Fachbericht Informatik 7–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
50 | P. Baumgartner, U. Furbach, and Ilkka Niemelä. Hyper tableaux. Fachbericht Informatik 8–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
49 | Ilkka Niemelä. Autoepistemic logic as a basis for automating nonmonotonic reasoning. In Patrick Doherty, editor, Partiality, Modality and Non-monotonicity, pages 251–289. CSLI Publications, Stanford, CA, 1996. |
|
48 | S. Brass, J. Dix, Ilkka Niemelä, and T.C. Przymusinski. A comparison of STATIC semantics with D-WFS. Fachbericht Informatik 2–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
47 | Ilkka Niemelä (Ed.). Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems. Fachbericht Informatik 18–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
46 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Newsgroup exploration with WEBSOM method and browsing interface. Technical Report A32, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1996. |
|
45 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Self-organizing maps of document collections. ALMA, 1(2), 1996. Electronic Journal, address http://www.diemme.it/ luigi/alma.html. |
|
44 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Exploration of full-text databases with self-organizing maps. In Proceedings of the ICNN96, International Conference on Neural Networks, volume I, pages 56–61. IEEE Service Center, Piscataway, NJ, 1996. |
|
43 | Samuel Kaski, Timo Honkela, Krista Lagus, and Teuvo Kohonen. Creating an order in digital libraries with self-organizing maps. In Proceedings of WCNN'96, World Congress on Neural Networks, September 15-18, San Diego, California, pages 814–817. Lawrence Erlbaum and INNS Press, Mahwah, NJ, 1996. |
|
42 | Teuvo Kohonen, Samuel Kaski, Krista Lagus, and Timo Honkela. Very large two-level SOM for the browsing of newsgroups. In C. von der Malsburg, W. von Seelen, J. C. Vorbrüggen, and B. Sendhoff, editors, Proceedings of ICANN96, International Conference on Artificial Neural Networks, Bochum, Germany, July 16-19, 1996, Lecture Notes in Computer Science, vol. 1112, pages 269–274. Springer, Berlin, 1996. |
|
41 | Krista Lagus, Samuel Kaski, Timo Honkela, and Teuvo Kohonen. Browsing digital libraries with the aid of self-organizing maps. In Proceedings of the Fifth International World Wide Web Conference WWW5, May 6-10, Paris, France, volume Poster Proceedings, pages 71–79. EPGL, 1996. |
|
40 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. WEBSOM – a status report. In Jarmo Alander, Timo Honkela, and Matti Jakobsson, editors, Proceedings of STeP'96, Finnish Artificial Intelligence Conference, pages 73–78. Finnish Artificial Intelligence Society, Vaasa, Finland, 1996. |
|
39 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. Self-organizing maps of document collections: A new approach to interactive exploration. In Evangelios Simoudis, Jiawei Han, and Usama Fayyad, editors, Proceedings of the Second International Conference on Knowledge Discovery and Data Mining, pages 238–243. AAAI Press, Menlo Park, California, 1996. |
|
38 | Kimmo Varpaaniemi. Finding small stubborn sets automatically. In Volkan Atalay, Uğur Halıcı, Kemal İnan, Nese Yalabık, and Adnan Yazıcı, editors, Proceedings of the Eleventh International Symposium on Computer and Information Sciences, ISCIS XI, November 6–8, 1996, Antalya, Turkey, Volume I, pages 133–142. Middle East Technical University, Ankara, Turkey, 1996. |
|
37 | R. Agrawal, Heikki Mannila, R. Srikant, H. Toivonen, and A. I. Verkamo. Fast discovery of association rules. In Advances in Knowledge Discovery and Data Mining, pages 307–328. AAAI Press, 1996. |
|
36 | K. Hätönen, M. Klemettinen, Heikki Mannila, P. Ronkainen, and H. Toivonen. Knowledge discovery from telecommunication network alarm databases. In 12th International Conference on Data Engineering (ICDE'96), pages 115–122, 1996. |
|
35 | K. Hätönen, M. Klemettinen, Heikki Mannila, P. Ronkainen, and H. Toivonen. Tasa: Telecommunications alarm sequence analyzer, or how to enjoy faults in your network. In IEEE/IFIP 1996 Network Operations and Management Symposium (NOMS'96),, pages 520–529, 1996. |
|
34 | E. Arjas, Heikki Mannila, M. Salmenkivi, R. Suramo, and H. Toivonen. Bass: Bayesian analyzer of event sequences. In COMPSTAT'96, pages 199–204, 1996. |
|
33 | Heikki Mannila. Data mining: machine learning, statistics, and databases. In Eighth International Conference on Scientific and Statistical Database Management, pages 1–8, 1996. |
|
32 | Heikki Mannila and H. Toivonen. On an algorithm for finding all interesting sentences. In Cybernetics and Systems '96 (ECSMR '96), pages 973–978, 1996. |
|
31 | Heikki Mannila and H. Toivonen. Discovering generalized episodes using minimal occurrences. In 2nd International Conference on Knowledge Discovery and Data Mining (KDD'96), pages 146–151, 1996. |
|
30 | Heikki Mannila and H. Toivonen. Multiple uses of frequent sets and condensed representations. In 2nd International Conference on Knowledge Discovery and Data Mining (KDD'96), pages 189 – 194, 1996. |
|
29 | Aapo Hyvärinen and Erkki Oja. One-unit learning rules for independent component analysis. In NIPS, pages 480–486, 1996. |
|
28 | Aapo Hyvärinen and Erkki Oja. Simple neuron models for independent component analysis. Int. J. Neural Syst., 7(6):671–688, 1996. |
|
27 | Heikki Kälviäinen, Petri Hirvonen, and Erkki Oja. Houghtool – a software package for the use of the hough transform. Pattern Recognition Letters, 17(8):889–897, 1996. |
|
26 | Jorma Laaksonen and Erkki Oja. Subspace dimension selection and averaged learning subspace method in handwritten digit classification. In ICANN, pages 227–232, 1996. |
|
25 | Erkki Oja and Kimmo Valkealahti. Co-occurrence map: Quantizing multidimensional texture histograms. Pattern Recognition Letters, 17(7):723–730, 1996. |
|
24 | Erkki Oja and Liuyue Wang. Robust fitting by nonlinear neural units. Neural Networks, 9(3):435–444, 1996. |
|
23 | Erkki Oja and Liuyue Wang. Neural fitting: Robustness by anti-hebbian learning. Neurocomputing, 12(2-3):155–170, 1996. |
|
22 | Kimmo Valkealahti and Erkki Oja. Optimal texture feature selection for the co-occurrence map. In ICANN, pages 245–250, 1996. |
|
21 | R. Vigário, A. Hyvárinen, and E. Oja. ICA fixed-point algorithm in extraction of artifacts from EEG. In Proc. 1996 IEEE Nordic Signal Processing Symposium (NORSIG'96), pages 383–386, Espoo, Finland, 1996. |
|
20 | Janne Sinkkonen, Samuel Kaski, Minna Huotilainen, Risto J. Ilmoniemi, Risto Näätänen, and Kai Kaila. Optimal resource allocation for novelty detection in a human auditory memory. Neuroreport, 7:2479–2482, 1996. |
|
19 | Samuel Kaski, Timo Honkela, Krista Lagus, and Teuvo Kohonen. Creating an order in digital libraries with self-organizing maps. In Proceedings of WCNN'96, World Congress on Neural Networks, September 15-18, San Diego, California, pages 814–817. Lawrence Erlbaum and INNS Press, Mahwah, NJ, 1996. |
|
18 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. Self-organizing maps of document collections: A new approach to interactive exploration. In Evangelios Simoudis, Jiawei Han, and Usama Fayyad, editors, Proceedings of the Second International Conference on Knowledge Discovery and Data Mining, pages 238–243. AAAI Press, Menlo Park, California, 1996. |
|
17 | Jari Kangas and Samuel Kaski. Compression of vector quantization code sequences based on code frequencies and spatial redundancies. In Proceedings of ICIP'96, IEEE International Conference on Image Processing, Lausanne, Switzerland, September 16-19, volume III, pages 463–466. IEEE Service Center, Piscataway, NJ, 1996. |
|
16 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. WEBSOM – a status report. In Jarmo Alander, Timo Honkela, and Matti Jakobsson, editors, Proceedings of STeP'96, Finnish Artificial Intelligence Conference, pages 73–78. Finnish Artificial Intelligence Society, Vaasa, Finland, 1996. |
|
15 | Teuvo Kohonen, Samuel Kaski, Krista Lagus, and Timo Honkela. Very large two-level SOM for the browsing of newsgroups. In C. von der Malsburg, W. von Seelen, J. C. Vorbrüggen, and B. Sendhoff, editors, Proceedings of ICANN96, International Conference on Artificial Neural Networks, Bochum, Germany, July 16-19, 1996, Lecture Notes in Computer Science, vol. 1112, pages 269–274. Springer, Berlin, 1996. |
|
14 | Samuel Kaski and Krista Lagus. Comparing self-organizing maps. In C. von der Malsburg, W. von Seelen, J. C. Vorbrüggen, and B. Sendhoff, editors, Proceedings of ICANN96, International Conference on Artificial Neural Networks, Bochum, Germany, July 16-19, Lecture Notes in Computer Science, vol. 1112, pages 809–814. Springer, Berlin, 1996. |
|
13 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Exploration of full-text databases with self-organizing maps. In Proceedings of the ICNN96, International Conference on Neural Networks, volume I, pages 56–61. IEEE Service Center, Piscataway, NJ, 1996. |
|
12 | Krista Lagus, Samuel Kaski, Timo Honkela, and Teuvo Kohonen. Browsing digital libraries with the aid of self-organizing maps. In Proceedings of the Fifth International World Wide Web Conference WWW5, May 6-10, Paris, France, volume Poster Proceedings, pages 71–79. EPGL, 1996. |
|
11 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Self-organizing maps of document collections. ALMA, 1(2), 1996. Electronic Journal, address http://www.diemme.it/ luigi/alma.html. |
|
10 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Newsgroup exploration with WEBSOM method and browsing interface. Technical Report A32, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1996. |
|
9 | Samuel Kaski and Teuvo Kohonen. Exploratory data analysis by the self-organizing map: Structures of welfare and poverty in the world. In Apostolos-Paul N. Refenes, Yaser Abu-Mostafa, John Moody, and Andreas Weigend, editors, Neural Networks in Financial Engineering. Proceedings of the Third International Conference on Neural Networks in the Capital Markets, London, England, 11-13 October, 1995, pages 498–507. World Scientific, Singapore, 1996. |
|
8 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Newsgroup exploration with WEBSOM method and browsing interface. Technical Report A32, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1996. |
|
7 | Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Exploration of full-text databases with self-organizing maps. In Proceedings of the ICNN96, International Conference on Neural Networks, volume I, pages 56–61. IEEE Service Center, Piscataway, NJ, 1996. |
|
6 | Samuel Kaski, Timo Honkela, Krista Lagus, and Teuvo Kohonen. Creating an order in digital libraries with self-organizing maps. In Proceedings of WCNN'96, World Congress on Neural Networks, September 15-18, San Diego, California, pages 814–817. Lawrence Erlbaum and INNS Press, Mahwah, NJ, 1996. |
|
5 | Teuvo Kohonen, Samuel Kaski, Krista Lagus, and Timo Honkela. Very large two-level SOM for the browsing of newsgroups. In C. von der Malsburg, W. von Seelen, J. C. Vorbrüggen, and B. Sendhoff, editors, Proceedings of ICANN96, International Conference on Artificial Neural Networks, Bochum, Germany, July 16-19, 1996, Lecture Notes in Computer Science, vol. 1112, pages 269–274. Springer, Berlin, 1996. |
|
4 | Krista Lagus, Samuel Kaski, Timo Honkela, and Teuvo Kohonen. Browsing digital libraries with the aid of self-organizing maps. In Proceedings of the Fifth International World Wide Web Conference WWW5, May 6-10, Paris, France, volume Poster Proceedings, pages 71–79. EPGL, 1996. |
|
3 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. WEBSOM – a status report. In Jarmo Alander, Timo Honkela, and Matti Jakobsson, editors, Proceedings of STeP'96, Finnish Artificial Intelligence Conference, pages 73–78. Finnish Artificial Intelligence Society, Vaasa, Finland, 1996. |
|
2 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. Self-organizing maps of document collections: A new approach to interactive exploration. In Evangelios Simoudis, Jiawei Han, and Usama Fayyad, editors, Proceedings of the Second International Conference on Knowledge Discovery and Data Mining, pages 238–243. AAAI Press, Menlo Park, California, 1996. |
|
1 | Aarno Lehtola and Timo Honkela. Multilinguality in Electronic Commerce - Research Issues. In Proceedings of MULSAIC'96 Workshop, 1996. |
|