123 | Heikki Tauriainen. Automated testing of Büchi automata translators for linear temporal logic. Research Report A66, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2000. |
|
122 | Jaakko Hollmén. User Profiling and Classification for Fraud Detection in Mobile Communications Networks. Doctoral dissertation, Helsinki University of Technology, December 2000. |
|
121 | Jorma Laaksonen, Markus Koskela, Sami Laakso, and Erkki Oja. PicSOM – Content-based image retrieval with self-organizing maps. Pattern Recognition Letters, 21(13-14):1199–1207, December 2000. |
|
120 | Amaury Lendasse, John A. Lee, Eric de Bodt, Vincent Wertz, and Michel Verleysen. Réduction de la dimension d'un ensemble d'indicateurs techniques en vue de la prédiction de séries temporelles financières - application à l'indice de marché BEL 20. In ACSEG 2000, 7emes rencontres internationales, December 2000. |
|
119 | Tuomas Aura. Authorization and availability - aspects of open network security. Research Report A64, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2000. Doctoral dissertation. |
|
118 | Harri Haanpää. Computational methods for Ramsey numbers. Research Report A65, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2000. |
|
117 | Markus Koskela, Jorma Laaksonen, Sami Laakso, and Erkki Oja. Evaluating the performance of content-based image retrieval systems. In Fourth International Conference on Visual Information Systems (VISual 2000), pages 430–441, Lyon, France, November 2000. Springer-Verlag. |
|
116 | Jorma Laaksonen, Erkki Oja, Markus Koskela, and Sami Brandt. Analyzing low-level visual features using content-based image retrieval. In Proceedings of 7th International Conference on Neural Information Processing (ICONIP 2000), volume 2, pages 1333–1338, Taejon, Korea, November 2000. |
|
115 | Samuel Kaski. Convergence of a stochastic semisupervised clustering algorithm. Technical Report A62, Helsinki University of Technology, Publications in Computer and Information Science, Espoo, Finland, November 2000. |
|
114 | Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä (Eds.). Leksa notes in computer science. Research Report A63, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2000. |
|
113 | Marko Mäkelä. Modular reachability analyser. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, pages 75–85. Helsinki University of Technology, October 2000. |
|
112 | Marko Mäkelä. Applying compiler techniques to reachability analysis of high-level models. In Hans-Dieter Burkhard, Ludwik Czaja, Andrzej Skowron, and Peter Starke, editors, Workshop on Concurrency, Specification & Programming 2000, number 140 in Informatik-Bericht, pages 129–142. Humboldt-Universität zu Berlin, Germany, October 2000. |
|
111 | Silja Mäki, Tuomas Aura, and Maarit Hietalahti. Robust membership management for ad-hoc groups. In Proc. 5th Nordic Workshop on Secure IT Systems (NORDSEC 2000), Reykjavik, Iceland, October 2000. |
|
110 | Kimmo Varpaaniemi. Modelling of a PLC-based railway traffic control system. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, number HUT-TCS-A63 in HUT-TCS Research Reports, pages 131–140. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, October 2000. |
|
109 | Eero Lassila. On tree belts and belt-selectors. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Lexa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, pages 47–58. Helsinki University of Technology, Laboratory for Theoretical Computer Science, October 2000. |
|
108 | Kimmo Varpaaniemi. Modelling of a PLC-based railway traffic control system. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, number HUT-TCS-A63 in HUT-TCS Research Reports, pages 131–140. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, October 2000. |
|
107 | Marko Mäkelä. Modular reachability analyser. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, pages 75–85. Helsinki University of Technology, October 2000. |
|
106 | Marko Mäkelä. Applying compiler techniques to reachability analysis of high-level models. In Hans-Dieter Burkhard, Ludwik Czaja, Andrzej Skowron, and Peter Starke, editors, Workshop on Concurrency, Specification & Programming 2000, number 140 in Informatik-Bericht, pages 129–142. Humboldt-Universität zu Berlin, Germany, October 2000. |
|
105 | Silja Mäki, Tuomas Aura, and Maarit Hietalahti. Robust membership management for ad-hoc groups. In Proc. 5th Nordic Workshop on Secure IT Systems (NORDSEC 2000), Reykjavik, Iceland, October 2000. |
|
104 | Tomi Janhunen. Specifying agent-based systems with nets and logic programs. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, pages 33–46, Espoo, October 2000. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports HUT-TCS-A63. |
|
103 | Jaakko Hollmén and Volker Tresp. Hidden Markov model for metric and event-based data. In Proceedings of EUSIPCO 2000 — X European Signal Processing Conference, volume II, pages 737–740, September 2000. |
|
102 | Jaakko Hollmén, Volker Tresp, and Olli Simula. Learning vector quantization algorithm for probabilistic models. In Proceedings of EUSIPCO 2000 — X European Signal Processing Conference, volume II, pages 721–724, September 2000. |
|
101 | Sami Brandt, Jorma Laaksonen, and Erkki Oja. Statistical shape features in content-based image retrieval. In Proceedings of 15th International Conference on Pattern Recognition, volume 2, pages 1066–1069, Barcelona, Spain, September 2000. |
|
100 | Mikko Kurimo. Indexing spoken audio by LSA and SOMs. In European Signal Processing Conference (EUSIPCO), volume IV, pages 2177–2180, Tampere, Finland, September 2000. |
|
99 | Tomi Janhunen. Capturing stationary and regular extensions with Reiter's extensions. In Manuel Ojeda-Aciego et al., editors, Logics in Artificial Intelligence, European Workshop, JELIA 2000, pages 102–117, Málaga, Spain, September/October 2000. Springer-Verlag. LNAI 1919. |
|
98 | Marko Mäkelä. Maria: Modular reachability analyzer for high-level Petri nets. In The 5th Workshop on Discrete Event Systems (WODES 2000), pages 477–478, Ghent, Belgium, August 2000. Kluwer Academic Publishers, Boston, MA, USA. |
|
97 | Kimmo Varpaaniemi. Stable models for stubborn sets. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 43(1–4):355–375, August 2000. IOS Press, Amsterdam, The Netherlands. |
|
96 | Timo Soininen, Ilkka Niemelä, Juha Tiihonen, and Reijo Sulonen. Unified configuration knowledge representation using weight constraint rules. In Workshop Notes of the ECAI'2000 Configuration Workshop, pages 79–84, Berlin, Germany, August 2000. |
|
95 | Markus Koskela, Jorma Laaksonen, Sami Laakso, and Erkki Oja. Content-based image indexing and retrieval: The PicSOM system. In The 9th Finnish Artificial Intelligence Conference (STeP 2000). 'AI of Tomorrow': Symposium on Theory, pages 219–226, Espoo, Finland, August 2000. |
|
94 | Keijo Heljanko. Model checking with finite complete prefixes is PSPACE-complete. In Catuscia Palamidessi, editor, Proceedings of the 11th International Conference on Concurrency Theory (Concur'2000), volume 1877 of Lecture Notes in Computer Science, pages 108–122, State College, Pennsylvania, USA, August 2000. Springer-Verlag. |
|
93 | Kimmo Varpaaniemi. Stable models for stubborn sets. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 43(1–4):355–375, August 2000. IOS Press, Amsterdam, The Netherlands. |
|
92 | Marko Mäkelä. Maria: Modular reachability analyzer for high-level Petri nets. In The 5th Workshop on Discrete Event Systems (WODES 2000), pages 477–478, Ghent, Belgium, August 2000. Kluwer Academic Publishers, Boston, MA, USA. |
|
91 | Tommi Syrjänen. Optimizing configurations. In Proceedings of the ECAI Workshop W02 on Configuration, pages 85 – 90, Berlin, Germany, August 2000. |
|
90 | Jaakko Hollmén, Michał Skubacz, and Michiaki Taniguchi. Input-dependent misclassification costs for cost-sensitive classification. In N. Ebecken and C.A. Brebbia, editors, DATA MINING II — Proceedings of the Second International Conference on Data Mining 2000, pages 495–503. WIT Press, July 2000. |
|
89 | Javier Esparza and Keijo Heljanko. A new unfolding approach to LTL model checking. In Ugo Montanari, José D. P. Rolim, and Emo Welzl, editors, Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP'2000), volume 1853 of Lecture Notes in Computer Science, pages 475–486, Geneva, Switzerland, July 2000. Springer-Verlag. |
|
88 | H. Toivonen, P. Onkamo, K. Vasko, V. Ollikainen, P. Sevon, Heikki Mannila, M. Herr, and J. Kere. Data mining applied to linkage disequilibrium mapping. American Journal of Human Genetics, 67(1):133 – 145, July 2000. |
|
87 | Tommi A. Junttila and Ilkka Niemelä. Towards an efficient tableau method for Boolean circuit satisfiability checking. In John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors, Computational Logic – CL 2000; First International Conference, volume 1861 of Lecture Notes in Artificial Intelligence, pages 553–567, London, UK, July 2000. Springer, Berlin. |
|
86 | Tommi Syrjänen. Including diagnostic information in configuration models. In Proceedings of the First International Conference on Computational Logic, London, UK, July 2000. Springer-Verlag. |
|
85 | Tomi Janhunen. Comparing the expressive powers of some syntactically restricted classes of logic programs. In John Lloyd et al., editors, Computational Logic, First International Conference, pages 852–866, London, UK, July 2000. Springer-Verlag. LNAI 1861. |
|
84 | Kari J. Nurmela and Patric R. J. Östergård. Covering a square with up to 30 equal circles. Research Report A62, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2000. |
|
83 | Marko Mäkelä. Condensed storage of multi-set sequences. In Kurt Jensen, editor, Practical Use of High-Level Petri Nets, number 547 in DAIMI report PB, pages 111–125. University of Århus, Denmark, June 2000. |
|
82 | Marko Mäkelä. Maria: Modular reachability analyser for high-level Petri nets. In Kjeld Mortensen, editor, Petri Nets 2000: Tool Demonstrations, pages 59–63, Århus, Denmark, June 2000. University of Århus. |
|
81 | Mikko Kurimo. Fast latent semantic indexing of spoken documents by using self-organizing maps. In Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), volume IV, pages 2425–2428, Istanbul, Turkey, June 2000. |
|
80 | Marko Mäkelä. Condensed storage of multi-set sequences. In Kurt Jensen, editor, Practical Use of High-Level Petri Nets, number 547 in DAIMI report PB, pages 111–125. University of Århus, Denmark, June 2000. |
|
79 | Marko Mäkelä. Maria: Modular reachability analyser for high-level Petri nets. In Kjeld Mortensen, editor, Petri Nets 2000: Tool Demonstrations, pages 59–63, Århus, Denmark, June 2000. University of Århus. |
|
78 | Markus Koskela, Jorma Laaksonen, Sami Laakso, and Erkki Oja. The PicSOM retrieval system: Description and evaluations. In John P. Eakins and Peter G. B. Enser, editors, Proceedings of Challenge of Image Retrieval 2000, Brighton, UK, May 2000. |
|
77 | Patrik Simons. Extending and implementing the stable model semantics. Research Report A58, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. Doctoral dissertation. |
|
76 | Tommi Junttila. Computational complexity of the place/transition-net symmetry reduction method. Research Report A59, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. |
|
75 | Javier Esparza and Keijo Heljanko. A new unfolding approach to LTL model checking. Research Report A60, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. |
|
74 | Tuomas Aura and Carl Ellison. Privacy and accountability in certificate systems. Research Report A61, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. |
|
73 | Maarit Hietalahti, Fabio Massacci, and Ilkka Niemelä. DES: a challenge problem for nonmonotonic reasoning systems. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073), Breckenridge, Colorado, USA, April 2000. cs.AI/0003039. |
|
72 | Ilkka Niemelä, Patrik Simons, and Tommi Syrjänen. Smodels: a system for answer set programming. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073), Breckenridge, Colorado, USA, April 2000. cs.AI/0003033. |
|
71 | John A. Lee, Amaury Lendasse, N. Donckers, and Michel Verleysen. A robust non-linear projection method. In M. Verleysen, editor, ESANN'2000, European Symposium on Artificial Neural Networks, Bruges (Belgique), pages 13–20, April 2000. |
|
70 | Amaury Lendasse, John A. Lee, Vincent Wertz, and Michel Verleysen. Time series forecasting using CCA and kohonen maps - application to electricity consumption. In M. Verleysen, editor, ESANN'2000, European Symposium on Artificial Neural Networks, Bruges (Belgique), pages 329–334, April 2000. |
|
69 | Tomi Janhunen, Ilkka Niemelä, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. In Anthony Cohn, Fausto Giunchiglia, and Bart Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411–419, Breckenridge, Colorado, April 2000. Morgan Kaufmann. |
|
68 | Antti Honkela, Harri Valpola, and Xavier Giannakopoulos. Nonlinear factor analysis Matlab package, 2000. |
|
67 | Harri Lappalainen and Antti Honkela. Bayesian nonlinear independent component analysis by multi-layer perceptrons. In M. Girolami, editor, Advances in Independent Component Analysis, pages 93–121. Springer-Verlag, Berlin, 2000. |
|
66 | Harri Valpola, Xavier Giannakopoulos, Antti Honkela, and Juha Karhunen. Nonlinear independent component analysis using ensemble learning: Experiments and discussion. In Proc. Int. Workshop on Independent Component Analysis and Blind Signal Separation (ICA2000), pages 351–356, Helsinki, Finland, 2000. |
|
65 | Harri Haanpää. Computational Methods for Ramsey Numbers. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
64 | Marko Mäkelä. A Reachability Analyzer for Algebraic System Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
63 | Mika Jalkanen. Sales statistics process - formal specification and implementation. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
62 | Teijo Kuoppala. Junan tiedonsiirtoverkkoon kuuluvien reaaliaikaprotokollien mallintaminen ja analysointi verkkoteoreettisin menetelmin. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2000. |
|
61 | Timo Latvala. Model checking linear temporal logic properties of Petri nets with fairness constraints. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2000. |
|
60 | Heikki Tauriainen. Automated testing of Büchi automata translators for linear temporal logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
59 | Tuomas Aura and Johan Lilius. A causal semantics for time petri nets. Theoretical Computer Science, 243(1–2):409–447, 2000. |
|
58 | Alexander Davydov and Patric R.J. Östergård. New quaternary linear codes with covering radius 2. Finite Fields and Their Applications, 6(2):164–174, 2000. |
|
57 | Alexander Davydov and Patric R.J. Östergård. On saturating sets in small projective geometries. European Journal of Combinatorics, 21(5):563–570, 2000. |
|
56 | T. Aaron Gulliver and Patric R.J. Östergård. New binary linear codes. Ars Combinatoria, 56(1):105–112, 2000. |
|
55 | Filip Karlemo and Patric R.J. Östergård. On sliding block puzzles. Journal of Combinatorial Mathematics and Combinatorial Computing, 34(1):97–107, 2000. |
|
54 | Kari J. Nurmela. Conjecturally optimal coverings of an equilateral triangle with up to 36 equal circles. Experimental Mathematics, 9(1):241–250, 2000. |
|
53 | Patric R.J. Östergård. Classification of binary/ternary one-error correcting codes. Discrete Mathematics, 223(1–3):253–262, 2000. |
|
52 | Patric R.J. Östergård. Enumeration of designs. The Australasian Journal of Combinatorics, 22(1):227–231, 2000. |
|
51 | Patric R.J. Östergård. Computer search for small complete caps. Journal of Geometry, 69(1–2):172–179, 2000. |
|
50 | Patric R.J. Östergård and William D. Weakley. Classification of binary covering codes. Journal of Combinatorial Designs, 8(6):391–401, 2000. |
|
49 | Nisse Husberg. 30 years: From digital filters to high level petri nets. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science, Festschrift in Honour of Professor Leo Ojala, pages 21–31. Helsinki University of Technology, 2000. |
|
48 | Tuomas Aura Matt Bishop and Dean Sniegowski. Analyzing single-server network inhibition. In Proceedings of the 2000 IEEE Computer Security Foundations Workshop, pages 108–117. IEEE Computer Society Press, Los Alamitos CA, USA, 2000. |
|
47 | John R. Hughes, Tuomas Aura, and Matt Bishop. Using conservation of flow as a security mechanism in network protocols. In Proceedings of the 2000 IEEE Symposium on Security and Privacy, pages 132–141. IEEE Computer Society Press, Los Alamitos CA, USA, 2000. |
|
46 | Jussipekka Leiwo, Pekka Nikander, and Tuomas Aura. Towards network denial of service resistant protocols. In S. Qing and J.H.P. Eloff, editors, Information Security for Global Information Infrastructures, volume 175 of IFIP Series. Kluwer Academic Publishers, Boston MA, USA, 2000. |
|
45 | Marko Mäkelä, Kimmo Varpaaniemi, and Timo Latvala. Maria: The modular reachability analyzer. on the World Wide Web, 2000. computer program. |
|
44 | Lasse Anderson, Johannes Helander, Keijo Heljanko, Tomi Janhunen, Robert Jürgens, Ismo Kangas, Kari J. Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Kimmo Varpaaniemi, and Pauli Väisänen. PROD 3.3.08 — an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, 2000. Software. |
|
43 | Harri Haanpää. A lower bound for a Ramsey number. Congressus Numerantium, 144:189–191, 2000. |
|
42 | Ilkka Niemelä and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, chapter 21, pages 491–521. Kluwer Academic Publishers, 2000. |
|
41 | Ilkka Niemelä. Stable model semantics: From theory to implementations and applications. Lecture notes for a tutorial given at the First International Conference on Computational Logic, Imperial College, London, UK, July 24–28, 2000. 72 pages., 2000. |
|
40 | Ilkka Niemelä and Mirosław Truszczyński. Practical tools for knowledge representation and nonmonotonic reasoning. Lecture notes for a tutorial given at the 17th National Conference on Artificial Intelligence, Austin, Texas, July 30–August 3, 2000. 166 pages. Available at http://www.tcs.hut.fi/ ini/, 2000. |
|
39 | Timo Soininen, Ilkka Niemelä, Juha Tiihonen, and Reijo Sulonen. Unified configuration knowledge representation using weight constraint rules. Technical Report TKO-B149, Helsinki University of Technology, Laboratory of Information Processing Science, Helsinki, Finland, 2000. |
|
38 | Keijo Heljanko and Ilkka Niemelä. Petri net analysis and nonmonotonic reasoning. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science, Festschrift in Honour of Professor Leo Ojala, pages 7–19. Helsinki University of Technology, Laboratory for Theoretical Computer Science, 2000. |
|
37 | Lasse Anderson, Johannes Helander, Keijo Heljanko, Tomi Janhunen, Robert Jürgens, Ismo Kangas, Kari J. Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Kimmo Varpaaniemi, and Pauli Väisänen. PROD 3.3.08 — an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, 2000. Software. |
|
36 | G. Gomez and Amaury Lendasse. Statistical fault isolation with PCA. In IFAC, Safeprocess', 2000. |
|
35 | Heikki Mannila. Theoretical frameworks for data mining. SIGKDD Explorations, 1(2):30–32, January 2000. |
|
34 | T. Laitinen, V. Ollikainen, C. Lazaro, P. Kauppi, R de Cid, J.M. Anto, X. Estivill, H. Lokki, Heikki Mannila, L.A. Laitinen, and J. Kere. Association study of the chromosomal region containing the FCER2 gene suggests it has a regulatory role in atopic disorders. American Journal on Respiratory and Critical Care Medicine, 161:700–706, 2000. |
|
33 | Heikki Mannila and C. Meek. Global partial orders from sequential data. In Sixth Annual Conference on Knowledge Discovery and Data Mining (KDD-2000), pages 161–168, 2000. |
|
32 | G. Das and Heikki Mannila. Context-based similarity methods for categorical attributes. In Principles of Data Mining and Knowledge Discovery, 4th European Conference (PKDD), pages 201–211, 2000. |
|
31 | P. Kauppi, T. Laitinen, V. Ollikainen, Heikki Mannila, L.A. Laitinen, and J. Kere. The ILR9 region contribution in asthma is supported by genetic association in an isolated population. European Journal of Human Genetics, 8:788–792, 2000. |
|
30 | Marko Mäkelä, Kimmo Varpaaniemi, and Timo Latvala. Maria: The modular reachability analyzer. on the World Wide Web, 2000. computer program. |
|
29 | Sami S. Brandt, Jorma Laaksonen, and Erkki Oja. Statistical shape features in content-based image retrieval. In ICPR, pages 6062–6066, 2000. |
|
28 | Aapo Hyvärinen and Erkki Oja. Independent component analysis: algorithms and applications. Neural Networks, 13(4-5):411–430, 2000. |
|
27 | Markus Koskela, Jorma Laaksonen, Sami Laakso, and Erkki Oja. Evaluating the performance of content-based image retrieval systems. In VISUAL, pages 430–441, 2000. |
|
26 | Jorma Laaksonen, Markus Koskela, Sami Laakso, and Erkki Oja. Picsom - content-based image retrieval with self-organizing maps. Pattern Recognition Letters, 21(13-14):1199–1207, 2000. |
|
25 | Ricardo Vigário and Erkki Oja. Independence: a new criterion for the analysis of the electromagnetic fields in the global brain?. Neural Networks, 13(8-9):891–907, 2000. |
|
24 | Vuokko Vuori, Jorma Laaksonen, Erkki Oja, and Jari Kangas. Controlling on-line adaptation of a prototype-based classifier for handwritten characters. In ICPR, pages 2331–2334, 2000. |
|
23 | A. K. Barros, R. Vigário, V. Jousmäki, and N. Ohnishi. Extraction of periodic signals from multi-channel bioelectrical measurements. IEEE Trans. Biomed. Eng., 47(5):583–588, 2000. |
|
22 | R. Vigário and E. Oja. Independence: a new criterion for the analysis of the electromagnetic fields in the global brain. Neural Networks, 13(8-9):891–908, 2000. |
|
21 | R. Vigário, J. Särelä, M. Hämäläinen, and E. Oja. Independent component approach to the analysis of EEG and MEG recordings. IEEE Trans. Biomed. Eng., 47:589–593, 2000. |
|
20 | R. Vigário, J. Särelä, and E. Oja. Searching for independence in electromagnetic brain waves. In Advances in Independent Component Analysis, pages 183–199. Springer, 2000. |
|
19 | K. Uutela and R. Vigário. ICA comparison of blind separation of evoked responses. In Book of Abstracts, 12th International Conference on Biomagnetism, page 198, Espoo, Finland, 2000. |
|
18 | R. Vigário. Incorporation of dipole models in ICA decomposition of evoked responses. In Book of Abstracts, 12th International Conference on Biomagnetism, page 199, Espoo, Finland, 2000. |
|
17 | Samuel Kaski, Jarkko Venna, and Teuvo Kohonen. Coloring that reveals cluster structures in multivariate data. Australian Journal of Intelligent Information Processing Systems, 6:82–88, 2000. |
|
16 | Samuel Kaski. Kohti uutta luovan ajattelun opettamista. In Irene Hein and Riikka Lauhia, editors, protect, Dokumentoitua opetuksen kehitt?ist? Teknillisess?korkeakoulussa 1999-2000, pages 9–14. Teknillinen korkeakoulu, Opetuksen ja opiskelun tuen julkaisuja 3/2000, Helsinki, Finland, 2000. |
|
15 | Samuel Kaski, Janne Nikkilä, and Teuvo Kohonen. Methods for exploratory cluster analysis. In Proceedings of SSGRR 2000, International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, July 31–August 6. Scuola Superiore G. Reiss Romoli, 2000. (Proceedings on CD-ROM, ISBN 88-85280-52-8). |
|
14 | Samuel Kaski and Janne Sinkkonen. Metrics that learn relevance. In Proceedings of IJCNN-2000, International Joint Conference on Neural Networks, volume V, pages 547–552, Piscataway, NJ, 2000. IEEE Service Center. |
|
13 | Teuvo Kohonen, Samuel Kaski, Krista Lagus, Jarkko Salojärvi, Jukka Honkela, Vesa Paatero, and Antti Saarela. Self organization of a massive document collection. IEEE Transactions on Neural Networks, 11:574–585, 2000. |
|
12 | Ville Ollikainen, Christer Bäckström, and Samuel Kaski. Automatic content-based sequential ordering of newspaper articles for electronic books. In Dimitris Tsaptsinos, editor, Engineering Problems, Neural Network Solutions; Proceedings of EANN-2000, International Conference on Engineering Applications of Neural Networks, pages 183–190, Kingston Upon Thames, England, 2000. Neural Network Centre, Kingston University. |
|
11 | Janne Sinkkonen and Samuel Kaski. Clustering by similarity in an auxiliary space. In Kwong Sak Leung, Lai-Wan Chan, and Helen Meng, editors, Proceedings of IDEAL 2000, Second International Conference on Intelligent Data Engineering and Automated Learning, pages 3–8, Berlin, 2000. Springer. |
|
10 | Timo Honkela. Hybrid Neural Systems, chapter Self-Organizing Maps in Symbol Processing, pages 348–362. Springer, 2000. |
|
9 | Timo Honkela. Adaptive and holistic knowledge representations using self-organizing maps. In Z. Shi, B. Faltings, and M. Musen, editors, Proceedings of IIP'2000, International Conference on Intelligent Information Processing, pages 81–86. IFIP, 2000. |
|
8 | Timo Honkela, Ilpo Koskinen, Timo Koskenniemi, and Sakari Karvonen. Information Organization and Databases: Foundations of Data Organization, chapter Kohonen's Self-Organizing Map in Contextual Analysis of Data, pages 135–148. Kluwer, 2000. |
|
7 | Timo Honkela, Teemu Leinonen, Kirsti Lonka, and Antti Raike. Self-organizing maps and constructive learning. In Proceedings of ICEUT'2000, International Conference on Educational Uses of Communication and Information Technologies, pages 339–343. IFIP, 2000. |
|
6 | Timo Latvala and Keijo Heljanko. Coping with strong fairness. Fundamenta Informaticae, 43(1–4):175–193, 2000. |
|
5 | Linfeng Yang, Jouni Karvo, Teemu Tynjälä, and Hannu Kari. Threshold-Based Registration (TBR) in Mobile IPv6. In IFIP-TC/6 European Commission NETWORKING 2000 International Workshop MWCN 2000, 2000. |
|
4 | Leo Ojala, Nisse Husberg, and Teemu Tynjälä. Modelling and Analysing a Distributed Dynamic Channel Allocation Algorithm for Mobile Computing Using High-Level Net Methods. In Workshop on Practical Use of High-Level Petri Nets (ICATPN'2000), 2000. |
|
3 | Nisse Husberg, Teemu Tynjälä, and Kimmo Varpaaniemi. Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. In 21st International Conference on Applications and Theory of Petri Nets, 2000. |
|
2 | Teijo Kuoppala, Nisse Husberg, and Teemu Tynjälä. Modelling and Analysis of TCN Standard Message Transport Protocol by Net-Theoretical Methods. In World Multiconference on Systemics, Cybernetics and Informatics SCI 2000, volume 8, 2000. |
|
1 | Leo Ojala, Nisse Husberg, and Teemu Tynjälä. Modelling a Distributed Wireless Channel Allocation Algorithm for Cellular Systems with Mobile Base Stations Using Predicate/Transition Nets. In World Multiconference on Systemics, Cybernetics and Informatics SCI 2000, volume 8, 2000. |
|