Publications in 2002

149Timo Latvala. On model checking safety properties. Research Report A76, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2002.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (830 kB)
GZipped PostScript (349 kB)
PDF (471 kB)
Info
See www.tcs.hut.fi ...
148Ville Viitaniemi and Jorma Laaksonen. Browsing an electronic mail-order catalogue with PicSOM content-based image retrieval system. In Proceedings of 10th Finnish Artificial Intelligence Conference (STEP 2002), pages 170–181, Oulu, Finland, December 2002.
Info
147Tapani Raiko, Kristian Kersting, Juha Karhunen, and Luc De Raedt. Bayesian learning of logical hidden markov models. In Proceedings of the Finnish Artificial Intelligence Conference, STeP 2002, pages 64–71, Oulu, Finland, December 2002.
Info
146Catharina Candolin and Pekka Nikander. Ipv6 source addresses considered harmful. In Proceedings of the 6th Nordic Workshop on Secure IT Systems (NordSec'2001), Lyngby, Denmark, November 2002.
Info
145Catharina Candolin and Hannu Kari. Dynamic management of core ad hoc networks. In Proceedings of InfoWarCon 2002, Perth, Australia, November 2002.
Info
144Catharina Candolin and Pekka Nikander. Ipv6 source addresses considered harmful. In Proceedings of the 6th Nordic Workshop on Secure IT Systems (NordSec'2001), Lyngby, Denmark, November 2002.
Info
143Catharina Candolin and Hannu Kari. Dynamic management of core ad hoc networks. In Proceedings of InfoWarCon 2002, Perth, Australia, November 2002.
Info
142Pierre Cardon, Amaury Lendasse, Vincent Wertz, Eric de Bodt, and Michel Verleysen. Classification of investment funds by self-organizing maps. In ACSEG 2002, Connectionist Approaches in Economics and Management Sciences, Boulogne-sur-Mer (France), pages 201–212, November 21-22 2002.
Info
141Kristian Kersting, Tapani Raiko, and Luc De Raedt. Logical hidden markov models (extended abstract). In Proceedings of the First European Workshop on Graphical Models, PGM-02, pages 99–107, Cuenca, Spain, November 2002.
Info
140Tommi Junttila. New canonical representative marking algorithms for place/transition-nets. Research Report A75, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2002.
PostScript (1 MB)
GZipped PostScript (545 kB)
PDF (460 kB)
Info
139Elina Parviainen. Reducing size of quantum gate matrices using Pr/T nets. In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, volume 2, pages 634–639, Hammamet, Tunisia, October 2002. IEEE (Institute of Electrical and Electronics Engineers, Inc.).
Info
138Catharina Candolin and Hannu Kari. A security architecture for wireless ad hoc networks. In Proceedings of IEEE Milcom 2002, Anaheim, California, USA, October 2002.
Info
137Catharina Candolin and Hannu Kari. A security architecture for wireless ad hoc networks. In Proceedings of IEEE Milcom 2002, Anaheim, California, USA, October 2002.
Info
136Krister Lindén and Krista Lagus. Word sense disambiguation in document space. In 2002 IEEE International Symposium on Natural Language Processing and Knowledge Engineering (NLPKE 2002), Tunisia, October 2002. Electronic proceedings (CD-ROM).
Info
135Amaury Lendasse, John A. Lee, Vincent Wertz, and Michel Verleysen. Forecasting electricity consumption using nonlinear projection and self-organizing maps. Neurocomputing, 48(1-4):299–311, October 2002.
Info
See citeseerx.ist.psu.edu ...
134Sam Sandqvist. Aspects of modelling and simulation of genetic algorithms: A formal approach. Research Report A74, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2002. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (589 kB)
PDF (1 MB)
Info
See lib.hut.fi ...
133Catharina Candolin, Janne Lundberg, and Pekka Nikander. Experimenting with early opportunistic key agreement. In Proceedings of Workshop SEcurity of Communication on Internet, Internet Communication Security, Tunis, Tunisia, September 2002.
Info
132Catharina Candolin, Janne Lundberg, and Pekka Nikander. Experimenting with early opportunistic key agreement. In Workshop on Security of Communication on the Internet (SECI'02), Tunis, Tunisia, September 2002.
Info
131Catharina Candolin, Janne Lundberg, and Pekka Nikander. Experimenting with early opportunistic key agreement. In Proceedings of Workshop SEcurity of Communication on Internet, Internet Communication Security, Tunis, Tunisia, September 2002.
Info
130Gerd Brewka, Ilkka Niemelä, and Tommi Syrjänen. Implementing ordered disjunction using answer set solvers for normal programs. In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), pages 444–455, Cosenza, Italy, September 2002. Springer-Verlag.
Info
See www.tcs.hut.fi ...
129Catharina Candolin, Janne Lundberg, and Pekka Nikander. Experimenting with early opportunistic key agreement. In Workshop on Security of Communication on the Internet (SECI'02), Tunis, Tunisia, September 2002.
Info
128Sami Brandt, Jorma Laaksonen, and Erkki Oja. Statistical shape features for content-based image retrieval. Journal of Mathematical Imaging and Vision, 17(2):187–198, September 2002.
Info
127Tomi Janhunen and Emilia Oikarinen. Testing the equivalence of logic programs under stable model semantics. In Sergio Flesca et al., editors, Logics in Artificial Intelligence, Proceedings of the 8th European Conference, pages 493–504, Cosenza, Italy, September 2002. Springer-Verlag. LNAI 2424.
Info
See www.tcs.hut.fi ...
126Toni Jussila. Bounded model checking for verifying concurrent programs. Research Report A73, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2002.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (676 kB)
GZipped PostScript (300 kB)
PDF (388 kB)
Info
See www.tcs.hut.fi ...
125Jukka Järvenpää and Marko Mäkelä. Towards automated checking of component-oriented enterprise applications. In Daniel Moldt, editor, Second Workshop on Modelling of Objects, Components and Agents, volume PB-561 of DAIMI report, pages 67–85, Århus, Denmark, August 2002. University of Århus.
Info
124Markus Koskela, Jorma Laaksonen, and Erkki Oja. Using MPEG-7 descriptors in image retrieval with self-organizing maps. In Proceedings of 16th International Conference on Pattern Recognition, volume 2, pages 1049–1052, Quebec, Canada, August 2002.
Info
123Markus Koskela, Jorma Laaksonen, and Erkki Oja. Implementing relevance feedback as convolutions of local neighborhoods on self-organizing maps. In Proceedings of International Conference on Artificial Neural Networks, pages 981–986, Madrid, Spain, August 2002.
Info
122J. Han, Russ B. Altman, V. Kumar, Heikki Mannila, and D. Pregibon. Emerging scientific applications in data mining. Communications of the ACM, 45(8):54–58, August 2002.
Info
121Mikko Kurimo. Thematic indexing of spoken documents by using self-organizing maps. Speech Communication, 38(1-2):29–44, August 2002.
Info
120Jukka Järvenpää and Marko Mäkelä. Towards automated checking of component-oriented enterprise applications. In Daniel Moldt, editor, Second Workshop on Modelling of Objects, Components and Agents, volume PB-561 of DAIMI report, pages 67–85, Århus, Denmark, August 2002. University of Århus.
PDF (140 kB)
Info
119Juha Vesanto and Mika Sulkava. Distance matrix based clustering of the self-organizing map. In José R. Dorronsoro, editor, Artificial Neural Networks – ICANN 2002: International Conference, Proceedings, volume 2415 of Lecture Notes in Computer Science, pages 951–956, Madrid, Spain, August 2002. Springer-Verlag.
Info
See dx.doi.org ...
118Vesa Siivola, Teemu Hirsimäki, and Mikko Kurimo. äännemallien vertailua jatkuvassa suuren sanaston puheentunnistuksessa. In Fonetiikan päivät, pages 75–82, Espoo, Finland, August 2002.
Info
117Toni Jussila and Ilkka Niemelä. Parallel program verification using BMC. In Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence, pages 59–66, Lyon, France, July 2002.
Info
See www.tcs.hut.fi ...
116Jorma Laaksonen, Markus Koskela, and Erkki Oja. PicSOM—Self-organizing image retrieval with MPEG-7 content descriptions. IEEE Transactions on Neural Networks, Special Issue on Intelligent Multimedia Processing, 13(4):841–853, July 2002.
Info
115Mathias Creutz and Krista Lagus. Unsupervised discovery of morphemes. In Proceedings of the Workshop on Morphological and Phonological Learning of ACL-02, pages 21–30, Philadelphia, Pennsylvania, July 2002.
Info
114Kristian Kersting, Tapani Raiko, Stefan Kramer, and Luc De Raedt. Towards discovering structural signatures of protein folds based on logical hidden markov models (extended abstract). In Work-in-Progress Reports of the Twelfth International Conference on Inductive Logic Programming (ILP -2002), Sydney, Australia, July 2002.
Info
113Catharina Candolin and Hannu Kari. Context aware management architecture. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
112Janne Lundberg. Unidirectional link support for mldv2. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
111Marko Mäkelä. Maria: Modular reachability analyser for algebraic system nets. In Javier Esparza and Charles Lakos, editors, Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, number 2360 in Lecture Notes in Computer Science, pages 434–444, Adelaide, Australia, June 2002. Springer-Verlag, Berlin, Germany.
Info
See link.springer.de ...
110Marko Mäkelä. Efficiently verifying safety properties with idle office computers. In Charles Lakos, Robert Esser, Lars M. Kristensen, and Jonathan Billington, editors, Formal Methods in Software Engineering and Defence Systems 2002, Conferences in Research and Practice in Information Technology, pages 11–16. Australian Computer Society Inc., June 2002.
Info
109Catharina Candolin and Hannu Kari. Context aware management architecture. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
108Janne Lundberg. Unidirectional link support for mldv2. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
107Amaury Lendasse, Marie Cottrell, Vincent Wertz, and Michel Verleysen. Prediction of electric load using kohonen maps - application to the polish electricity consumption. In ACC 2002, American Control Conference, Anchorage, Alaska (USA), pages 3684–3689, June 2002.
Info
106Marko Mäkelä. Maria: Modular reachability analyser for algebraic system nets. In Javier Esparza and Charles Lakos, editors, Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, number 2360 in Lecture Notes in Computer Science, pages 434–444, Adelaide, Australia, June 2002. Springer-Verlag, Berlin, Germany.
PDF (169 kB)
Info
See link.springer.de ...
105Marko Mäkelä. Efficiently verifying safety properties with idle office computers. In Charles Lakos, Robert Esser, Lars M. Kristensen, and Jonathan Billington, editors, Formal Methods in Software Engineering and Defence Systems 2002, Conferences in Research and Practice in Information Technology, pages 11–16. Australian Computer Society Inc., June 2002.
PDF (192 kB)
Info
104Kristian Kersting, Tapani Raiko, Stefan Kramer, and Luc De Raedt. Towards discovering structural signatures of protein folds based on logical hidden markov models. Technical Report 175, Institute for Computer Science, University of Freiburg, Germany, June 2002.
Info
103Tommi Junttila. Symmetry reduction algorithms for data symmetries. Research Report A72, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2002.
PostScript (2 MB)
GZipped PostScript (986 kB)
PDF (833 kB)
Info
102Kimmo Varpaaniemi. Minimizing the number of successor states in the stubborn set method. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 51(1–2):215–234, May 2002. IOS Press, Amsterdam, The Netherlands.
Errata 
Info
See iospress.metapress.com ...
101Kimmo Varpaaniemi. Minimizing the number of successor states in the stubborn set method. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 51(1–2):215–234, May 2002. IOS Press, Amsterdam, The Netherlands.
Errata 
Info
See iospress.metapress.com ...
100Mikko Kurimo. Puheentunnistus, pages 115–123. Suomen hahmontunnistustutkimuksen seura ry - Pattern Recognition Society of Finland, Otaniemi, Finland, May 2002. (in Finnish).
Info
99Kimmo Varpaaniemi, editor. Annual report for the year 2001. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, April 2002.
PostScript (603 kB)
GZipped PostScript (256 kB)
PDF (353 kB)
Info
98Jouni Seppänen, Jaakko Hollmén, Ella Bingham, and Heikki Mannila. Nonnegative matrix factorization on gene expression data. In Bioinformatics 2002, Bergen, Norway, April 2002. poster 49.
Info
97Keijo Heljanko, Victor Khomenko, and Maciej Koutny. Parallelisation of the Petri net unfolding algorithm. In Joost-Pieter Katoen and Perdita Stevens, editors, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002), volume 2280 of Lecture Notes in Computer Science, pages 371–385, Grenoble, France, April 2002. Springer-Verlag.
Info
See users.ics.tkk.fi ...
96Pasi Lehtimäki, Kimmo Raivio, and Olli Simula. Mobile radio access network monitoring using the self-organizing map. In Proceedings of European Symposium on Artificial Neural Networks, pages 231–236, Bruges, Belgium, April 24 - 26 2002.
Info
95Amaury Lendasse and Michel Verleysen. Curvilinear distance analysis versus isomap. In M. Verleysen, editor, ESANN 2002, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 185–192. d-side publ. (Evere, Belgium), April 2002.
Info
94Nabil Benoudjit, Cédric Archambeau, Amaury Lendasse, John A. Lee, and Michel Verleysen. Width optimization of the gaussian kernels in radial basis function networks. In M. Verleysen, editor, ESANN 2002, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 425–432. d-side publ. (Evere, Belgium), April 2002.
Info
93Harri Valpola, Tapani Raiko, and Juha Karhunen. Constructing graphical models for bayesian ensemble learning from simple building blocks (abstract). In The Learning Workshop, Snowbird, Utah, April 2002.
Info
92Olli Simula, Jaakko Hollmén, Esa Alhoniemi, Juha Vesanto, Johan Himberg, Markus Siponen, Jussi Ahola, Juha Parhankangas, and Mika Sulkava. Methods for effient utilization of SOM in data mining. In K. Puolamäki and L. Koivisto, editors, Biennial report 2000–2001, chapter 15, pages 149–150. Laboratory of Computer and Information Science, Neural Networks Research Centre, Helsinki University of Technology, Espoo, Finland, April 2002.
PDF (43 kB)
Info
See www.cis.hut.fi ...
91Catharina Candolin, Maarit Hietalahti, and Hannu Kari. Providing quality of service in wireless ad hoc networks. In Proceedings of the 2nd Swedish Workshop on Wireless Ad-hoc Networks, Stockholm, Sweden, March 2002.
Info
90Catharina Candolin and Hannu Kari. Complexity of route optimization and mobility management. In Proceedings of the 2nd Swedish Workshop on Wireless Ad-hoc Networks, Stockholm, Sweden, March 2002.
Info
89Catharina Candolin, Maarit Hietalahti, and Hannu Kari. Providing quality of service in wireless ad hoc networks. In Proceedings of the 2nd Swedish Workshop on Wireless Ad-hoc Networks, Stockholm, Sweden, March 2002.
Info
88Catharina Candolin and Hannu Kari. Complexity of route optimization and mobility management. In Proceedings of the 2nd Swedish Workshop on Wireless Ad-hoc Networks, Stockholm, Sweden, March 2002.
Info
87Markus Koskela, Jorma Laaksonen, and Erkki Oja. MPEG-7 descriptors in content-based image retrieval with PicSOM system. In Proceedings of 5th International Conference on Visual Information System, pages 247–258, HsinChu, Taiwan, March 2002.
Info
86Keijo Heljanko. Combining symbolic and partial order methods for model checking 1-safe Petri nets. Research Report A71, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2002. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (724 kB)
GZipped PostScript (314 kB)
PDF (563 kB)
Info
See lib.hut.fi ...
85Yuchen Zhou, Catharina Candolin, and Teemupekka Virtanen. Trust management in mobile ipv6. In Proceedings of the 4th Nordic Usenix Conference, Helsinki, Finland, February 2002.
Info
84Yuchen Zhou, Catharina Candolin, and Teemupekka Virtanen. Trust management in mobile ipv6. In Proceedings of the 4th Nordic Usenix Conference, Helsinki, Finland, February 2002.
Info
83Harri Valpola, Antti Honkela, and Juha Karhunen. An ensemble learning approach to nonlinear dynamic blind source separation using state-space models. In Proc. Int. Joint Conf. on Neural Networks (IJCNN'02), pages 460–465, Honolulu, Hawaii, USA, 2002.
Info
82Antti Honkela. Speeding up cyclic update schemes by pattern searches. In Proc. of the 9th Int. Conf. on Neural Information Processing (ICONIP'02), pages 512–516, Singapore, 2002.
Info
81Harri Valpola, Antti Honkela, and Xavier Giannakopoulos. Nonlinear dynamical factor analysis Matlab package, 2002.
Info
See www.cis.hut.fi ...
80Timo Latvala. On Model Checking Safety Properties. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
See www.tcs.hut.fi ...
79Petteri Kaski. A Census of Steiner Triple Systems and Some Related Combinatorial Objects. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
See www.tcs.hut.fi ...
78Lauri Tarkkala. On the construction of collision-resistant accumulators. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
77Jing Lin. An architectural solution driven by business, enabled through technology, with and integration perspective. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
76Erkki Pulliainen. Reducing retrieval time in high-latency computer networks using predictive caching. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
75Terje Bergström. Context awareness in symbian os based smart-phones. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
74Matti Kokkola. An architecture for time critical short message services. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
73Henrik Petander. Authorization of mobile IPv6. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002.
Info
72Yafeng Wang. A gateway architecture for content charging. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
71Matti Salonen. Solution for content and service mediation. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002.
Info
70Catharina Candolin. Network management and routing in mobile military ad hoc networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
Info
69Henri Grönblom. Software quality improvement through software product process definition and development. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002.
Info
68Timo Karilinna. Analysointityökalun käytettävyyden parantaminen. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2002.
Info
67Elina Parviainen. Modeling the operation of Margolus quantum cellular automaton using high-level Petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.
PostScript (1004 kB)
GZipped PostScript (272 kB)
Info
66Tuomas Aura and Silja Mäki. Towards a survivable security architecture for ad-hoc networks. In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols, 9th International Workshop, Cambridge, UK, April 25–27, 2001, Revised Papers, volume 2467 of Lecture Notes in Computer Science, pages 63–73. Springer-Verlag, Berlin, 2002. © Springer-Verlag Berlin Heidelberg 2002.
Info
See link.springer.de ...
65Silja Mäki. Towards a survivable security architecture for ad-hoc networks (transcript of discussion). In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols, 9th International Workshop, Cambridge, UK, April 25–27, 2001, Revised Papers, volume 2467 of Lecture Notes in Computer Science, pages 74–79. Springer-Verlag, Berlin, 2002. © Springer-Verlag Berlin Heidelberg 2002.
Info
See link.springer.de ...
64Pekka Nikander, Catharina Candolin, and Janne Lundberg. From address orientation to host orientation. Réseaux et systèmes répartis, calculateurs parallèles, ISSN 1260-3198, Special Issue on Mobility and Internet, 13, 2002.
Info
63Catharina Candolin. Ad hoc -johtamisverkot. Maanpuolustuksen aikakauslehti, 1(1), 2002.
Info
62Kimmo Varpaaniemi. Towards ambitious approximation algorithms in stubborn set optimization. In Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Andrzej Skowron, and Peter H. Starke, editors, Workshop: Concurrency, Specification and Programming, CS&P'2002, Berlin, October 7–9, 2002, Volume 2, pages 370–379. Informatik-Bericht Nr. 161, Institut für Informatik, Humboldt-Universität zu Berlin, Germany, 2002.
Errata 
Info
61Pekka Nikander, Catharina Candolin, and Janne Lundberg. From address orientation to host orientation. Réseaux et systèmes répartis, calculateurs parallèles, ISSN 1260-3198, Special Issue on Mobility and Internet, 13, 2002.
Info
60Catharina Candolin. Ad hoc -johtamisverkot. Maanpuolustuksen aikakauslehti, 1(1), 2002.
Info
59Eugen Czeizler. Self-activating p systems. Technical Report TUCS 482, University of Turku, Dept. of Mathematics, TUCS, Turku, Finland, 2002.
Info
58Patrik Simons, Ilkka Niemelä, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1–2):181–234, 2002.
Info
57Juha Tiihonen, Timo Soininen, Ilkka Niemelä, and Reijo Sulonen. Empirical testing of a weight constraint rule based configurator. In ECAI 2002 Configuration Workshop, pages 17–22, 2002.
Info
56Artur Bykowski, Jouni K. Seppänen, and Jaakko Hollmén. Model-independent bounding of the supports of Boolean formulae in binary data. In Mika Klemettinen, Rosa Meo, Fosca Giannotti, and Luc De Raedt, editors, Knowledge Discovery in Inductive Databases (KDID'02), First International Workshop, University of Helsinki Department of Computer Science Series of Publications B, Report B-2002-7, pages 20–31, 2002.
Info
55Tarja Niini, Kim Vettenranta, Jaakko Hollmén, Marcelo L. Larramendy, Yan Aalto, Harriet Wikman, Bálint Nagy, Jouni K. Seppänen, Anna Ferrer Salvador, Heikki Mannila, Ulla M. Saarinen-Pihkala, and Sakari Knuutila. Expression of myeloid-specific genes in childhood acute lymphoblastic leukemia — a cDNA array study. Leukemia, 16(11):2213–2221, 2002. Nature Publishing Group.
Info
See www.nature.com ...
54Salla Ruosaari and Jaakko Hollmén. Image analysis for detecting faulty spots from microarray images. In Steffen Lange, Ken Satoh, and Carl H. Smith, editors, Proceedings of the 5th International Conference on Discovery Science (DS 2002), volume 2534 of Lecture Notes in Computer Science, pages 259–266. Springer-Verlag, 2002.
Info
53Juha Vesanto and Jaakko Hollmén. An automated report generation tool for the data understanding phase. In Ajith Abraham and Mario Koeppen, editors, Hybrid Information Systems, pages 611–625. Physica-Verlag (Springer), Heidelberg, 2002. Proceedings of the First International Workshop on Hybrid Intelligent Systems (HIS'01).
Info
52Harriet Wikman, Eeva Kettunen, Jouni K. Seppänen, Antti Karjalainen, Jaakko Hollmén, Sisko Anttila, and Sakari Knuutila. Identification of differentially expressed genes in pulmonary adenocarcinoma by using a cDNA array. Oncogene, 21(37):5804–5813, 2002. Nature Publishing Group.
Info
See www.nature.com ...
51Ying Zhu, Jaakko Hollmén, Riikka Räty, Yan Aalto, Balint Nagy, Erkki Elonen, Juha Kere, Heikki Mannila, Kaarle Franssila, and Sakari Knuutila. Investigatory and analytical approaches to differential gene expression profiling in mantle cell lymphoma. British Journal of Haematology, 119(4):905–915, 2002.
Info
50Jaakko Peltonen. Itseorganisoituvat kartat oppivissa metriikoissa. Tekniikan Akateemiset, 5/2002, 2002.
Info
49Kai Puolamäki and Leila Koivisto, editors. Biennial report 2000–2001. Laboratory of Computer and Information Science, 2002.
Info
See www.cis.hut.fi ...
48Jaana Laiho, Kimmo Raivio, Pasi Lehtimäki, Kimmo Hätönen, and Olli Simula. Advanced analysis methods for 3G cellular networks. Technical Report A65, Helsinki University of Technology, Laboratory of Computer and Information Science, 2002.
Info
47Krista Lagus, Anu Airola, and Mathias Creutz. Data analysis of conceptual similarities of Finnish verbs. In Proceedings of the CogSci 2002, pages 566–571, Fairfax, Virginia, 2002.
Info
46Kristiina Jokinen, Antti Kerminen, Mauri Kaipainen, Tommi Jauhiainen, Markku Turunen, Jaakko Hakulinen, Jukka Kuusisto, and Krista Lagus. Adaptive dialogue systems — interaction with interact. In 3rd SIGdial Workshop on Discourse and Dialogue, July 11 and 12, 2002, pages 64–73, 2002.
Info
45Krista Lagus and Mikko Kurimo. Language model adaptation in speech recognition using document maps. In 2002 IEEE International workshop on neural networks for signal processing, September 4-6, 2002, pages 627–636, Martigny, Switzerland, 2002.
Info
44Mikko Kurimo and Krista Lagus. An efficiently focusing large vocabulary language model. In International Conference on Artificial Neural Networks, ICANN'02, 2002. 1068–1073.
Info
43Krista Lagus and Jukka Kuusisto. Topic identification in natural language dialogues using neural networks. In 3rd SIGdial Workshop on Discourse and Dialogue of ACL'02, July 11 and 12, 2002, pages 95–102, 2002.
Info
42Ella Bingham, Jukka Kuusisto, and Krista Lagus. Ica and som in text document analysis. In The 25th ACM SIGIR Conference on Research and Development in Information Retrieval, August 11-15, 2002, Tampere, Finland, pages 361–362, 2002.
Info
41Krista Lagus. Text retrieval using self-organized document maps. Neural Processing Letters., 15(1):21–29, 2002.
Info
40Kimmo Varpaaniemi. Towards ambitious approximation algorithms in stubborn set optimization. In Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Andrzej Skowron, and Peter H. Starke, editors, Workshop: Concurrency, Specification and Programming, CS&P'2002, Berlin, October 7–9, 2002, Volume 2, pages 370–379. Informatik-Bericht Nr. 161, Institut für Informatik, Humboldt-Universität zu Berlin, Germany, 2002.
PostScript (189 kB)
GZipped PostScript (76 kB)
PDF (191 kB)
Errata 
Info
39E. Bingham, Heikki Mannila, and J. Seppänen. Topics in 0-1 data. In Proceedings of the 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 450–455, 2002.
Info
38Heikki Mannila. Global and local methods in data mining: basic techniques and open problems. In 29th International Colloquium on Automata, Languages, and Programming (ICALP), pages 57–68, 2002.
Info
37Heikki Mannila, A. Patrikainen, J. Seppänen, and J. Kere. Long-range control of expression in yeast. Bioinformatics, 18(3):482–483, 2002.
Info
36C.K. Leung, R. Ng, and Heikki Mannila. Segmentation for frequency counting. In Proceedings of the 18th International Conference on Data Engineering (ICDE), pages 583–593, 2002.
Info
35M. Salmenkivi, J. Kere, and Heikki Mannila. Genome segmentation using piecewise constant intensity models and reversible jump mcmc. Bioinformatics, 18(Supplement 2):S211–S218, 2002. (European Computational Biology Conference 2002).
Info
34Y. Zhu, J. Hollmen, R. Raty, Y. Aalto, B. Nagy, E. Elonen, J. Kere, Heikki Mannila, K. Franssila, and S. Knuutila. Investigatory and analytical approaches to differential gene expression profiling in mantle cell lymphoma. Br J Haematol., 119(4):905–915, 2002.
Info
33T. Niini, K. Vettenranta, J. Hollmen, M.L. Larramendy, Y. Aalto, H. Wikman, B. Nagy, J.K. Seppänen, A.F. Salvador, Heikki Mannila, U.M. Saarinen-Pihkala, and S. Knuutila. Expression of myeloid-specific genes in childhood acute lumpoblastic leukemia – a cdna array study. Leukemia, 16:2213–2221, 2002.
Info
32P. Onkamo, V. Ollikainen, P. Sevon, H. Toivonen, Heikki Mannila, and J. Kere. Association analysis for quantitative traits by data mining: Qhpm. The Annals of Human Genetics, 66:419–429, 2002.
Info
31L. de Raedt, M. Jaeger, S.D. Lee, and Heikki Mannila. A theory of inductive query answering. In Proceedings of the 2nd IEEE International Conference on Data Mining, pages 123–130, 2002.
Info
30Mikko Kurimo and Krista Lagus. An efficiently focusing large vocabulary language model. In Proceedings of the International Conference on Artificial Neural Networks (ICANN), pages 1068–1073, Madrid, Spain, 2002.
Info
29Markku-Juhani O. Saarinen. Cryptanalysis of LILI-128. In Joan Daemen and Vincent Rijmen, editors, Fast Software Encryption, 9th International Workshop, FSE 2002, Leuven, Belgium, February 46, 2002, Revised Papers, volume 2365 of Lecture Notes in Computer Science, pages 231–236. Springer-Verlag, 2002.
Info
28Sami S. Brandt, Jorma Laaksonen, and Erkki Oja. Statistical shape features for content-based image retrieval. Journal of Mathematical Imaging and Vision, 17(2):187–198, 2002.
Info
27Markus Koskela, Jorma Laaksonen, and Erkki Oja. Implementing relevance feedback as convolutions of local neighborhoods on self-organizing maps. In ICANN, pages 981–986, 2002.
Info
26Markus Koskela, Jorma Laaksonen, and Erkki Oja. Using mpeg-7 descriptors in image retrieval with self-organizing maps. In ICPR (2), pages 1049–1052, 2002.
Info
25Markus Koskela, Jorma Laaksonen, and Erkki Oja. Mpeg-7 descriptors in content-based image retrieval with picsom system. In VISUAL, pages 247–258, 2002.
Info
24Erkki Oja. Finding hidden factors using independent component analysis. In ECML, page 505, 2002.
Info
23Erkki Oja. Independent component analisys. In HIS, page 3, 2002.
Info
22Ajith Abraham, Javier Ruiz del Solar, and Mario Köppen, editors. Soft Computing Systems - Design, Management and Applications, HIS 2002, December 1-4, 2002, Santiago, Chile, volume 87 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2002.
Info
21Erkki Oja. Finding hidden factors using independent component analysis. In PKDD, page 488, 2002.
Info
20Erkki Oja. Unsupervised learning in neural computation. Theor. Comput. Sci., 287(1):187–207, 2002.
Info
19Patric R. J. Östergård and Petteri Kaski. Enumeration of 2-(9,3,lambda) designs and their resolutions. Designs, Codes and Cryptography, 27:131–137, 2002.
Info
See dx.doi.org ...
18M. Scholz and R. Vigário. Nonlinear PCA: a new hierarchical approach. In Proc. of 10th European Symposium on Artificial Neural Networks (ESANN'2002), Bruges, Belgium, 2002.
Info
17R. Vigário, O. Jensen, and R. Hari. Identifying cortical sources of corticomuscle coherence during bimanual muscle contraction by ICA. In Proc. of 13th Int. Conf. on Biomagnetism (BIOMAG'2002), Jena, Germany, 2002.
Info
16Pekka Ala-Siuru and Samuel Kaski, editors. STeP 2002—Intelligence, the Art of Natural and Artificial. Proceedings of the 10th Finnish Artificial Intelligence Conference. Finnish Artificial Intelligence Society, Oulu, Finland, 2002.
Info
15Jukka Iivarinen, Samuel Kaski, and Erkki Oja, editors. Neljännesvuosisata Hatutusta: Hahmontunnistustutkimus Suomessa 1977–2002. Suomen hahmontunnistustutkimuksen seura ry, Otaniemi, 2002.
Info
14Samuel Kaski. Learning metrics. In 3rd Conference of the International Society for Ecological Informatics, Grottaferrata, Italy, page 42, 2002. (Abstract of a plenary talk).
Info
13Arto Klami, Jaakko Peltonen, and Samuel Kaski. Accurate self-organizing maps in learning metrics. In Pekka Ala-Siuru and Samuel Kaski, editors, STeP 2002—Intelligence, the Art of Natural and Artificial. Proceedings of the 10th Finnish Artificial Intelligence Conference, pages 41–49, Oulu, Finland, 2002. Finnish Artificial Intelligence Society.
Info
12Janne Nikkilä, Petri Törönen, Samuel Kaski, Jarkko Venna, Eero Castrén, and Garry Wong. Analysis and visualization of gene expression data using self-organizing maps. Neural Networks, 15:953–966, 2002.
Info
11Merja Oja, Janne Nikkilä, Petri Törönen, Eero Castrén, and Samuel Kaski. Learning metrics for visualizing gene functional similarities. In Pekka Ala-Siuru and Samuel Kaski, editors, STeP 2002—Intelligence, the Art of Natural and Artificial. Proceedings of the 10th Finnish Artificial Intelligence Conference, pages 31–40, Oulu, Finland, 2002. Finnish Artificial Intelligence Society.
Info
10Merja Oja, Janne Nikkilä, Petri Törönen, Garry Wong, Eero Castrén, and Samuel Kaski. Exploratory clustering of gene expression profiles of mutated yeast strains. In Wei Zhang and Ilya Shmulevich, editors, Computational and Statistical Approaches to Genomics, pages 65–78, Boston, MA, 2002. Kluwer.
Info
9M. Oja, P. Törönen, J. Nikkilä, E. Castrén, and S. Kaski. Learning metrics for SOM-based clustering and visualization of yeast gene expression data. In Proceedings of Bioinformatics 2002, Bergen, Norway, April 4-7, page 78, 2002.
Info
8Ville Ollikainen, Christer Bäckström, and Samuel Kaski. Electronic editor: Automatic content-based sequential compilation of newspaper articles. Neurocomputing, 43:91–106, 2002.
Info
7Jaakko Peltonen, Arto Klami, and Samuel Kaski. Learning more accurate metrics for self-organizing maps. In J. R. Dorronsoro, editor, Artificial Neural Networks—ICANN 2002, pages 999–1004, Berlin, 2002. Springer. Preprint postscript at http://www.cis.hut.fi/projects/mi/papers/icann02.ps.gz.
Info
See dx.doi.org ...
6Jaakko Peltonen, Janne Sinkkonen, and Samuel Kaski. Discriminative clustering of text documents. In Lipo Wang, Jagath C. Rajapakse, Kunihiko Fukushima, Soo-Young Lee, and Xin Yao, editors, Proceedings of ICONIP'02, 9th International Conference on Neural Information Processing, pages 1956–1960, Piscataway, NJ, 2002. IEEE. Preprint postscript at http://www.cis.hut.fi/projects/mi/papers/iconip02.ps.gz.
Info
See ieeexplore.ieee.org ...
5Jarkko Salojärvi and Samuel Kaski. Mixture density from autonomous experts. International Journal of Knowledge Based Intelligent Engineering Systems, 6:48–55, 2002.
Info
4Janne Sinkkonen and Samuel Kaski. Clustering based on conditional distributions in an auxiliary space. Neural Computation, 14:217–239, 2002.
Info
3Janne Sinkkonen, Samuel Kaski, and Janne Nikkilä. Discriminative clustering: optimal contingency tables by learning metrics. In Tapio Elomaa, Heikki Mannila, and Hannu Toivonen, editors, Machine Learning: ECML 2002, pages 418–430, Berlin, 2002. Springer.
Info
2George Legrady and Timo Honkela. Pockets full of memories: an interactive museum installation. Visual Communication, 1(2):163–169, 2002.
Info
See vcj.sagepub.com ...
1Tomi Janhunen. lpeq 1.13 — A tool for testing the equivalence of logic programs. http://www.tcs.hut.fi/Software/lpeq/, 2002. Computer Program.
Info
See www.tcs.hut.fi ...