Publications in 1997

84Tuomas Aura. On the structure of delegation networks. Research Report A48, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1997.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (865 kB)
GZipped PostScript (190 kB)
Info
See www.tcs.hut.fi ...
83Kari J. Nurmela. Constructing Spherical Codes by Global Optimization Methods. Doctoral dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1997.
PostScript (782 kB)
GZipped PostScript (123 kB)
Info
82Jaakko Hollmén. Novelty filter for fraud detection in mobile communications networks. Technical Report A48, Helsinki University of Technology, Laboratory of Computer and Information Science, October 1997.
Info
See www.cis.hut.fi ...
81Mikko Kurimo. Training mixture density HMMs with SOM and LVQ. Computer Speech and Language, 11(4):321–343, October 1997.
Info
80T. Eiter, G. Gottlob, and Heikki Mannila. Disjunctive datalog. ACM Transactions on Database Systems, 22(3):364–418, September 1997.
Info
79Mikko Kurimo. Comparison results for segmental training algorithms for mixture density HMMs. In Proceedings of 5th European Conference on Speech Communication and Technology (EUROSPEECH), volume 1, pages 87–91, Rhodes, Greece, September 1997.
Info
78Patrik Simons. Towards constraint satisfaction through logic programs and the stable model semantics. Research Report A47, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1997.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (764 kB)
GZipped PostScript (174 kB)
Info
See www.tcs.hut.fi ...
77Ilkka Niemelä and P. Simons. Smodels – an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pages 420–429, Dagstuhl, Germany, July 1997. Springer-Verlag.
Info
76C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: Towards a disjunctive logic programming system. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pages 341–352, Dagstuhl, Germany, July 1997. Springer-Verlag.
Info
75Tomi Janhunen. Separating disbeliefs from beliefs in autoepistemic reasoning. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'97, pages 132–151, Dagstuhl, Germany, July 1997. Springer-Verlag. LNAI 1265.
Info
See dx.doi.org ...
74Kimmo Raivio, Ari Hämäläinen, Jukka Henriksson, and Olli Simula. Performance of two neural receiver structures in the presence of co-channel interference. In Proceedings of the International Conference on Neural Networks, volume 4, pages 2080–2084, Houston, Texas, USA, June 9-12 1997.
Info
73Kimmo Raivio, Jukka Henriksson, and Olli Simula. Neural receiver structures based on self-organizing maps in nonlinear multipath channels. In Proceedings of the International Workshop on Applications of Neural Networks to Telecommunications, pages 241–247, Melbourne, Australia, June 9-11 1997.
Info
72Kimmo Raivio, Jukka Henriksson, and Olli Simula. Neural detection of QAM signal with strongly nonlinear receiver. In Proceedings of the Workshop on Self-Organizing Maps, pages 20–25, Espoo, Finland, June 4 - 6 1997.
Info
71Mikko Kurimo. SOM based density function approximation for mixture density HMMs. In Workshop on Self-Organizing Maps, pages 8–13, Espoo, Finland, June 1997.
Info
70Keijo Heljanko. Model checking the branching time temporal logic CTL. Research Report A45, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1997.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (219 kB)
Info
See www.tcs.hut.fi ...
69Tuomas Aura. Stateless connections. Research Report A46, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1997.
PostScript (254 kB)
GZipped PostScript (94 kB)
Info
68Johan Lilius, editor. Annual report for the year 1996. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1997.
PostScript (206 kB)
GZipped PostScript (80 kB)
Info
67Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Technical Report B16, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (218 kB)
Info
See www.tcs.hut.fi ...
66Tero Jyrinki. Dynamical analysis of SDL programs using predicate/transition nets. Technical Report B17, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (972 kB)
GZipped PostScript (228 kB)
Info
See www.tcs.hut.fi ...
65Karsten Schmidt. Applying reduction rules to algebraic Petri nets. Research Report A44, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1997.
PostScript (489 kB)
GZipped PostScript (167 kB)
Info
64Samuel Kaski. Data exploration using self-organizing maps. Acta Polytechnica Scandinavica, Mathematics, Computing and Management in Engineering Series No. 82, March 1997. D.Sc.(Tech) Thesis, Helsinki University of Technology, Finland.
Info
63Samuel Kaski. Data exploration using self-organizing maps. Acta Polytechnica Scandinavica, Mathematics, Computing and Management in Engineering Series No. 82, March 1997. Dr.Tech. Thesis, Helsinki University of Technology, Finland.
Info
62Kari J. Nurmela. Minimum-energy point charge configurations on a circular disk. Research Report A43, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1997.
PostScript (1 MB)
GZipped PostScript (200 kB)
Info
61S. Brass, J. Dix, Ilkka Niemelä, and T.C. Przymusinski. Comparison and efficient computation of the static and the disjunctive WFS. In Proceedings of the Third Dutch-German Workshop on Nonmonotonic Reasoning, pages 37–42, Max Planck Institute for Computer Science, Saarbrücken, Germany, February 1997.
Info
60Antti Huima. Security flaws in popular security software: Lessons learned from problems in SSH-1.2.17 and older. In Proc. NORDSEC '97, 1997.
Info
59Antti Huima and Tuomas Aura. Using a multimodal logic to express conflicting interests in security protocols. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Proceedings were published in electronic form (CD) only.
Info
58Eero Lassila. Towards optimizing code generation by domain-sensitive macro expansion. Research Report A42, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, January 1997.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (721 kB)
GZipped PostScript (238 kB)
Info
See www.tcs.hut.fi ...
57Patrik Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
56Eero Lassila. Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
55Tuomas Aura. On the Structure of Delegation Networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
54Keijo Heljanko. Model checking the branching time temporal logic CTL. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
53Tero Jyrinki. Dynamical analysis of SDL programs with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1997.
Info
See www.tcs.hut.fi ...
52Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
51Kimmo Varpaaniemi, Keijo Heljanko, and Johan Lilius. PROD 3.2 — an advanced tool for efficient reachability analysis. In Orna Grumberg, editor, Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22–25, 1997, Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 472–475. Springer-Verlag, Berlin, Germany, 1997.
Errata 
Info
50Eero Lassila. A functional macro expansion system for optimizing code generation: Gaining context-sensitivity without losing confluence. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, page 315. ACM Press, 1997.
Info
49C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A Research Project on Disjunctive Logic Programming. Fachberichte Informatik 1–97, Universität Koblenz-Landau, 1997. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
48C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A research project on disjunctive logic programming. AI Communications, 10(3,4):151–165, 1997.
Info
47C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A research project on disjunctive logic programming. Computational Logic, 3(2), 1997.
Info
46Michiaki Taniguchi, Michael Haft, Jaakko Hollmén, and Volker Tresp. Erkennung eines betrügerischen anrufs mittels eines neuronalen netzes. Patent DE 197 29 630 A1, 1997. patent.
Info
45Olli Simula, Esa Alhoniemi, Jaakko Hollmén, and Juha Vesanto. Analysis of complex systems using the self-organizing map. In Proceedings of the 1997 International Conference on Neural Information Processing and Intelligent Information Systems (ICONIP'97), volume 2, pages 1313–1317. Springer, 1997.
Info
44Jukka Henriksson and Kimmo Raivio. Method and circuit arrangement for processing a signal containing interference, 1997. Finnish Patent 98177, US patent 6754293, EP0746097.
Info
43Timo Honkela. Self-Organizing Maps in Natural Language Processing. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997.
Info
42Samuel Kaski. Computationally efficient approximation of a probabilistic model for document representation in the WEBSOM full-text analysis method. Neural Processing Letters, 5:139–151, 1997.
Info
41Teuvo Kohonen. Exploration of very large databases by self-organizing maps. In Proceedings of ICNN'97, International Conference on Neural Networks, pages PL1–PL6. IEEE Service Center, Piscataway, NJ, 1997.
Info
40Krista Lagus. Map of WSOM'97 abstracts—alternative index. In Proceedings of WSOM'97, Workshop on Self-Organizing Maps, Espoo, Finland, June 4-6, pages 368–372. Helsinki University of Technology, Neural Networks Research Centre, Espoo, Finland, 1997.
Info
39Kimmo Varpaaniemi, Keijo Heljanko, and Johan Lilius. PROD 3.2 — an advanced tool for efficient reachability analysis. In Orna Grumberg, editor, Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22–25, 1997, Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 472–475. Springer-Verlag, Berlin, Germany, 1997.
PostScript (222 kB)
GZipped PostScript (45 kB)
PDF (108 kB)
Errata 
Info
38D. Gunopulos, Heikki Mannila, and S. Saluja. Discovering all most specific sentences using randomized algorithms. In Database Theory – ICDT'97, 6th International Conference, pages 215–229, 1997.
Info
37Heikki Mannila. Methods and problems in data mining. In Database Theory – ICDT'97, 6th International Conference, pages 41–55, 1997.
Info
36D. Gunopulos, R. Khardon, Heikki Mannila, and H. Toivonen. Data mining, hypergraph transversals, and machine learning. In Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'97), pages 209–216, 1997.
Info
35T. Eiter and Heikki Mannila. Distance measures for point sets and their computation. Acta Informatica, 34(2):109–133, 1997.
Info
34B. Bollobás, G. Das, D. Gunopulos, and Heikki Mannila. Time-series similarity problems and well-separated geometric sets. In 13th Annual ACM Symposium on Computational Geometry, pages 454–456, 1997.
Info
33G. Das, D. Gunopulos, and Heikki Mannila. Finding similar time series. In Principles of Data Mining and Knowledge Discovery, pages 88–100, 1997.
Info
32Heikki Mannila and P. Ronkainen. Similarity of event sequences. In Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning, pages 136–139, 1997.
Info
31Heikki Mannila and H. Toivonen. Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery, 1(3):241–258, 1997.
Info
30Heikki Mannila, H. Toivonen, and I. Verkamo. Discovery of frequent episodes in event sequences. Data Mining and Knowledge Discovery, 1(3):259–289, 1997.
Info
29Heikki Mannila. Inductive databases and condensed representations: concepts for data mining. In International Logic Programming Symposium, pages 21–30, 1997.
Info
28M. Klemettinen, Heikki Mannila, and H. Toivonen. A data-mining methodology and its application to semi-automatic knowledge acquisition. In Proceedings of the 8th International Conference and Workshop on Database and Expert Systems Applications (DEXA'97), pages 670–677, 1997.
Info
27H. Ahonen, H. Mannila, and E. Nikunen. Generating grammars for sgml tagged texts lacking dtd. Mathematical and Computer Modelling, 26(1):1–13, 1997.
Info
26Mikko Kurimo. Using Self-Organizing Maps and Learning Vector Quantization for Mixture Density Hidden Markov Models. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997.
Info
25Aapo Hyvärinen and Erkki Oja. A fast fixed-point algorithm for independent component analysis. Neural Computation, 9(7):1483–1492, 1997.
Info
24Kimmo Kiviluoto and Erkki Oja. S-map: A network with a simple self-organization algorithm for generative topographic mappings. In NIPS, 1997.
Info
23Erkki Oja. The nonlinear pca learning rule in independent component analysis. Neurocomputing, 17(1):25–45, 1997.
Info
22Erkki Oja, Juha Karhunen, and Aapo Hyvärinen. From neural principal components to neural independent components. In ICANN, pages 519–528, 1997.
Info
21Erkki Oja and Kimmo Valkealahti. Local independent component analysis by the self-organizing map. In ICANN, pages 553–558, 1997.
Info
20Ricardo Vigário, Veikko Jousmäki, Matti Hämäläinen, Riitta Hari, and Erkki Oja. Independent component analysis for identification of artifacts in magnetoencephalographic recordings. In NIPS, 1997.
Info
19R. Vigário. Extraction of ocular artifacts from eeg using independent component analysis. Electroenceph. clin. Neurophysiol., 103:395–404, 1997.
Info
18J. Karhunen, E. Oja, L. Wang, R. Vigário, and J. Joutsensalo. A class of neural networks for independent component analysis. IEEE Trans. Neural Networks, 8(3):486–504, 1997.
Info
17E. Oja, J. Karhunen, A. Hyvárinen, R. Vigário, and J. Hurri. Neural independent component analysis - approaches and applications. In S. Amari and N. Kasabov, editors, Brain-like Computing and Intelligent Information Systems, pages 167–188. Springer, Singapore, 1997.
Info
16J. Karhunen, A. Hyvárinen, R. Vigário, and J. Hurri. Applications of neural blind separation to signal and image processing. In Proc. of the IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP'97), pages 131–134, Münich, Germany, 1997.
Info
15Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. WEBSOM—self-organizing maps of document collections. In Proceedings of WSOM'97, Workshop on Self-Organizing Maps, Espoo, Finland, June 4-6, pages 310–315. Helsinki University of Technology, Neural Networks Research Centre, Espoo, Finland, 1997.
Info
14Teuvo Kohonen, Samuel Kaski, Harri Lappalainen, and Jarkko Saloj?vi. The adaptive-subspace self-organizing map (ASSOM). In Proceedings of WSOM'97, Workshop on Self-Organizing Maps, Espoo, Finland, June 4-6, pages 191–196. Helsinki University of Technology, Neural Networks Research Centre, Espoo, Finland, 1997.
Info
13J. Sinkkonen and S. Kaski. Topographic components model with adaptive latencies. Neuroimage, 5(4):S445, 1997. A. W. Toga and R. S. J. Frackowiak and J. C. Mazziotta (eds.), Proceedings of the Third International Conference on Functional Mapping of the Human Brain, May 19-23 1997, Copenhagen, Denmark.
Info
12Teuvo Kohonen, Samuel Kaski, and Harri Lappalainen. Self-organized formation of various invariant-feature filters in the adaptive-subspace SOM. Neural Computation, 9:1321–1344, 1997.
Info
11Samuel Kaski. Computationally efficient approximation of a probabilistic model for document representation in the WEBSOM full-text analysis method. Neural Processing Letters, 5:139–151, 1997.
Info
10Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. WEBSOM—self-organizing maps of document collections. In Proceedings of WSOM'97, Workshop on Self-Organizing Maps, Espoo, Finland, June 4-6, pages 310–315. Helsinki University of Technology, Neural Networks Research Centre, Espoo, Finland, 1997.
Info
See www.cis.hut.fi ...
9Timo Honkela. Self-organizing maps of words for natural language processing applications. In Proceedings of International ICSC Symposium on Soft Computing, pages 401–407, Millet, Alberta, Canada, 1997. ICSC Academic Press.
Info
8Timo Honkela. Comparisons of self-organized word category maps. In Proceedings of WSOM'97, Workshop on Self-Organizing Maps, pages 298–303. Helsinki University of Technology, Neural Networks Research Centre, Espoo, Finland, 1997.
Info
7Timo Honkela. Self-Organizing Maps in Natural Language Processing. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997.
Info
See www.cis.hut.fi ...
6Timo Honkela, Aarno Lehtola, Sakari Kalliomäki, Risto Suitiala, Ray Hudson, Vangelis Karkaletsis, and George Vouros. A Recommended Globalization Method, pages 33–50. John Wiley and Sons, Chichester, 1997.
Info
5Vangelis Karkaletsis, Costas Spyroupoulos, George Vouros, Timo Honkela, Krista Lagus, and Aarno Lehtola. Message Generation, pages 203–281. John Wiley and Sons, Chichester, 1997.
Info
See www.cis.hut.fi ...
4Stavros Kokkotos, Costas Spyroupoulos, Timo Honkela, Tuula Käpylä, Krista Lagus, and Pat Hall. Languages and Character Sets, pages 135–158. John Wiley and Sons, Chichester, 1997.
Info
3Krista Lagus, Risto Suitiala, , and Timo Honkela. Culture, Conventions and Local Practices, pages 159–166. John Wiley and Sons, Chichester, 1997.
Info
2Aarno Lehtola, Sakari Kalliomäki, Timo Honkela, , and Tor Lillqvist. An Application Framework for Internationalization, pages 83–110. John Wiley and Sons, Chichester, 1997.
Info
1Niamh McHugh, Timo Honkela, and Ray Hudson. Quality Assurance, pages 219–228. John Wiley and Sons, Chichester, 1997.
Info