43 | Tomi Janhunen. Investigations on cautious autoepistemic reasoning. Research Report A31, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1994. |
|
42 | Mikko Kurimo. Hybrid training method for tied mixture density hidden Markov models using learning vector quantization and Viterbi estimation. In Proceedings of the IEEE Workshop on Neural Networks for Signal Processing (NNSP), pages 362–371, Ermioni, Greece, September 1994. |
|
41 | Johan Lilius. On the folding of algebraic nets. Research Report A30, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1994. |
|
40 | Ilkka Niemelä, editor. Annual report for the year 1993. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1994. |
|
39 | Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 473–484, Bonn, Germany, May 1994. Morgan Kaufmann Publishers. |
|
38 | Kimmo Raivio and Teuvo Kohonen. Detection of nonlinearly distorted and two-path propagated signals using SOM-based equalizers. In Proceedings of the International Conference on Artificial Neural Networks, volume 2, pages 1037–1040, Sorrento, Italy, May 26-29 1994. |
|
37 | Kimmo Varpaaniemi. On computing symmetries and stubborn sets. Technical Report B12, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, April 1994. |
|
36 | Mikko Kurimo. Corrective tuning by applying LVQ for continuous density and semi-continuous Markov models. In Proceedings of International Symposium on Speech, Image Processing and Neural Networks, volume 2, pages 718–721, Hong Kong, April 1994. |
|
35 | Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Research Report A29, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1994. |
|
34 | Heikki Mannila and K.-J. Räihä. Algorithms for inferring functional dependencies from relations. Data & Knowledge Engineering, 12(1):83–99, February 1994. |
|
33 | Tomi Janhunen. Investigations on Cautious Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
32 | Kari Hakulinen. Soluverkkoprotokollien tietokoneavusteinen testaus. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994. |
|
31 | Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
30 | Mika Rautila. Prosessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissa. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1994. |
|
29 | Jari Saarhelo. Tekoäly valuprosessin suunnittelussa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
28 | Pauli Väisänen. A study of model determination problems in s5 logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
27 | Kimmo Varpaaniemi. Dynamically stubborn sets and the sleep set method. In Hans-Dieter Burkhard, Ludwik Czaja, and Peter H. Starke, editors, Concurrency, Specification and Programming: Proceedings of the CS&P'93 Workshop, Nieborów near Warsaw, Poland, 14–16 October 1993, pages 230–246. Zakład Graficzny UW, zam. 261/94, Warsaw, Poland, 1994. |
|
26 | Kimmo Varpaaniemi. On combining the stubborn set method with the sleep set method. In Robert Valette, editor, Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20–24, 1994, Proceedings, volume 815 of Lecture Notes in Computer Science, pages 548–567. Springer-Verlag, Berlin, Germany, 1994. © Springer-Verlag Berlin Heidelberg 1994. |
|
25 | Kimmo Varpaaniemi. On-the-fly verification with PROD. In Jörg Desel, Andreas Oberweis, and Wolfgang Reisig, editors, Algorithmen und Werkzeuge für Petrinetze: Workshop der GI-Fachgruppe 0.0.1, ``Petrinetze und verwandte Systemmodelle'', Berlin, 10.–11. Oktober 1994, pages 80–83. Forschungsberichte, Bericht 309, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH), Germany, 1994. |
|
24 | Kimmo Varpaaniemi. The sleep set method revisited. In Ludwik Czaja, Hans-Dieter Burkhard, and Peter H. Starke, editors, Workshop: Concurrency, Specification & Programming, October 12–15, 1994. Informatik-Bericht Nr. 36, Institut für Informatik, Humboldt-Universität zu Berlin, Germany, 1994. |
|
23 | Ilkka Niemelä. Autoepisteeminen logiikka epämonotonisen päättelyn pohjana. Tietojenkäsittelytiede, 6:15–25, 1994. |
|
22 | Ilkka Niemelä and J. Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. In G. Lakemeyer and B. Nebel, editors, Foundations of Knowledge Representation and Reasoning, pages 275–295. Springer-Verlag, Berlin, 1994. |
|
21 | Ilkka Niemelä and Jussi Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. Journal of Applied Non-Classical Logics, 4(2):141–179, 1994. |
|
20 | Ilkka Niemelä and Camilla Schwind. Proof systems for nonmonotonic logics. Lecture notes for a tutorial given at the 12th International Conference on Automated Deduction, Nancy, France, June 28–July 1, 1994. 44 pages., 1994. |
|
19 | Kimmo Varpaaniemi. Dynamically stubborn sets and the sleep set method. In Hans-Dieter Burkhard, Ludwik Czaja, and Peter H. Starke, editors, Concurrency, Specification and Programming: Proceedings of the CS&P'93 Workshop, Nieborów near Warsaw, Poland, 14–16 October 1993, pages 230–246. Zakład Graficzny UW, zam. 261/94, Warsaw, Poland, 1994. |
|
18 | Kimmo Varpaaniemi. On combining the stubborn set method with the sleep set method. In Robert Valette, editor, Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20–24, 1994, Proceedings, volume 815 of Lecture Notes in Computer Science, pages 548–567. Springer-Verlag, Berlin, Germany, 1994. © Springer-Verlag Berlin Heidelberg 1994. |
|
17 | Kimmo Varpaaniemi. On-the-fly verification with PROD. In Jörg Desel, Andreas Oberweis, and Wolfgang Reisig, editors, Algorithmen und Werkzeuge für Petrinetze: Workshop der GI-Fachgruppe 0.0.1, ``Petrinetze und verwandte Systemmodelle'', Berlin, 10.–11. Oktober 1994, pages 80–83. Forschungsberichte, Bericht 309, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH), Germany, 1994. |
|
16 | Kimmo Varpaaniemi. The sleep set method revisited. In Ludwik Czaja, Hans-Dieter Burkhard, and Peter H. Starke, editors, Workshop: Concurrency, Specification & Programming, October 12–15, 1994. Informatik-Bericht Nr. 36, Institut für Informatik, Humboldt-Universität zu Berlin, Germany, 1994. |
|
15 | J. Kivinen, Heikki Mannila, and E. Ukkonen. Learning rules with local exceptions. In Computational Learning Theory: EuroCOLT'93, pages 35–36, 1994. |
|
14 | P. Kilpeläinen and Heikki Mannila. Query primitives for tree-structured data. In Proceedings of the 1994 Symposium on Combinatorial Pattern Matching, pages 213–225, 1994. |
|
13 | J. Kivinen and Heikki Mannila. The power of sampling in knowledge discovery. In Proceedings of the 1994 ACM SIGACT-SIGMOD-SIGACT Symposium on Principles of Database Theory (PODS'94), pages 77–85, 1994. |
|
12 | T. Eiter, G. Gottlob, and Heikki Mannila. Expressive power and complexity of disjunctive datalog. In Proceedings of the 1994 ACM SIGACT-SIGMOD-SIGACT Symposium on Principles of Database Theory (PODS'94), pages 267–278, 1994. |
|
11 | Heikki Mannila, H. Toivonen, and I. Verkamo. Efficient algorithms for discovering association rules. In Knowledge Discovery in Databases (KDD'94), pages 181–192. AAAI Press, 1994. |
|
10 | H. Ahonen, Heikki Mannila, and E. Nikunen. Forming grammars for structured documents: an application of grammatical inteference. In Proceedings of the Second International Colloquium on Grammatical Inference and Applications, pages 153–167, 1994. |
|
9 | M. Klemettinen, Heikki Mannila, P. Ronkainen, H. Toivonen, and I. Verkamo. Finding interesting rules from large sets of discovered association rules. In Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), pages 401–407, 1994. |
|
8 | J. Kivinen, Heikki Mannila, E. Ukkonen, and J. Vilo. An algorithm for learning hierarchical classifiers. In ECML'94, pages xx–xx, 1994. |
|
7 | T. Eiter, G. Gottlob, and Heikki Mannila. Expressive power and complexity of disjunctive datalog under the stable model semantics. In Management and Processing of Complex Data Structures – Proceedings of the Third Workshop on Information Systems and Artificial Intelligence, pages 83–103, 1994. |
|
6 | Mikko Kurimo. Application of learning vector quantization and self-organizing maps for training continuous density and semi-continuous Markov models. Licentiate's Thesis, Helsinki University of Technology, Espoo, Finland, 1994. |
|
5 | Heikki Kälviäinen, Petri Hirvonen, Lei Xu, and Erkki Oja. Comparisons of probabilistic and non-probabilistic hough transforms. In ECCV (2), pages 351–360, 1994. |
|
4 | R. Vigário. On linear and nonlinear pca neural networks: Separation abilities and production of visual receptive fields. Mestrado, University of Lisbon, Faculty of Sciences, Portugal, 1994. |
|
3 | Jukka Iivarinen, Teuvo Kohonen, Jari Kangas, and Samuel Kaski. Visualizing the clusters on the self-organizing map. In Christer Carlsson, Timo Järvi, and Tapio Reponen, editors, Proceedings of the Conference on Artificial Intelligence Research in Finland, number 12 in Publications of the Finnish Artificial Intelligence Society, pages 122–126. Finnish Artificial Intelligence Society, Helsinki, Finland, 1994. |
|
2 | Samuel Kaski and Teuvo Kohonen. Winner-take-all networks for physiological models of competitive learning. Neural Networks, 7:973–984, 1994. |
|
1 | Tomi Janhunen. Cautious autoepistemic reasoning applied to general logic programs. In Matti Penttonen, editor, Proceedings of the Seventh Finnish Symposium on Computer Science, pages 33–46, Liperi, Finland, January 1994. University of Joensuu, Department of Computer Science. (Report A-1994-1). |
|