67 | Marko Mäkelä, Jani Lahtinen, and Leo Ojala. Performance analysis of a traffic control system using stochastic Petri nets. Technical Report B19, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, December 1998. |
|
66 | Teemu Tynjälä. Reachability-based verification of dss1 protocol. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, December 1998. |
|
65 | Amaury Lendasse, Eric de Bodt, and Michel Verleysen. Estimation de la dimension intrinsèque d'une série temporelle et prédiction par une méthode de projection. In ACSEG'98, Association Connectioniste en Sciences Economiques et de Gestion, Louvain-la-Neuve (Belgique), pages D37–D46, November 20 1998. |
|
64 | Tommi Syrjänen. Implementation of local grounding for logic programs with stable model semantics. Technical Report B18, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1998. |
|
63 | Kimmo Raivio, Jukka Henriksson, and Olli Simula. Neural detection of QAM signal with strongly nonlinear receiver. Neurocomputing, 21:159–171, October 1998. |
|
62 | Tomi Janhunen. On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. In Jürgen Dix, Luis Fariñas del Cerro, and Ulrich Furbach, editors, Proceedings of the 6th European Workshop on Logics in Artificial Intelligence, JELIA'98, pages 216–232, Dagstuhl, Germany, October 1998. Springer-Verlag. LNAI 1489. |
|
61 | Keijo Heljanko. Deadlock checking for complete finite prefixes using logic programs with stable model semantics (Extended abstract). In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Proceedings of the Workshop Concurrency, Specification & Programming 1998, Informatik-Bericht Nr. 110, pages 106–115, Berlin, Germany, September 1998. Humboldt-University, Berlin. |
|
60 | Krista Lagus. Generalizability of the websom method to document collections of various types. In Proc. of 6th European Congress on Intelligent Techniqes & Soft Computing (EUFIT'98)., volume 1, pages 210–214, Aachen, Germany, September 7-10 1998. |
|
59 | M. L. Hadjili, Amaury Lendasse, Vincent Wertz, and S. Yurkovich. Identification of fuzzy models for a glass furnace process. In 1998 IEEE International Conference on Control Applications,Trieste, Italy, pages 963–968, September 1-4 1998. |
|
58 | Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Fachbericht Informatik 20–98, Universität Koblenz-Landau, August 1998. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/. |
|
57 | S. Brass, J. Dix, Ilkka Niemelä, and T.C. Przymusinski. A comparison of the static and the disjunctive well-founded semantics and its implementation. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, pages 74–85, Trento, Italy, June 1998. Morgan Kaufmann Publishers. |
|
56 | Kimmo Varpaaniemi. On the stubborn set method in reduced state space generation. Research Report A51, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, May 1998. Doctoral dissertation. |
|
55 | Ilkka Niemelä and Torsten Schaub (Eds.). Proceedings of the workshop on computational aspects of nonmonotonic reasoning. Research Report A52, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1998. |
|
54 | Ilkka Niemelä and Torsten Schaub, editors. Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, Trento, Italy, May 1998. Helsinki University of Technology, Digital Systems Laboratory, Research Report A52. |
|
53 | Ilkka Niemelä. Logic programs with stable model semantics as a constraint programming paradigm. In Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, pages 72–79. Helsinki University of Technology, Digital Systems Laboratory, Research Report A52, May 1998. |
|
52 | Mikko Kurimo. Improving vocabulary independent HMM decoding results by using the dynamically expanding context. In Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), volume 2, pages 833–836, Seattle, WA, USA, May 1998. |
|
51 | Amaury Lendasse, Michel Verleysen, Eric de Bodt, Marie Cottrell, and P. Gregoire. Forecasting time-series by kohonen classification. In M. Verleysen, editor, ESANN'98, European Symposium on Artificial Neural Networks, Bruges (Belgique), pages 221–226, April 1998. |
|
50 | Mikko Kurimo. Self organization in mixture densities of HMM based speech recognition. In Proceedings of ESANN'98, European Symposium on Artificial Neural Networks, pages 237–242, Bruges, Belgium, April 1998. |
|
49 | Tomi Janhunen. Non-monotonic systems: A framework for analyzing semantics and structural properties of NMR. Research Report A49, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1998. Doctoral dissertation. |
|
48 | Ilkka Niemelä (Ed.). Proceedings of the HeCSE workshop on emerging technologies in distributed systems. Research Report A50, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1998. |
|
47 | Tomi Janhunen. Non-Monotonic Systems: A Framework for Analyzing Semantics and Structural Properties of Non-Monotonic Reasoning. PhD thesis, Helsinki University of Technology, Department of Computer Science and Engineering, March 1998. |
|
46 | Jari Kangas and Samuel Kaski. 3043 works that have been based on the self-organizing map (SOM) method developed by Kohonen. Technical Report A49, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, February 1998. |
|
45 | Stefan Rönn. Semantics of semaphores. Research Report A53, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, 1998. |
|
44 | Tommi Junttila. Enabling broadband services. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
43 | Tapio Manner. Extending verification of industrial TNSDL programs with formal methods by using EMMA. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
42 | Marko Mäkelä. Implementing the front-end of an SDL compiler. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
41 | Teemu Tynjälä. Reachability-based verification of DSSI protocol. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1998. |
|
40 | Kimmo Varpaaniemi. On stubborn sets in the verification of linear time temporal properties. In Jörg Desel and Manuel Silva, editors, Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22–26, 1998, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 124–143. Springer-Verlag, Berlin, Germany, 1998. © Springer-Verlag Berlin Heidelberg 1998. |
|
39 | Ilkka Niemelä, editor. Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems, Lammi, Finland, Jan 1998. Helsinki University of Technology, Digital Systems Laboratory, Research Report A50. |
|
38 | Timo Soininen and Ilkka Niemelä. Formalizing configuration knowledge using rules with choices. Technical Report TKO-B142, Helsinki University of Technology, Laboratory of Information Processing Science, 1998. Presented at the Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning, May 31, 1998, Trento, Italy. |
|
37 | Gerd Brewka and Ilkka Niemelä. Report on the Seventh International Workshop on Nonmonotonic Reasoning. AI Magazine, 19(4):139, 1998. |
|
36 | Michiaki Taniguchi, Michael Haft, Jaakko Hollmén, and Volker Tresp. Fraud detection in communications networks using neural and probabilistic methods. In Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP'98), volume II, pages 1241–1244, 1998. |
|
35 | Kimmo Varpaaniemi. On stubborn sets in the verification of linear time temporal properties. In Jörg Desel and Manuel Silva, editors, Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22–26, 1998, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 124–143. Springer-Verlag, Berlin, Germany, 1998. © Springer-Verlag Berlin Heidelberg 1998. |
|
34 | M. Käki, J. Leponiemi, Heikki Mannila, T. Mononen, K.-J. Räihä, and H. Siirtola. Imis: Intelligent management information system. In Proceedings of the Workshop on Real-Time Intelligent User Interfaces for Decision Support and Information Visualization, pages 20–25, 1998. |
|
33 | M. Eerola, Heikki Mannila, and M. Salmenkivi. Frailty factors and time-dependent hazards in modelling ear infections. In COMPSTAT'98, Conference of the International Association for Statistical Computing, 1998. |
|
32 | G. Das, Heikki Mannila, and P. Ronkainen. Similarity of attributes by external probes. In Fourth Annual Conference on Knowledge Discovery and Data Mining (KDD-98), pages 16–22, 1998. |
|
31 | G. Das, D. Lin, Heikki Mannila, G. Renganathan, and P. Smyth. Rule discovery from time series. In Fourth Annual Conference on Knowledge Discovery and Data Mining (KDD-98), pages 23–29, 1998. |
|
30 | J.-F. Boulicaut, M. Klemettinen, and Heikki Mannila. Querying inductive databases: a case study on the mine rule operator. In 2nd European Symposium on Principles of Data Mining and Knowledge Discovery (PKDD'98), pages 194–202, 1998. |
|
29 | Heikki Mannila, H. Toivonen, A. Korhola, and H. Olander. Learning, mining, or modeling? a case study in paleoecology. In Discovery Science, First International Conference, pages 12–24, 1998. Japanese translation in Discovery Science and Data Mining, 141-148. |
|
28 | Aapo Hyvärinen, Patrik O. Hoyer, and Erkki Oja. Sparse code shrinkage: Denoising by nonlinear maximum likelihood estimation. In NIPS, pages 473–479, 1998. |
|
27 | Juha Karhunen, Petteri Pajunen, and Erkki Oja. The nonlinear pca criterion in blind source separation: Relations with other approaches. Neurocomputing, 22(1-3):5–20, 1998. |
|
26 | Kimmo Kiviluoto and Erkki Oja. Independent component analysis for parallel financial time series. In ICONIP, pages 895–898, 1998. |
|
25 | Jorma Laaksonen and Erkki Oja. Learning subspace classifiers and error-corrective feature extraction. IJPRAI, 12(4):423–436, 1998. |
|
24 | Erkki Oja. Signal decomposition by fast ica. In ICONIP, pages 594–602, 1998. |
|
23 | Erkki Oja. From neural learning to independent components. Neurocomputing, 22(1-3):187–199, 1998. |
|
22 | Erkki Oja. The nonlinear pca approach to ica. In ICONIP, pages 725–728, 1998. |
|
21 | Kimmo Valkealahti and Erkki Oja. Reduced multidimensional co-occurrence histograms in texture classification. IEEE Trans. Pattern Anal. Mach. Intell., 20(1):90–94, 1998. |
|
20 | Kimmo Valkealahti and Erkki Oja. Texture classification with single- and multiresolution co-occurrence maps. IJPRAI, 12(4):437–452, 1998. |
|
19 | J. Särelä, R. Vigário, V. Jousmäki, R. Hari, and E. Oja. Ica for the extraction of auditory evoked fields. In Proc. 4th Int. Conf. on Functional Mapping of the Human Brain (HBM'98), Montreal, Canada, 1998. Poster. |
|
18 | R. Vigário, J. Särelä, and E. Oja. Independent component analysis in wave decomposition of auditory evoked fields. In Proc. Int. Conf. on Artificial Neural Networks (ICANN'98), Skövde, Sweden, 1998. |
|
17 | R. Vigário, V. Jousmäki, M. Hämäläinen, R. Hari, and E. Oja. Independent component analysis for identification of artifacts in magnetoencephalographic recordings. In M. I. Jordan, M. J. Kearns, and S. A. Solla, editors, Neural Information Processing Systems 10 (Proc. NIPS'97), Cambridge MA, 1998. MIT Press. |
|
16 | Samuel Kaski, Jari Kangas, and Teuvo Kohonen. Bibliography of self-organizing map (SOM) papers: 1981–1997. Neural Computing Surveys, 1(3&4):1–176, 1998. Available in electronic form at http://www.icsi.berkeley.edu/protectjagota/NCS/: Vol 1, pp. 102–350. |
|
15 | Samuel Kaski, Timo Honkela, Krista Lagus, and Teuvo Kohonen. WEBSOM—self-organizing maps of document collections. Neurocomputing, 21:101–117, 1998. |
|
14 | Timo Honkela, Krista Lagus, and Samuel Kaski. Self-organizing maps of large document collections. In Guido Deboeck and Teuvo Kohonen, editors, Visual Explorations in Finance with Self-Organizing Maps, pages 168–178. Springer, London, 1998. |
|
13 | S. Kaski and T. Kohonen. Tips for processing and color-coding of self-organizing maps. In Guido Deboeck and Teuvo Kohonen, editors, Visual Explorations in Finance with Self-Organizing Maps, pages 195–202. Springer, London, 1998. |
|
12 | Samuel Kaski, Janne Nikkilä, and Teuvo Kohonen. Methods for interpreting a self-organized map in data analysis. In Michel Verleysen, editor, Proceedings of ESANN'98, 6th European Symposium on Artificial Neural Networks, Bruges, April 22-24, pages 185–190. D-Facto, Brussels, Belgium, 1998. |
|
11 | Samuel Kaski. Dimensionality reduction by random mapping: Fast similarity computation for clustering. In Proceedings of IJCNN'98, International Joint Conference on Neural Networks, volume 1, pages 413–418. IEEE Service Center, Piscataway, NJ, 1998. |
|
10 | T. Honkela, S. Kaski, T. Kohonen, and K. Lagus. Self-organizing maps of very large document collections: Justification for the WEBSOM method. In I. Balderjahn, R. Mathar, and M. Schader, editors, Classification, Data Analysis, and Data Highways, pages 245–252. Springer, Berlin, 1998. |
|
9 | S. Kaski, K. Lagus, T. Honkela, and T. Kohonen. Statistical aspects of the WEBSOM system in organizing document collections. Computing Science and Statistics, 29:281–290, 1998. (Scott, D. W., ed.), Interface Foundation of North America, Inc.: Fairfax Station, VA. |
|
8 | Timo Honkela. Learning to understand-general aspects of using self-organizing maps in natural language processing. In AIP Conference Proceedings, pages 563–76, 1998. |
|
7 | Catherine Bounsaythip and Timo Honkela. Combination of neural and evolutionary methods for data organization. In Katsumi Tanaka and Shahram Ghandeharizadeh, editors, Proceedings of FODO'98, The 5th International Conference on Foundations of Data Organization, pages 20–25, 1998. |
|
6 | Timo Honkela, Krista Lagus, and Samuel Kaski. Self-organizing maps of large document collections. In Guido Deboeck and Teuvo Kohonen, editors, Visual Explorations in Finance with Self-Organizing Maps, pages 168–178. Springer, London, 1998. |
|
5 | Timo Honkela, Samuel Kaski, Teuvo Kohonen, and Krista Lagus. Self-organizing maps of very large document collections: Justification for the WEBSOM method. In I. Balderjahn, R. Mathar, and M. Schader, editors, Classification, Data Analysis, and Data Highways, pages 245–252. Springer, Berlin, 1998. |
|
4 | Samuel Kaski, Timo Honkela, Krista Lagus, and Teuvo Kohonen. WEBSOM—self-organizing maps of document collections. Neurocomputing, 21:101–117, 1998. |
|
3 | Timo Honkela and Järvelin Kalervo. Kieliteknologia tiedonhaussa [Language technology in information retrieval], pages 25–27. CSC Scientific Computing, Yliopistopaino, 1998. |
|
2 | Samuel Kaski, Krista Lagus, Timo Honkela, and Teuvo Kohonen. Statistical aspects of the WEBSOM system in organizing document collections. Computing Science and Statistics, 29:281–290, 1998. (Scott, D. W., ed.), Interface Foundation of North America, Inc.: Fairfax Station, VA. |
|
1 | Tommi A. Junttila. Towards well-formed algebraic system nets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop Concurrency, Specification & Programming, number 110 in Informatik-Berichte, pages 116–127. Institut für Informatik, Humboldt-Universität zu Berlin, 1998. |
|