182 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Dec 2004. |
|
181 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Dec 2004. |
|
180 | Antti Sorjamaa, Amaury Lendasse, Damien Francois, and Michel Verleysen. Business plans classification with locally pruned lazy learning models. In ACSEG 2004, Connectionist Approaches in Economics and Management Sciences, Lille (France), pages 112–119, November 18-19 2004. |
|
179 | Annikka Aalto. Automatic translation of SDL into high level Petri nets. Technical Report B21, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2004. |
|
178 | Catharina Candolin. Self healing networks against infrastructural warfare. In Proceedings of the 5th Australian Information Warfare & IT Security Conference, Fremantle, Australia, November 2004. |
|
177 | Mikko Särelä and Pekka Nikander. Applying host identity protocol to tactical networks. In Proceedings of IEEE Milcom 2004, Monterey, California, USA, Nov 2004. |
|
176 | Catharina Candolin. Self healing networks against infrastructural warfare. In Proceedings of the 5th Australian Information Warfare & IT Security Conference, Fremantle, Australia, November 2004. |
|
175 | Eerika Savia. On text-based estimation of document relevance for proactive information retrieval. In Greger Lindén, editor, Proceedings of the proactive computing workshop PROW, pages 68–71, Helsinki, Finland, November 2004. Helsinki Institute for Information Technology HIIT. |
|
174 | Mikko Särelä and Pekka Nikander. Applying host identity protocol to tactical networks. In Proceedings of IEEE Milcom 2004, Monterey, California, USA, Nov 2004. |
|
173 | Amaury Lendasse, Damien François, Fabrice Rossi, Vincent Wertz, and Michel Verleysen. Sélection de variables spectrales par information mutuelle multivariée pour la construction de modèles non-linéaires. In Chimiométrie 2004, Paris (France), pages 44–47, November 30 - December 1 2004. |
|
172 | Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. In Alan J. Hu and Andrew K. Martin, editors, Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA, volume 3312 of Lecture Notes in Computer Science, pages 186–200. Springer, nov 2004. |
|
171 | Malcolm Greig, Harri Haanpää, and Petteri Kaski. On the existence of conference matrices and near resolvable 2-(2k+1, k, k-1) designs. In Lars Døvling Andersen and Olav Geil, editors, Proceedings of the 8th Nordic Combinatorial Conference, pages 65–69, Aalborg, Denmark, October 2004. Department of Mathematical Sciences, Aalborg University. Extended summary. |
|
170 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. Class distributions on SOM surfaces for feature extraction and object retrieval. Neural Networks, 17(8-9):1121–1133, October-November 2004. |
|
169 | Keijo Heljanko and Alin Stefanescu. Complexity results for checking distributed implementability. Technical Report 05/2004, Institute of Formal Methods in Computer Science, University of Stuttgart, Stuttgart, Germany, October 2004. |
|
168 | Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, and Michel Verleysen. Double quantization of the regressor space for long-term time series prediction: Method and proof of stability. Neural Networks, 17(8-9):1169–1181, October-November 2004. Special Issue. |
|
167 | Mikko Kurimo, V. Turunen, and I. Ekman. An evaluation of a spoken document retrieval baseline system in finnish. In International Conference on Spoken Language Processing, pages 1585–1588, October 2004. |
|
166 | J. Pylkkönen and Mikko Kurimo. Duration modeling techniques for continuous speech recognition. In 8th International Conference on Spoken Language Processing (Interspeech 2004), pages 385–388, October 2004. |
|
165 | Tomi Janhunen, Toni Jussila, Matti Järvisalo, and Emilia Oikarinen. Teaching Smullyan's analytic tableaux in a scalable learning environment. In Ari Korhonen and Lauri Malmi, editors, Proceedings of the 4th Finnish/Baltic Sea Conference on Computer Science Education, pages 85–94, Joensuu, October 2004. Published in the report series of the Laboratory of Information Processing, TKO-A42/04. |
|
164 | Alexander Ilin and Antti Honkela. Post-nonlinear independent component analysis by variational Bayesian learning. In Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation (ICA 2004), pages 766–773, Granada, Spain, September 2004. |
|
163 | Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In J. Bicarregui A. Butterfield and A. Arenas, editors, Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), number SEA-SR-03 in Technical Report, pages 191–208, Linz, Austria, September 2004. Institute for systems Engineering & Automation, Kepler University Linz. |
|
162 | Federico Montesino-Pouzols, Diego R. Lopez, Angel Barriga, and Santiago Sánchez-Solano. Sistemas Difusos para Control de Congestión y Calidad de Servicio en Internet. In XII Congreso Espa nol Sobre Tecnologías y Lógica Fuzzy (ESTYLF2004)., Jaen, Spain, September 2004. |
|
161 | Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), volume 3229 of Lecture Notes in Computer Science, pages 307–319, Lisbon, Portugal, September 2004. Springer-Verlag. |
|
160 | Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In J. Bicarregui A. Butterfield and A. Arenas, editors, Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), number SEA-SR-03 in Technical Report, pages 191–208, Linz, Austria, September 2004. Institute for systems Engineering & Automation, Kepler University Linz. |
|
159 | Tapani Raiko. The go-playing program called Go81. In Proceedings of the Finnish Artificial Intelligence Conference (STeP 2004), pages 197–206, Helsinki, Finland, September 2004. |
|
158 | Mika Sulkava, Jarkko Tikka, and Jaakko Hollmén. Sparse regression for analyzing the development of foliar nutrient concentrations in coniferous trees. In Sašo Dzeroski, Bernard Zenko, and Marko Debeljak, editors, Proceedings of the Fourth International Workshop on Environmental Applications of Machine Learning (EAML 2004), pages 57–58, Bled, Slovenia, September/October 2004. |
|
157 | Petr Skripal and Timo Honkela. Framework for modeling emotions in communities of agents. In Symposium Proceedings of the 11th Finnish Artificial Intelligence Conference. Finnish Artificial Intelligence Society, September 2004. |
|
156 | Tommi Syrjänen. Cardinality constraint programs. In Jose Julio Alferes and Joao Leite, editors, The 9th European Conference on Logics in Artificial Intelligence (JELIA'04), pages 187–200. Springer-Verlag, September 2004. |
|
155 | Tomi Janhunen and Emilia Oikarinen. Capturing parallel circumscription with disjunctive logic programs. In José Júlio Alferes and Jo ao Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, pages 134–146, Lisbon, Portugal, September 2004. Springer-Verlag. LNAI 3229. |
|
154 | Tuomo Pyhälä. Specification-based test selection in formal conformance testing. Research Report A93, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2004. |
|
153 | Markus Koskela, Jorma Laaksonen, and Erkki Oja. Entropy-based measures for clustering and SOM topology preservation applied to content-based image indexing and retrieval. In Proceedings of 17th International Conference on Pattern Recognition (ICPR 2004), volume 2, pages 1005–1008, Cambridge, UK, August 2004. |
|
152 | Tomi Janhunen. Representing normal programs with clauses. In Ramon López de Mántaras and Lorenza Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence, pages 358–362, Valencia, Spain, August 2004. IOS Press. |
|
151 | Alexander Ilin, Sophie Achard, and Christian Jutten. Bayesian versus constrained structure approaches for source separation in post-nonlinear mixtures. In Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2004), pages 2181–2186, Budapest, Hungary, July 2004. |
|
150 | Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. Research Report A92, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2004. |
|
149 | Timo Ojala, Markus Koskela, Esa Matinmikko, Mika Rautiainen, Jorma Laaksonen, and Erkki Oja. Task-based user evaluation of content-based image database browsing systems. In Proceedings of 3rd International Conference on Image and Video Retrieval (CIVR 2004), pages 234–242, Dublin, Ireland, July 2004. |
|
148 | Mathias Creutz and Krista Lagus. Induction of a simple morphology for highly-inflecting languages. In Proceedings of the 7th Meeting of the ACL Special Interest Group in Computational Phonology (SIGPHON), pages 43–51, Barcelona, July 2004. |
|
147 | Amaury Lendasse, Vincent Wertz, Geoffroy Simon, and Michel Verleysen. Fast bootstrap applied to LS-SVM for long term prediction of time series. In Neural Networks, 2004. Proceedings. 2004 IEEE International Joint Conference on, volume 1, pages 705–710. IEEE, July 2004. |
|
146 | Amaury Lendasse, Erkki Oja, Olli Simula, and Michel Verleysen. Time series prediction competition: The CATS benchmark. In IJCNN 2004, International Joint Conference on Neural Networks, volume 2, pages 1615–1620, Budapest, Hungary, July, 25-29 2004. |
|
145 | Timo Honkela and Aapo Hyvärinen. Linguistic feature extraction using independent component analysis. In Proceedings of IJCNN'04, pages 279–284, Budabest, Hungary, July 2004. |
|
144 | Jarkko Ylipaavalniemi and Ricardo Vigário. Analysis of auditory fMRI recordings via ICA: A study on consistency. In 2004 IEEE International Joint Conference on Neural Networks (IJCNN 2004), volume 1, pages 249–254, Budapest, Hungary, July 2004. |
|
143 | Harri Haanpää, editor. Annual report for the year 2003. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, June 2004. |
|
142 | Pauli Aho and Catharina Candolin. Enabling network-centric warfare by securing the core infrastructure. In Proceedings of the 3rd European Conference on Information Warfare (ECIW'04), London, UK, June 2004. |
|
141 | Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive bess. CS-Report 04-13, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, Netherlands, June 2004. |
|
140 | 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.4.00 — an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, June 2004. Software. |
|
139 | Pauli Aho and Catharina Candolin. Enabling network-centric warfare by securing the core infrastructure. In Proceedings of the 3rd European Conference on Information Warfare (ECIW'04), London, UK, June 2004. |
|
138 | Federico Montesino-Pouzols. Assessing Active Bandwidth Estimation Tools in High Speed Networks. In TERENA Networking Conference, Rhodes, Greece, June 2004. |
|
137 | Jaakko J. Väyrynen, Timo Honkela, and Aapo Hyvärinen. Independent component analysis of word contexts and comparison with traditional categories. In Jarno M. A. Tanskanen, editor, Proceedings of the 6th Nordic Signal Processing Symposium (NORSIG 2004), number 46 in Helsinki University of Technology Signal Processing Laboratory Report Series, pages 300–303. Helsinki University of Technology, Signal Processing Laboratory, June 2004. |
|
136 | 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.4.00 — an advanced tool for efficient reachability analysis. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, June 2004. Software. |
|
135 | Mikko Kurimo, V. Turunen, and I. Ekman. Speech transcription and spoken document retrieval in finnish. In Workshop on Multimodal Interaction and Related Machine Learning Algorithms, pages 253–262, June 2004. |
|
134 | J. Pylkkönen and Mikko Kurimo. Using phone durations in finnish large vocabulary continuous speech recognition. In 6th Nordic Signal Processing Symposium (Norsig 2004), pages 324–327, June 2004. |
|
133 | Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive bess. CS-Report 04-13, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, Netherlands, June 2004. |
|
132 | Pekka Orponen and Satu Elisa Schaeffer. Efficient algorithms for sampling and clustering of large nonuniform networks. Technical Report cond-mat/0406048, arXiv.org, June 2004. |
|
131 | Pekka Orponen and Satu Elisa Schaeffer. Efficient algorithms for sampling and clustering of large nonuniform networks. Technical Report cond-mat/0406048, arXiv.org e-Print archive, http://arxiv.org/, June 2004. |
|
130 | Teemu Hirsimäki and Mikko Kurimo. Decoder issues in unlimited Finnish speech recognition. In Proceedings of the 6th Nordic Signal Processing Symposium (Norsig), pages 320–323, Espoo, Finland, June 2004. |
|
129 | Toni Jussila. BMC via dynamic atomicity analysis. In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD'2004), Hamilton, Ontario, Canada, June 2004. |
|
128 | Alexander Ilin, Harri Valpola, and Erkki Oja. Nonlinear dynamical factor analysis for state change detection. IEEE Transaction on Neural Networks, 15(3):559–575, May 2004. |
|
127 | Mikko Särelä. Measuring the effects of mobility on reactive ad hoc routing protocols. Research Report A91, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2004. |
|
126 | Mikko Kylväjä, Kimmo Hätönen, Pekka Kumpulainen, Jaana Laiho, Pasi Lehtimäki, Kimmo Raivio, and Pekko Vehviläinen. Trial report on self-organizing map based analysis tool for radio networks. In Proceedings of the Vehicular Technology Conference, Milan, Italy, May 2004. |
|
125 | Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. In K. Jensen and A. Podelski, editors, Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), volume 2988 of Lecture Notes in Computer Science, pages 436–450, Barcelona, Spain, April 2004. Springer. |
|
124 | Misa Keinänen and Ilkka Niemelä. Solving alternating boolean equation systems in answer set programming. In U. Geske D. Seipel, M. Hanus and O. Bartenstein, editors, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), volume 327 of Technical Report, pages 255–264, Potsdam, Germany, April 2004. Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik. |
|
123 | Federico Montesino-Pouzols. Comparative Analysis of Active Bandwidth Estimation Tools. In Chadi Barakat and Ian Pratt, editors, 5th Passive and Active Network Measurement, volume 3015 of Lecture Notes in Computer Science, pages 175–184, Antibes Juan-Les-Pins, France, April 2004. Springer. |
|
122 | Amaury Lendasse, Geoffroy Simon, Robert Kozma, Vincent Wertz, and Michel Verleysen. Fast bootstrap for least-square support vector machines. In M. Verleysen, editor, ESANN 2004, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 525–530. d-side publ. (Evere, Belgium), April 28-30 2004. |
|
121 | Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. In K. Jensen and A. Podelski, editors, Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), volume 2988 of Lecture Notes in Computer Science, pages 436–450, Barcelona, Spain, April 2004. Springer. |
|
120 | Misa Keinänen and Ilkka Niemelä. Solving alternating boolean equation systems in answer set programming. In U. Geske D. Seipel, M. Hanus and O. Bartenstein, editors, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), volume 327 of Technical Report, pages 255–264, Potsdam, Germany, April 2004. Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik. |
|
119 | Ata Kaban, Ella Bingham, and Teemu Hirsimäki. Learning to read between the lines: The aspect Bernoulli model. In Proceedings of the 4th SIAM International Conference on Data Mining, pages 462–466, Lake Buena Vista, FL, USA, April 2004. Poster. |
|
118 | Matti Järvisalo. Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking. Research Report A90, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, March 2004. |
|
117 | John A. Lee, Amaury Lendasse, and Michel Verleysen. Nonlinear projection with curvilinear distances: Isomap versus curvilinear distance analysis. Neurocomputing, 57:49–76, March 2004. |
|
116 | Harri Haanpää and Patric R. J. Östergård. Sets in Abelian groups with distinct sums of pairs. Research Report A87, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004. |
|
115 | Harri Haanpää. Minimum sum and difference covers of Abelian groups. Research Report A88, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004. |
|
114 | Harri Haanpää. Constructing certain combinatorial structures by computational methods. Research Report A89, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004. Doctoral dissertation. |
|
113 | Harri Haanpää. Constructing Certain Combinatorial Structures by Computational Methods. Electronic version of doctoral thesis, Helsinki University of Technology, February 2004. http://lib.hut.fi/Diss/2004/isbn9512269422/. |
|
112 | Esa Alhoniemi, Johan Himberg, Jaakko Hollmén, Sampsa Laine, Pasi Lehtimäki, Kimmo Raivio, Timo Similä, Olli Simula, Miki Sirola, Mika Sulkava, Jarkko Tikka, and Juha Vesanto. SOM in data mining. In K. Puolamäki and L. Koivisto, editors, Biennial report 2002–2003, chapter 14, pages 171–178. Laboratory of Computer and Information Science, Neural Networks Research Centre, Helsinki University of Technology, Espoo, Finland, February 2004. |
|
111 | Esa Alhoniemi, Jaakko Hollmén, Johan Himberg, Sampsa Laine, Golan Lampi, Pasi Lehtimäki, Teppo Marin, Jukka Parviainen, Kimmo Raivio, Timo Similä, Olli Simula, Miki Sirola, Mika Sulkava, Jarkko Tikka, and Juha Vesanto. Intelligent data engineering. In K. Puolamäki and L. Koivisto, editors, Biennial report2002–2003, chapter 15, pages 279–186. Laboratory of Computer and Information Science, Neural Networks Research Centre, Helsinki University of Technology, Espoo, Finland, February 2004. |
|
110 | Antti Honkela. Approximating nonlinear transformations of probability distributions for nonlinear independent component analysis. In Proc. 2004 IEEE Int. Joint Conf. on Neural Networks (IJCNN 2004), pages 2169–2174, Budapest, Hungary, 2004. Poster. |
|
109 | Antti Honkela and Harri Valpola. Variational learning and bits-back coding: an information-theoretic view to Bayesian learning. IEEE Transactions on Neural Networks, 15(4):800–810, 2004. |
|
108 | Antti Honkela, Stefan Harmeling, Leo Lundqvist, and Harri Valpola. Using kernel PCA for initialisation of variational Bayesian nonlinear blind source separation method. In Carlos G. Puntonet and Alberto Prieto, editors, Proc. of the 5th Int. Conf. on Independent Component Analysis and Blind Signal Separation (ICA 2004), volume 3195 of Lecture Notes in Computer Science, pages 790–797, Granada, Spain, 2004. Springer-Verlag, Berlin. Poster. |
|
107 | Antti Ukkonen. Data mining techniques for discovering partial orders. Master's thesis, Helsinki University of Technology, 2004. |
|
106 | Antti Autere. New online power-aware algorithms in wireless networks. In 12th International Conference on Software, Telecommunications and Computer Networks, pages 439–443, Split, Dubrovnik (Croatia), Venice (Italy), 2004. University of Split. |
|
105 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
104 | Erkki Ruponen. Integrointitestauksen EXIT-kriteerit Symbian-pohjaisessa ohjelmistotuotteessa. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
103 | Annikka Aalto. Automatic translation of SDL into high level Petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
102 | Heikki Rantanen. Analyzing the Random-Walk algorithm for SAT. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
101 | Harriet Beaver. Using rule-based constraint programming to find MAPs for Bayesian networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
100 | Mikko Särelä. Measuring the effects of mobility on reactive ad hoc routing protocols. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
99 | Matti Järvisalo. Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
98 | Tuomo Pyhälä. genfacbm — a benchmark generator based on factoring for SAT and ASP solvers, 2004. Computer program. |
|
97 | Technical aspects of network centric warfare, 2004. ISBN: 951-25-1499-0. |
|
96 | Janne Lundberg. A system for combining forward error correction and source authentication in wireless multicast networks. In Technical Aspects of Network Centric Warfare, Helsinki, Finland, 2004. |
|
95 | Janne Lundberg. Implementation of packet level authentication for Linux. In Technical Aspects of Network Centric Warfare, Helsinki, Finland, 2004. |
|
94 | Janne Lundberg. PLA – implementation of packet level authentication for Linux, 2004. Computer Program. |
|
93 | Janne Lundberg. MSEC – a secure and reliable multicast delivery engine for Linux, 2004. Computer Program. |
|
92 | Kimmo Varpaaniemi. Stubborn sets for priority nets. In Cevdet Aykanat, Tuğrul Dayar, and İbrahim Körpeoğlu, editors, Computer and Information Sciences — ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27–29, 2004, Proceedings, volume 3280 of Lecture Notes in Computer Science, pages 574–583. Springer-Verlag, Berlin, Germany, 2004. © Springer-Verlag Berlin Heidelberg 2004. |
|
91 | Technical aspects of network centric warfare, 2004. ISBN: 951-25-1499-0. |
|
90 | Elina Karp, Hugo Gävert, Jaakko Särelä, and Ricardo Vigário. Independent component analysis decomposition of structural mri. In B. Tilg, editor, Proceedings of the Second IASTED International Conference on Biomedical Engineering (BioMed 2004), pages 83–87, Innsbruck, Austria, 2004. ACTA Press. |
|
89 | Elina Karp and Ricardo Vigário. Unsupervised mri tissue classification by support vector machines. In B. Tilg, editor, Proceedings of the Second IASTED International Conference on Biomedical Engineering (BioMed 2004), pages 88–91, Innsbruck, Austria, 2004. ACTA Press. |
|
88 | Emilia Oikarinen and Tomi Janhunen. Verifying the equivalence of logic programs in the disjunctive case. In V. Lifschitz and I. Niemelä, editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 2923 of Lecture Notes in Artificial Intelligence, pages 180–193, Fort Lauderdale, USA, January 2004. Springer-Verlag. |
|
87 | Harri Haanpää. Minimum sum and difference covers of Abelian groups. Journal of Integer Sequences, 7(2):article 04.1.8, 2004. |
|
86 | Harri Haanpää, Antti Huima, and Patric R. J. Östergård. Sets in with distinct sums of pairs. Discrete Applied Mathematics, 138:99–106, 2004. |
|
85 | Victor Marek, Ilkka Niemelä, and Mirosław Truszczyński. Programs with monotone cardinality atoms. In Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 154–166. Springer-Verlag, 2004. |
|
84 | Vladimir Lifschitz and Ilkka Niemelä, editors. Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Artificial Intelligence 2923. Springer-Verlag, 2004. |
|
83 | Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability. Technical Report 198, Institute of Computer Science at Freiburg University, 2004. |
|
82 | Gerhard Brewka, Ilkka Niemelä, and Tommi Syrjänen. Logic programs with ordered disjunction. Computational Intelligence, 20(2):333–357, 2004. |
|
81 | Artur Bykowski, Jouni K. Seppänen, and Jaakko Hollmén. Model-independent bounding of the supports of Boolean formulae in binary data. In Rosa Meo, Pier Luca Lanzi, and Mika Klemettinen, editors, Database Support for Data Mining Applications — Discovering Knowledge with Inductive Queries, volume 2682 of Lecture Notes in Artificial Intelligence, pages 234–249. Springer-Verlag, 2004. |
|
80 | Eeva Kettunen, Sisko Anttila, Jouni K. Seppänen, Antti Karjalainen, Henrik Edgren, Irmeli Lindström, Reijo Salovaara, Anna-Maria Nissén, Jarmo Salo, Karin Mattson, Jaakko Hollmén, Sakari Knuutila, and Harriet Wikman. Differentially expressed genes in nonsmall cell lung cancer: expression profiling of cancer-related genes in squamous cell lung cancer. Cancer Genetics and Cytogenetics, 149(2):98–106, 2004. |
|
79 | Jarkko Tikka and Jaakko Hollmén. Learning linear dependency trees from multivariate time-series data. In Proceedings of the Workshop on Temporal Data Mining: Algorithms, Theory and Applications (in conjunction with The Fourth IEEE International Conference on Data Mining), Brighton, U.K., 2004. |
|
78 | Juha Vesanto and Jaakko Hollmén. An automated report generation tool for the data understanding phase. In Ajith Abraham, Lakhmi Jain, and Berend J. van der Zwaag, editors, Innovations in Intelligent Systems: Design, Management and Applications, volume 140 of Studies in Fuzziness and Soft Computing, chapter 5. Springer (Physica) Verlag, 2004. |
|
77 | Harriet Wikman, Jouni K. Seppänen, Virinder K. Sarhadi, Eeva Kettunen, Kaisa Salmenkivi, Eeva Kuosma, Katri Vainio-Siukola, Balint Nagy, Antti Karjalainen, Thanos Sioris, Jarmo Salo, Jaakko Hollmén, Sakari Knuutila, and Sisko Anttila. Caveolins as tumor markers in lung cancer detected by combined use of cDNA and tissue microarrays. Journal of Pathology, 203:584–593, 2004. |
|
76 | Jaakko J. Väyrynen and Timo Honkela. Word category maps based on emergent features created by ICA. In Heikki Hyötyniemi, Pekka Ala-Siuru, and Jouko Seppänen, editors, Proceedings of the STeP'2004 Cognition + Cybernetics Symposium, number 19 in Publications of the Finnish Artificial Intelligence Society, pages 173–185. Finnish Artificial Intelligence Society, 2004. |
|
75 | Janne Lundberg. A system for combining forward error correction and source authentication in wireless multicast networks. In Technical Aspects of Network Centric Warfare, Helsinki, Finland, 2004. |
|
74 | Janne Lundberg. Implementation of packet level authentication for Linux. In Technical Aspects of Network Centric Warfare, Helsinki, Finland, 2004. |
|
73 | Janne Lundberg. PLA – implementation of packet level authentication for Linux, 2004. Computer Program. |
|
72 | Janne Lundberg. MSEC – a secure and reliable multicast delivery engine for Linux, 2004. Computer Program. |
|
71 | Janne Nikkilä, Christophe Roos, and Samuel Kaski. Exploring dependencies between yeast stress genes and their regulators. In Zheng Rong Yang, Richard Everson, and Hujun Yin, editors, Proceedings of IDEAL04, Intelligent Data Engineering and Automated Learning, pages 92–98, Berlin, 2004. Springer-Verlag. |
|
70 | J. Raitio, R. Vigário, J. Särelä, and T. Honkela. Assessing similarity of emergent representations based on unsupervised learning. In Proceedings, 2004 IEEE International Joint Conference on Neural Networks, pages 597–602, 2004. |
|
69 | Jaakko Peltonen. Data Exploration with Learning Metrics. PhD thesis, Helsinki University of Technology, Dissertations in Computer and Information Science, Report D7, Espoo, Finland, 2004. Award-winning: Doctoral thesis award of the Pattern Recognition Society of Finland, for the best Finnish doctoral thesis in the field of pattern recognition 2004-2005. |
|
68 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. In Proceedings of the Processing Sensory Information for Proactive Systems (PSIPS '04), 2004. |
|
67 | Kai Puolamäki and Leila Koivisto, editors. Biennial report 2002–2003. Laboratory of Computer and Information Science, 2004. |
|
66 | Krista Lagus, Samuel Kaski, and Teuvo Kohonen. Mining massive document collections by the WEBSOM method. Information Sciences, 163(1–3):135–156, 2004. |
|
65 | Kimmo Varpaaniemi. Stubborn sets for priority nets. In Cevdet Aykanat, Tuğrul Dayar, and İbrahim Körpeoğlu, editors, Computer and Information Sciences — ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27–29, 2004, Proceedings, volume 3280 of Lecture Notes in Computer Science, pages 574–583. Springer-Verlag, Berlin, Germany, 2004. © Springer-Verlag Berlin Heidelberg 2004. |
|
64 | Eric de Bodt, Amaury Lendasse, Pierre Cardon, and Michel Verleysen. Self-organizing feature maps for the classification of investment funds. Journal of Economic and Social Systems, 17(1-2):183–195, 2004. |
|
63 | Anne Patrikainen and Heikki Mannila. Subspace clustering of high-dimensional binary data - a probabilistic approach. In Workshop on Clustering High-Dimensional Data and Its Applications, SIAM International Conference on Data Mining 2004, pages 57–65, 2004. |
|
62 | Mikko Koivisto, Teemu Kivioja, Pasi Rastas, Heikki Mannila, and Esko Ukkonen. Hidden markov modelling techniques for haplotype analysis. In Algorithmic Learning Theory: 15th International Conference, ALT 2004, pages 37–52. Springer, 2004. |
|
61 | Floris Geerts, Heikki Mannila, and Evimaria Terzi. Relational link-based ranking. In The 30th International Conference on Very Large Data Bases (VLDB'04), pages 552–563, 2004. |
|
60 | Jouni Seppanen and Heikki Mannila. Dense itemsets. In Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2004), pages 683–688, 2004. |
|
59 | Aristides Gionis, Heikki Mannila, and E. Terzi. Clustered segmentations. In 3rd Workshop on Mining Temporal and Sequential Data (TDM), 2004. |
|
58 | Aristides Gionis, Heikki Mannila, and Jouni Seppanen. Geometric and combinatorial tiles in 0-1 data. In 8th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD), pages 173–184, 2004. |
|
57 | Foto Afrati, Aristides Gionis, and Heikki Mannila. Approximating a collection of frequent sets. In 10th International Conference on Knowledge Discovery and Data Mining (KDD 2004), pages 12–19, 2004. |
|
56 | Mikko Kurimo, B. Zhou, R. Huang, and J. H. L. Hansen. Language modeling structures in audio transcription for retrieval of historical speeches. In European Signal Processing Conference, pages 557–560, 2004. |
|
55 | Matti Järvisalo. Lauselogiikan toteutuvuustarkastus: käytännönläheistä teoriaa. Tietojenkäsittelytiede, 22:47–63, 2004. In Finnish. |
|
54 | Matti Järvisalo and Ilkka Niemelä. A compact reformulation of propositional satisfiability as binary constraint satisfaction. In Alan M. Frisch and Ian Miguel, editors, Proceedings of the 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systemisation and Automation, pages 111–124, 2004. Proceedings available at http://www-users.cs.york.ac.uk/%7Efrisch/Reformulation/04/. |
|
53 | Matti Järvisalo. Todistuskompleksisuudesta Boolen piirien toteutuvuustarkastuksessa. In Pasi Fränti and Esko Marjomaa, editors, Tietojenkäsittelytieteen päivät 2004, volume 5 of International Proceedings Series of Department of Computer Science, University of Joensuu, pages 49–53. Joensuun yliopisto, 2004. In Finnish. |
|
52 | Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. Unrestricted vs restricted cut in a tableau method for Boolean circuits. In 8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 4–6, 2004. Proceedings available at http://rutcor.rutgers.edu/%7Eamai/aimath04/. |
|
51 | Markku-Juhani O. Saarinen. Encrypted watermarks and linux laptop security. In C. H. Lim and M. Yung, editors, Information Security Applications, 5th International Workshop, WISA2004, Jeju Island, Republic of Korea, August 23–25, 2004, volume 3325 of Lecture Notes in Computer Science, pages 30–41. Springer, 2004. |
|
50 | Markku-Juhani O. Saarinen. Linux for the information smuggler. In C. Candolin and J. Jormakka, editors, Technical Aspects of Network Centric Warfare, volume 17 of Finnish National Defence College, Department of Technology, pages 228–239, 2004. |
|
49 | Markus Koskela, Jorma Laaksonen, and Erkki Oja. Use of image subset features in image retrieval with self-organizing maps. In CIVR, pages 508–516, 2004. |
|
48 | Markus Koskela, Jorma Laaksonen, and Erkki Oja. Entropy-based measures for clustering and som topology preservation applied to content-based image indexing and retrieval. In ICPR (2), pages 1005–1009, 2004. |
|
47 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. Class distributions on som surfaces for feature extraction and object retrieval. Neural Networks, 17(8-9):1121–1133, 2004. |
|
46 | Erkki Oja. Applications of independent component analysis. In ICONIP, pages 1044–1051, 2004. |
|
45 | Erkki Oja. Finding clusters and components by unsupervised learning. In SSPR/SPR, pages 1–15, 2004. |
|
44 | Erkki Oja, Stefan Harmeling, and Luis B. Almeida. Independent component analysis and beyond. Signal Processing, 84(2):215–216, 2004. |
|
43 | Timo Ojala, Markus Koskela, Esa Matinmikko, Mika Rautiainen, Jorma Laaksonen, and Erkki Oja. Task-based user evaluation of content-based image database browsing systems. In CIVR, pages 234–242, 2004. |
|
42 | Erkki Oja and Mark D. Plumbley. Blind separation of positive sources by globally convergent gradient search. Neural Computation, 16(9):1811–1825, 2004. |
|
41 | Jussi Pakkanen, Jukka Iivarinen, and Erkki Oja. The evolving tree - a novel self-organizing network for data analysis. Neural Processing Letters, 20(3):199–211, 2004. |
|
40 | Zhijian Yuan and Erkki Oja. A fastica algorithm for non-negative independent component analysis. In ICA, pages 1–8, 2004. |
|
39 | Emil Falck, Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Balanced data gathering in energy-constrained sensor networks. In S. Nikoletseas and J. D. P. Rolim, editors, Algorithmic Aspects of Wireless Sensor Networks: First International Workshop (ALGOSENSORS 2004, Turku, Finland, July 2004), volume 3121 of Lecture Notes in Computer Science, pages 59–70, Berlin Heidelberg, 2004. Springer-Verlag. |
|
38 | Petteri Kaski and Patric R. J. Östergård. Enumeration of balanced ternary designs. Discrete Applied Mathematics, 138(1–2):133–141, 2004. |
|
37 | Petteri Kaski and Patric R. J. Östergård. Miscellaneous classification results for 2-designs. Discrete Mathematics, 280(1–3):65–75, 2004. |
|
36 | Petteri Kaski. Packing Steiner trees with identical terminal sets. Information Processing Letters, 91(1):1–5, 2004. |
|
35 | Petteri Kaski and Patric R. J. Östergård. The Steiner triple systems of order 19. Mathematics of Computation, 73:2075–2092, 2004. |
|
34 | Petteri Kaski and Patric R. J. Östergård. There exist nonisomorphic STS(19) with equivalent point codes. Journal of Combinatorial Designs, 12(6):443–448, 2004. |
|
33 | Tapani Raiko. Partially observed values. In Proc. Int. Joint Conf. on Neural Networks (IJCNN'04), pages 2825–2830, Budapest, Hungary, 2004. |
|
32 | K.-R. Müller, R. Vigário, F. Meinecke, and A. Ziehe. Blind source separation techniques for decomposing event related brain signals. Int. Journal of Bifurcation and Chaos, 14(2):773–792, 2004. |
|
31 | Samuel Kaski. Bubbly bioinformatics. In From Genes to Ethics. Research for a New Millennium. Final Report of the Life 2000 Research Programme, Publications of the Academy of Finland 5/04, pages 48–51, Helsinki, Finland, 2004. Academy of Finland. |
|
30 | Samuel Kaski and Janne Sinkkonen. Principle of learning metrics for exploratory data analysis. Journal of VLSI Signal Processing, special issue on Machine Learning for Signal Processing, 37:177–188, 2004. |
|
29 | Krista Lagus, Samuel Kaski, and Teuvo Kohonen. Mining massive document collections by the WEBSOM method. Information Sciences, 163:135–156, 2004. |
|
28 | Janne Nikkilä, Christophe Roos, and Samuel Kaski. Exploring dependencies between yeast stress genes and their regulators. In Zheng Rong Yang, Richard Everson, and Hujun Yin, editors, Proceedings of IDEAL04, Intelligent Data Engineering and Automated Learning, pages 92–98, Berlin, 2004. Springer-Verlag. |
|
27 | Merja Oja, Göran Sperber, Jonas Blomberg, and Samuel Kaski. Grouping and visualizing human endogenous retroviruses by bootstrapping median self-organizing maps. In Proceedings of CIBCB'04, IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, pages 95–101, Piscataway, NJ, 2004. IEEE. |
|
26 | Jaakko Peltonen, Arto Klami, and Samuel Kaski. Improved learning of Riemannian metrics for exploratory analysis. Neural Networks, 17:1087–1100, 2004. Invited paper. Preprint postscript file at http://www.cis.hut.fi/projects/mi/papers/nn04_preprint.ps.gz. |
|
25 | Jaakko Peltonen, Janne Sinkkonen, and Samuel Kaski. Sequential information bottleneck for finite data. In Russ Greiner and Dale Schuurmans, editors, Proceedings of ICML 2004, the Twenty-First International Conference on Machine Learning, pages 647–654, Madison, WI, 2004. Omnipress. |
|
24 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. In Janne Heikkilä, Matti Pietikäinen, and Olli Silvén, editors, Proceedings of PSIPS 2004, Workshop on Processing Sensory Information for Proactive Systems, pages 37–42. Infotech Oulu, Oulu, Finland, 2004. |
|
23 | Eerika Savia, Samuel Kaski, Ville Tuulos, and Petri Myllymäki. On text-based estimation of document relevance. In Proceedings of IJCNN'04, International Joint Conference on Neural Networks, pages 3275–3280. IEEE, Piscataway, NJ, 2004. |
|
22 | Janne Sinkkonen, Janne Nikkilä, Leo Lahti, and Samuel Kaski. Associative clustering. In Jean-Francois Boulicaut, Floriana Esposito, Fosca Giannotti, and Dino Pedreschi, editors, Machine Learning: ECML'04. Proceedings of the 15th European Conference on Machine Learning, pages 396–405, Berlin, 2004. Springer. |
|
21 | Satu Elisa Schaeffer, Jonathan C. Clemens, and Patrick Hamilton. Decision making in distributed sensor networks. In Proceedings of the Santa Fe Institute Complex Systems Summer School, Santa Fe, NM, USA, 2004. Santa Fe Institute. |
|
20 | Satu Elisa Virtanen and Pekka Nikander. Local clustering for hierarchical ad hoc networks. In Proceedings of WiOpt'04: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, pages 404–405, Los Alamitos, CA, USA, 2004. IEEE Computer Society. |
|
19 | Sven Laur and Helger Lipmaa. On private similarity search protocols. In Sanna Liimatainen and Teemupekka Virtanen, editors, Proceedings of the 9th Nordic Workshop on Secure IT Systems (NordSec 2004), pages 73–77, 2004. |
|
18 | Bart Goethals, Sven Laur, Helger Lipmaa, and Taneli Mielikäinen. On private scalar product computation for privacy-preserving data mining.. In Choonsik Park and Seongtaek Chee, editors, Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, volume 3506 of Lecture Notes in Computer Science, pages 104–120. Springer, 2004. |
|
17 | Sebastiaan Luyssaert, Mika Sulkava, Hannu Raitio, and Jaakko Hollmén. Evaluation of forest nutrition based on large-scale foliar surveys: are nutrition profiles the way of the future?. Journal of Environmental Monitoring, 6(2):160–167, 2004. |
|
16 | Timo Honkela, Raimo Nordfors, and Raimo Tuuli. Document maps for competence management. In Proceedings of the Symposium on Professional Practice in AI, pages 31–39. IFIP, 2004. |
|
15 | Jaakko J. Väyrynen and Timo Honkela. Word category maps based on emergent features created by ICA. In Heikki Hyötyniemi, Pekka Ala-Siuru, and Jouko Seppänen, editors, Proceedings of the STeP'2004 Cognition + Cybernetics Symposium, pages 173–185. Finnish Artificial Intelligence Society, 2004. |
|
14 | Timo Latvala. Nusmv-bpltl. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2004. Software. |
|
13 | Timo Latvala. scheck1.2. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2004. Software. |
|
12 | Timo Latvala and Heikki Tauriainen. Improved on-the-fly verification with testers. Nordic Journal of Computing, 11(2):148–164, 2004. |
|
11 | Timo Latvala and Marko Mäkelä. LTL model checking for modular Petri nets. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004., volume 3099 of LNCS, pages 298–311, 2004. |
|
10 | Tommi A. Junttila. New canonical representative marking algorithms for place/transition-nets. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science, pages 258–277. Springer, 2004. |
|
9 | Tommi A. Junttila. New orbit algorithms for data symmetries. In Application of Concurrency to System Design 2004, pages 175–184. IEEE, 2004. |
|
8 | Toni Jussila. Efficient bounded reachability through iterative strengthening. In Concurrency, Specification and Programming CS&P'2004, 2004. |
|
7 | Tomi Janhunen and Ilkka Niemelä. GnT – a solver for disjunctive logic programs. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 331–335, Fort Lauderdale, Florida, 2004. Springer-Verlag. LNAI 2923. |
|
6 | Tomi Janhunen and Emilia Oikarinen. lpeq and dlpeq – translators for automated equivalence testing of logic programs. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 336–340, Fort Lauderdale, Florida, 2004. Springer-Verlag. LNAI 2923. |
|
5 | Tomi Janhunen and Patrik Simons. GnT 2.1 — A tool for computing stable models for disjunctive logic programs. http://www.tcs.hut.fi/Software/gnt/, 2004. Computer Program. |
|
4 | Ville Nuorvala, Henrik Petander, and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 2.0 rc1, 2004. |
|
3 | Ville Nuorvala, Henrik Petander, and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 1.1, 2004. |
|
2 | Zhijian Yuan and Erkki Oja. A fastica algorithm for non-negative independent component analysis. In Proceedings of the Fifth International Symposium on Independent Component Analysis and Blind Signal Separation, volume 3195, pages 1–8. Springer, 2004. |
|
1 | Igor Beliaev, Robert Kozma, and Amaury Lendasse. Robust time series prediction using KIII model. In IDS04 Symposium, FedEx Institute of Technology (FIT), University of Memphis, TN, USA, pages April 24–26, Published 2004. |
|