|
81 | Tommi Syrjänen. A rule-based formal model for software configuration. Research Report A55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999. |
|
|
80 | Keijo Heljanko. Deadlock and reachability checking with finite complete prefixes. Research Report A56, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999. |
|
|
79 | Tommi Junttila. Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis. Research Report A57, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999. |
|
|
78 | Ilkka Niemelä, Patrik Simons, and Timo Soininen. Stable model semantics of weight constraint rules. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 317–331, El Paso, Texas, USA, December 1999. Springer-Verlag. |
|
|
77 | Jaakko Hollmén. Probabilistic Approaches to Fraud Detection. Licentiate's thesis, Helsinki University of Technology, December 1999. |
|
|
76 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. WEBSOM for textual data mining. Artificial Intelligence Review, 13(5/6):345–364, December 1999. |
|
|
75 | M. Klemettinen, H. Mannila, and H. Toivonen. Rule discovery in telecommunication alarm data. Journal of Network and Systems Management, 7(4):395–423, December 1999. |
|
|
74 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. WEBSOM for textual data mining. Artificial Intelligence Review, 13(5/6):345–364, December 1999. |
|
|
73 | Tomi Janhunen. Classifying semi-normal default logic on the basis of its expressive power. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, pages 19–33, El Paso, Texas, December 1999. Springer-Verlag. LNAI 1730. |
|
|
72 | Timo Soininen, Esther Gelle, and Ilkka Niemelä. A fixpoint definition of dynamic constraint satisfaction. In Joxan Jaffar, editor, Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, pages 419–433, Alexandria, Virginia, USA, October 1999. Springer-Verlag. |
|
|
71 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. Application of tree structured self-organizing maps in content-based image retrieval. In Ninth International Conference on Artificial Neural Networks (ICANN99), pages 174–179, Edinburgh, UK, September 1999. |
|
|
70 | Keijo Heljanko. Minimizing finite complete prefixes. In H.-D. Burkhard, L. Czaja, H.-S. Nguyen, and P. Starke, editors, Proceedings of the Workshop Concurrency, Specification & Programming 1999, pages 83–95, Warsaw, Poland, September 1999. Warsaw University. |
|
|
69 | Timo Latvala and Keijo Heljanko. Coping with strong fairness – on-the-fly emptiness checking for streett automata. In H.-D. Burkhard, L. Czaja, H-S. Nguyen, and P. Starke, editors, Concurrency, Specification & Programming Workshop, pages 107–118, Warsaw, Poland, September 1999. Institute of Informatics, Warsaw University. |
|
|
68 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Research Report A54, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 1999. |
|
|
67 | Harriet Beaver and Ilkka Niemelä. Finding MAPs for belief networks using rule-based constraint programming. In Arpakannus 1/99 - Special Issue on Networks'99, Espoo, Finland, Aug 1999. Finnish Articial Intelligence Society. |
|
|
66 | Ilkka Niemelä. On the complexity of dynamic constraint satisfaction. In Proceedings of the FLoC Workshop on Complexity-Theoretic and Recursion-Theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory, pages 38–47, Trento, Italy, July 1999. |
|
|
65 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. PicSOM: Self-organizing maps for content-based image retrieval. In 1999 International Joint Conference on Neural Networks (IJCNN'99), pages 2470–2473, Washington, DC, July 1999. |
|
|
64 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. Content-based image retrieval using self-organizing maps. In Third International Conference on Visual Information Systems (VISual'99), pages 541–548, Amsterdam, The Netherlands, June 1999. Springer-Verlag. |
|
|
63 | Michel Verleysen, Eric de Bodt, and Amaury Lendasse. Forecasting financial time series through intrinsic dimension estimation and non-linear data projection. In J. Sanchez-Andres J. Mira, editor, IWANN99, International Work-conference on Artificial and Natural Neural networks, Alicante (Spain). Published in Engineering Applications of Bio-Inspired Artificial Neural Networks, volume 1607–2 of Lecture Notes in Computer Science, pages 596–605. Springer-Verlag, June 1999. |
|
|
62 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Master's thesis, Helsinki University of Technology, May 1999. [This thesis was nominated the best Master's Thesis on the area of Computer Science by The Finnish Society for Computer Science in 1999.] |
|
|
61 | N. Donckers, Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Extraction of intrinsic dimension using CCA - application to blind sources separation. In ESANN'99, European Symposium on Artificial Neural Networks, Bruges (Belgique), pages 339–344, April 1999. |
|
|
60 | Mikko Kurimo and Chafic Mokbel. Latent semantic indexing by self-organizing map. In ESCA ETRW workshop on Accessing Information in Spoken Audio, pages 25–30, Cambridge, UK, April 1999. |
|
|
59 | Amaury Lendasse. Comparison between NAR and NARMA models for time-series prediction: Choice of a non-linear regressor vector. In 18th Benelux Meeting on Systems and Control, Conference Center "Hengelhoef", Houthalen, Belgium, March 3-5 1999. |
|
|
58 | Tommi A. Junttila. Finding symmetries of algebraic system nets. Fundamenta Informaticae, 37(3):269–289, February 1999. |
|
|
57 | Tommi Junttila. Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
56 | Keijo Heljanko. Deadlock and Reachability Checking with Finite Complete Prefixes. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
55 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
54 | Ismo Kangas. Luotettava tiedonsiirto matkaviestimen ja pakettikytkentäisen digitaalisen GSM-matkapuhelinverkon välillä. Master's thesis, Helsinki University of Technology, Department of Electrical and Commucations Engineering, 1999. |
|
|
53 | Janne Palonen. Controlling and monitoring a distributed ISP environment. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
52 | Tommi Syrjänen. A rule-based formal model for software configuration. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
51 | Kimmo Varpaaniemi. Stable models for stubborn sets. In Hans-Dieter Burkhard, Ludwik Czaja, Hung Son Nguyen, and Peter H. Starke, editors, Concurrency, Specification and Programming: Proceedings of the CS&P'99 Workshop, Warsaw, Poland, 28–30 September 1999, pages 263–274. Zakład Graficzny UW, zam. 482/99, Warsaw, Poland, 1999. |
|
|
50 | Timo Soininen and Ilkka Niemelä. Developing a declarative rule language for applications in product configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, pages 305–319, San Antonio, Texas, January 1999. Springer-Verlag. |
|
|
49 | Ilkka Niemelä. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241–273, 1999. |
|
|
48 | Ilkka Niemelä. Automating default reasoning. Lecture notes for a course given at the 11th European Summer School in Logic, Language and Information, Utrecht University, Aug 16–20, 1999. 25 pages., 1999. |
|
|
47 | Esa Alhoniemi, Jaakko Hollmén, Olli Simula, and Juha Vesanto. Process monitoring and modeling using the self-organizing map. Integrated Computer Aided Engineering, 6(1):3–14, 1999. |
|
|
46 | Jaakko Hollmén and Volker Tresp. Call-based fraud detection in mobile communications networks using a hierarchical regime-switching model. In M. Kearns, S. Solla, and D.A. Cohn, editors, Advances in Neural Information Processing Systems 11: Proceedings of the 1998 Conference (NIPS'11), pages 889–895. MIT Press, 1999. |
|
|
45 | Jaakko Hollmén, Volker Tresp, and Olli Simula. A self-organizing map algorithm for clustering probabilistic models. In Proceedings of the Ninth International Conference on Artificial Neural Networks (ICANN'99), volume 2, pages 946–951. IEE, 1999. |
|
|
44 | Olli Simula, Juha Vesanto, Esa Alhoniemi, and Jaakko Hollmén. Analysis and modeling of complex systems using the self-organizing map. In N. Kasabov and R. Kozma, editors, Neuro-Fuzzy Techniques for Intelligent Information Systems, pages 3–22. Physica Verlag (Springer Verlag), 1999. |
|
|
43 | Erkki Oja, Jorma Laaksonen, Markus Koskela, and Sami Brandt. Self-organizing maps for content-based image retrieval. In Erkki Oja and Samuel Kaski, editors, Kohonen Maps, pages 349–362. Elsevier, 1999. |
|
|
42 | Keijo Heljanko and Patrik Simons. mcsmodels 1.4: a deadlock and reachability checker using net unfoldings. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 1999. Software. |
|
|
41 | Keijo Heljanko. Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. Fundamenta Informaticae, 37(3):247–268, 1999. |
|
|
40 | Keijo Heljanko. Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. In Rance Cleaveland, editor, Proceedings of 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), volume 1579 of Lecture Notes in Computer Science, pages 240–254, Amsterdam, Netherlands, 1999. Springer-Verlag. |
|
|
39 | Kimmo Raivio. Receiver Structures Based on Self-Organizing Maps. Doctoral dissertation, Acta Polytechnica Scandinavica, Mathematics, Computing and Management in Engineering Series No. 96, Helsinki University of Technology, 1999. |
|
|
38 | Krista Lagus and Samuel Kaski. Keyword selection method for characterizing text document maps. In Proceedings of ICANN99, Ninth International Conference on Artificial Neural Networks, volume 1, pages 371–376. IEE, London, 1999. |
|
|
37 | Kimmo Varpaaniemi. Stable models for stubborn sets. In Hans-Dieter Burkhard, Ludwik Czaja, Hung Son Nguyen, and Peter H. Starke, editors, Concurrency, Specification and Programming: Proceedings of the CS&P'99 Workshop, Warsaw, Poland, 28–30 September 1999, pages 263–274. Zakład Graficzny UW, zam. 482/99, Warsaw, Poland, 1999. |
|
|
36 | M. Klemettinen, H. Mannila, and H. Toivonen. Exploration of interesting findings in tasa. Information and Software Technology, 41(9):557–567, 1999. |
|
|
35 | I. Hovatta, T. Varilo, J. Suvisaari, J.D. Terwilliger, V. Ollikainen, R. Arajärvi, H. Juvonen, M.-L. Kokko-Sahin, L. Väisänen, Heikki Mannila, J. Lönnqvist, and L. Peltonen. A genomewide screen for schizophrenia genes in an isolated finnish subpopulation, suggesting multiple susceptibility loci. American Journal of Human Genetics, 65, 1999. |
|
|
34 | M. Klemettinen, Heikki Mannila, and A. I. Verkamo. Association rule selection in a data mining environment. In Proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'99), pages 372–377, 1999. |
|
|
33 | Heikki Mannila and P. Moen. Similarity between event types in sequences. In Data Warehousing and Knowledge Discovery (DaWaK), pages 271–280, 1999. |
|
|
32 | J.-F. Boulicaut, M. Klemettinen, and Heikki Mannila. Modeling kdd processes within the inductive database framework. In Data Warehousing and Knowledge Discovery (DaWaK), pages 293–302, 1999. |
|
|
31 | Heikki Mannila, D. Pavlov, , and P. Smyth. Prediction with local patterns using cross-entropy. In Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 1999), pages 357–361, 1999. |
|
|
30 | R. Khardon, Heikki Mannila, and D. Roth. Reasoning with examples: propositional formulae and database dependencies. Acta Informatica, 36(4):267–286, 1999. |
|
|
29 | Y. Aumann, R. Feldman, O. Liphstat, and Heikki Mannila. Borders: An efficient algorithm for association generation in dynamic databases. Journal of Intelligent Information Systems, 12(1):61–73, 1999. |
|
|
28 | H.G. Gyllenberg, M. Gyllenberg, T. Koski, T. Lund, Heikki Mannila, and C. Meek. Singling out ill-fit items in a classification. application to the taxonomy of Enterobacteriaceae. Archives of Control Sciences, 9:97–105, 1999. |
|
|
27 | H. Toivonen, K. Vasko, Heikki MannilA, A. Korhola, and H. Olander. Bayesian modeling in paleoenvironmental reconstruction. In ACAI Workshop on Intelligent Techniques for Spatio-Temporal Data Analysis in Environmental Applications, pages 76–85, 1999. |
|
|
26 | A. Korhola, J. Weckström, H. Seppä, H.J.B. Birks, S.M. Peglar, H. Toivonen, K. Vasko, and Heikki Mannila. Quantitative holocene records from sedimentary remains of aquatic organisms and pollen in northern fennoscandia. Terra Nostra, 10:49–53, 1999. |
|
|
25 | Mikko Kurimo. Indexing audio documents by using latent semantic analysis and som. In Erkki Oja and Samuel Kaski, editors, Kohonen Maps, pages 363–374. Elsevier, 1999. |
|
|
24 | Xavier Giannakopoulos, Juha Karhunen, and Erkki Oja. An experimental comparison of neural algorithms for independent component analysis and blind separation. Int. J. Neural Syst., 9(2):99–114, 1999. |
|
|
23 | Jorma Laaksonen, Matti Aksela, Erkki Oja, and Jari Kangas. Dynamically expanding context as committee adaptation method in on-line recognition of handwritten latin characters. In ICDAR, pages 796–799, 1999. |
|
|
22 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. Content-based image retrieval using self-organizing maps. In VISUAL, pages 541–548, 1999. |
|
|
21 | Erkki Oja, Aapo Hyvärinen, and Patrik O. Hoyer. Image feature extraction and denoising by sparse coding. Pattern Anal. Appl., 2(2):104–110, 1999. |
|
|
20 | Ricardo Vigário and Erkki Oja. Independent component analysis of human brain waves. In IWANN (2), pages 238–247, 1999. |
|
|
19 | Vuokko Vuori, Jorma Laaksonen, Erkki Oja, and Jari Kangas. On-line adaptation in recognition of handwritten alphanumeric characters. In ICDAR, pages 792–795, 1999. |
|
|
18 | A. Cichocki, J. Karhunen, W. Kasprzak, and R. Vigário. Neural networks for blind separation with unknown number of sources. Neurocomputing, 24(1-3):55–93, 1999. |
|
|
17 | R. Vigário and E. Oja. Independent component analysis of human brain waves. In Proc. Int. Work-Conf. on Art. and Neural Networks (IWANN'99), pages 238–247, Alicante, Spain, 1999. |
|
|
16 | R. Vigário, J. Särelä, V. Jousmäki, and E. Oja. Independent component analysis in decomposition of auditory and somatosensory evoked fields. In Proc. Int. Workshop on Independent Component Analysis and Blind Separation of Signals (ICA'99), Aussois, France, 1999. |
|
|
15 | A. Hyvárinen, J. Särelä, and R. Vigário. Spikes and bumps: artefacts generated by independent component analysis with insufficient sample size. In Proc. Int. Workshop on Independent Component Analysis and Blind Separation of Signals (ICA'99), Aussois, France, 1999. |
|
|
14 | R. Vigário. Independent Component Approach to the Analysis of EEG and MEG signals. D. sc. (tech), Helsinki University of Technology, Department of Computer Science and Engineering, Finland, 1999. |
|
|
13 | Krista Lagus, Timo Honkela, Samuel Kaski, and Teuvo Kohonen. WEBSOM for textual data mining. Artificial Intelligence Review, 13:345–364, 1999. |
|
|
12 | Samuel Kaski, Jarkko Venna, and Teuvo Kohonen. Coloring that reveals high-dimensional structures in data. In T. Gedeon, P. Wong, S. Halgamuge, N. Kasabov, D. Nauck, and K. Fukushima, editors, Proceedings of ICONIP'99, 6th International Conference on Neural Information Processing, volume II, pages 729–734, Piscataway, NJ, 1999. IEEE Service Center. |
|
|
11 | Samuel Kaski. Fast winner search for SOM-based monitoring and retrieval of high-dimensional data. In Proceedings of ICANN99, Ninth International Conference on Artificial Neural Networks, volume 2, pages 940–945, London, 1999. IEE. |
|
|
10 | Krista Lagus and Samuel Kaski. Keyword selection method for characterizing text document maps. In Proceedings of ICANN99, Ninth International Conference on Artificial Neural Networks, volume 1, pages 371–376, London, 1999. IEE. |
|
|
9 | Erkki Oja and Samuel Kaski, editors. Kohonen Maps. Elsevier, Amsterdam, 1999. |
|
|
8 | Teuvo Kohonen, Samuel Kaski, Krista Lagus, Jarkko Salojärvi, Jukka Honkela, Vesa Paatero, and Antti Saarela. Self organization of a massive text document collection. In Erkki Oja and Samuel Kaski, editors, Kohonen Maps, pages 171–182. Elsevier, Amsterdam, 1999. |
|
|
7 | Aapo Hyvärinen and Timo Honkela. Emotional disorders in autonomous agents?. In Advances in Artificial Life, Proceedings of ECAL'99, European Conference on Artificial Life, pages 350–354. Springer, 1999. |
|
|
6 | Timo Honkela. Connectionist analysis and creation of context for natural language understanding and knowledge management. In Proceedings of Context'99, 2nd International and Interdisciplinary Conference, pages 479–482. Springer, 1999. |
|
|
5 | Timo Honkela (ed.). Pelit, tietokone ja ihminen - Games, computers and people. Suomen tekoälyseura/Finnish Artificial Intelligence Society, Espoo, 1999. |
|
|
4 | Timo Honkela. Pelit, tietokone ja ihminen. In Timo Honkela, editor, Pelit, tietokone ja ihminen - Games, computers and people, pages 1–7. Suomen tekoälyseura/Finnish Artificial intelligence societ y, Espoo, 1999. |
|
|
3 | Timo Honkela. Pelit, vuorovaikutus ja oppiminen. Kirjastolehti, 7-8, 1999. |
|
|
2 | Aapo Hyvärinen and Timo Honkela. Emotional disorders in autonomous agents?. In Advances in Artificial Life, Proceedings of ECAL'99, European Conference on Artificial Life, pages 350–354. Springer, 1999. |
|
|
1 | Tomi Janhunen. On the intertranslatability of non-monotonic logics. Annals of Mathematics and Artificial Intelligence, 27(1-4):79–128, 1999. Special issue with the selected best papers from JELIA 1998. |
|
