179 | Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Research Report A83, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. |
|
178 | Johan Wallén. On the differential and linear properties of addition. Research Report A84, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. |
|
177 | Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Research Report A85, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. |
|
176 | Tommi Syrjänen. Logic programming with cardinality constraints. Research Report A86, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. |
|
175 | Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003. |
|
174 | Mikko Kurimo and Krista Lagus. Retrieving a user language model from an unsupervised document map. In Machine Learning Meets the User Interface, A workshop at NIPS 2003, Whistler, Canada, December 2003. |
|
173 | Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003. |
|
172 | Seppo Ovaska, Olli Vainio, and Matti Pöllä. Adaptive filtering using multiplicative general parameters for zero-crossing detection. IEEE Transactions on Industrial Electronics, 50(6):1340–1342, December 2003. |
|
171 | Jiří Šíma and Pekka Orponen. General purpose computation with neural networks: A survey of complexity theoretic results. Neural Computation, 15(12):2727–2778, December 2003. |
|
170 | Timo Honkela and Juha Winter. Simulating language learning in community of agents using self-organizing maps. Computer and Information Science Report A71, Helsinki University of Technology, Helsinki, Finland, December 2003. |
|
169 | Marko Mäkelä. Efficient computer-aided verification of parallel and distributed software systems. Research Report A81, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003. Doctoral dissertation. |
|
168 | Tomi Janhunen. Translatability and intranslatability results for certain classes of logic programs. Research Report A82, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003. |
|
167 | Catharina Candolin. Privacy issues in network-centric warfare. In Proceedings of the 4th Australian Information Warfare & IT Security Conference, Adelaide, Australia, November 2003. |
|
166 | Catharina Candolin. Privacy issues in network-centric warfare. In Proceedings of the 4th Australian Information Warfare & IT Security Conference, Adelaide, Australia, November 2003. |
|
165 | Ilkka Niemelä. Answer set programming: an approach to declarative problem solving. In Proceedings of the Eighth Scandinavian Conference on Artificial Intelligence, pages 189–191, Bergen, Norway, November 2003. IOS Press. Extended abstract of a key note talk. |
|
164 | J. Saarela, Jaakko Hollmén, D. Chen, P. Tainola, A. Jokiaho, A. Palotie, Heikki Mannila, and L. Peltonen. Inheritance of expression profiles: A family based analysis reveals higher similarity in the gene expression profiles of related individuals. In Poster presentation at the Annual Meeting of thre American Society of Human Genetics (ASHG), November 2003. |
|
163 | Simon Dablemont, Geoffroy Simon, Amaury Lendasse, Alain Ruttiens, and Michel Verleysen. Financial time series forecasting by double SOM maps and local RBF models forecasting the DAX30 index. In ACSEG 2003, Rencontre Internationale sur les Approches Connexionnistes en Sciences Economiques et de Gestion, Nantes (France), pages 153–164, November 20-21 2003. |
|
162 | Damien François, Amaury Lendasse, Benoit Gailly, Vincent Wertz, and Michel Verleysen. Are business plans usefull for investors ?. In ACSEG 2003, Connectionist Approaches in Economics and Management Sciences, Nantes (France), pages 239–249, November 20-21 2003. |
|
161 | Michel Verleysen and Amaury Lendasse. Le test des méthodes neuronales – ou comment utiliser les techniques de rééchantillonnage pour ne pas se tromper de résultat. In ACSEG 2003 proceedings - Connectionist Approaches in Economics and Management Sciences, Nantes (France), pages 515–534, November 20-21 2003. |
|
160 | Pekka Orponen. Tietotekniikkaa ennen tietokoneita — Alan Turing ja tietotekniikan kiehtovat alkuvaiheet. Tietoa, pages 4–6, November 2003. |
|
159 | Satu Elisa Virtanen. Clustering the Chilean web. In Proceedings of the First Latin American Web Congress, pages 229–231, Los Alamitos, CA, USA, November 2003. IEEE Computer Society. |
|
158 | Catharina Candolin and Hannu H. Kari. An architecture for context aware management. In Proceedings of IEEE MILCOM 2003, Boston, Massachusetts, USA, October 2003. |
|
157 | Catharina Candolin and Hannu H. Kari. An architecture for context aware management. In Proceedings of IEEE MILCOM 2003, Boston, Massachusetts, USA, October 2003. |
|
156 | Ilkka Pyysiainen, Marjaana Lindeman, and Timo Honkela. Counterintuitiveness as the hallmark of religiosity. Religion, 33(4):341–355, October 2003. |
|
155 | Toni Jussila. Daa - a BMC tool translating LTSs to boolean circuits, October 2003. http://www.tcs.hut.fi/ tjussila/daa. |
|
154 | Tommi Junttila. On the symmetry reduction method for Petri nets and similar formalisms. Research Report A80, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2003. Doctoral dissertation. |
|
153 | Janne Lundberg and Catharina Candolin. Hierarchical multicast caching. In Proceedings of IEEE 9th Asia-Pacific conference on communications, Penang, Malaysia, September 2003. |
|
152 | Janne Lundberg and Catharina Candolin. Hierarchical multicast caching. In Proceedings of IEEE 9th Asia-Pacific conference on communications, Penang, Malaysia, September 2003. |
|
151 | Federico Montesino-Pouzols. Internet multimedia systems architecture/arquitectura de los sistemas multimedia de internet. Boletín de la Red Nacional de I+D RedIRIS, 1(65):23–32, September 2003. |
|
150 | Jorma Laaksonen, Markus Koskela, and Erkki Oja. Probability interpretation of distributions on SOM surfaces. In Proceedings of Workshop on Self-Organizing Maps (WSOM'03), pages 77–82, Hibikino, Kitakyushu, Japan, September 2003. |
|
149 | Ville Viitaniemi and Jorma Laaksonen. Content-based browsing of mail-order catalogue with PicSOM system. In Proceedings of the Ninth International Conference on Distributed Multimedia Systems / The 2003 Conference on Visual Information Systems (VIS'2003), pages 381–386, Miami, FL, USA, September 2003. |
|
148 | Simon Dablemont, Geoffroy Simon, Amaury Lendasse, Alain Ruttiens, François Blayo, and Michel Verleysen. Time series forecasting with SOM and local non-linear models - application to the DAX30 index prediction. In Proceedings of the Workshop on Self-organizing Maps, pages 340–345, Hibikino, Japan, September 11-14 2003. |
|
147 | Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, and Michel Verleysen. Double SOM for long-term time series prediction. In WSOM 2003, Workshop on Self-Organizing Maps, pages 35–40, Hibikino, Japan, September 11-14 2003. |
|
146 | Geoffroy Simon, Amaury Lendasse, Marie Cottrell, and Michel Verleysen. Long-term time series forecasting using self-organizing maps: the double vector quantization method. In ANNPR 2003, Artificial Neural Networks in Pattern Recognition, Florence (Italy), pages 8–14, September 12-13 2003. |
|
145 | Jiří Šíma and Pekka Orponen. Exponential transients in continuous-time Liapunov systems. Theoretical Computer Science, 306(1–3):353–372, September 2003. |
|
144 | Mika Sulkava and Jaakko Hollmén. Finding profiles of forest nutrition by clustering of the self-organizing map. In Proceedings of the Workshop on Self-Organizing Maps (WSOM'03), pages 243–248, Kitakyushu, Japan, September 2003. |
|
143 | Juha Vesanto, Mika Sulkava, and Jaakko Hollmén. On the decomposition of the self-organizing map distortion measure. In Proceedings of the Workshop on Self-Organizing Maps (WSOM'03), pages 11–16, Kitakyushu, Japan, September 2003. |
|
142 | Vesa Siivola, Teemu Hirsimäki, Mathias Creutz, and Mikko Kurimo. Unlimited vocabulary speech recognition based on morphs discovered in an unsupervised manner. In Proceedings of the 8th European Conference on Speech Communication and Technology (EUROSPEECH), pages 2293–2296, Geneva, Switzerland, September 2003. |
|
141 | Tomi Janhunen. A counter-based approach to translating normal logic programs into sets of clauses. In Marina de Vos and Alessandro Provetti, editors, Answer Set Programming: Advances in Theory and Implementation, pages 166–180, Messina, Sicily, September 2003. CEUR. http://ceur-ws.org/Vol-78/. |
|
140 | Janne Lundberg and Catharina Candolin. Mobility in the host identity protocol (hip). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003. |
|
139 | Janne Lundberg and Catharina Candolin. Mobility in The Host Identity Protocol (HIP). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003. |
|
138 | Janne Lundberg and Catharina Candolin. Mobility in the host identity protocol (hip). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003. |
|
137 | Gerd Brewka, Ilkka Niemelä, and Mirosław Truszczyński. Answer set optimization. In Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 867–872. Morgan Kaufmann Publishers, August 2003. |
|
136 | Janne Lundberg and Catharina Candolin. Mobility in The Host Identity Protocol (HIP). In Proceedings of the International Symposium on Telecommunications (IST2003), Isfahan, Iran, August 2003. |
|
135 | Kristian Kersting, Tapani Raiko, and Luc De Raedt. A structural GEM for learning logical hidden markov models. In S. Dzeroski, L. De Raedt, and S. Wrobel, editors, Working notes of the Second KDD-Workshop on Multi-Relational Data Mining, MRDM-03, Washington DC, USA, August 2003. |
|
134 | Heikki Tauriainen. Nested emptiness search for generalized Büchi automata. Research Report A79, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2003. |
|
133 | Catharina Candolin and Hannu Kari. Ad hoc network routing based on incomplete trust. In Proceedings of The 7th Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, USA, July 2003. |
|
132 | Petri Puhakainen, Catharina Candolin, and Hannu H. Kari. Using adaptive decision making based on incomplete trust in electronic commerce. In Proceedings of the 7th WSEAS International Conference on Communications (ICCON), Corfu, Greece, July 2003. |
|
131 | Miika Komu, Mika Kousa, Janne Lundberg, and Catharina Candolin. An implementation of hip for linux. In Proceedings of Ottawa Linux Symposium, Ottawa, Canada, July 2003. |
|
130 | Catharina Candolin and Hannu Kari. Ad hoc network routing based on incomplete trust. In Proceedings of The 7th Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, USA, July 2003. |
|
129 | Petri Puhakainen, Catharina Candolin, and Hannu H. Kari. Using adaptive decision making based on incomplete trust in electronic commerce. In Proceedings of the 7th WSEAS International Conference on Communications (ICCON), Corfu, Greece, July 2003. |
|
128 | Ilkka Niemelä. Answer set programming: From model computation to problem solving. In Proceedings of CADE-19 Workshop on Model Computation — Principles, Algorithms, Applications, Miami, Florida, USA, July 2003. Extended abstract of an invited talk. |
|
127 | Miika Komu, Mika Kousa, Janne Lundberg, and Catharina Candolin. An implementation of hip for linux. In Proceedings of Ottawa Linux Symposium, Ottawa, Canada, July 2003. |
|
126 | Mika Rummukainen, Jorma Laaksonen, and Markus Koskela. An efficiency comparison of two content-based image retrieval systems, GIFT and PicSOM. In Proceedings of International Conference on Image and Video Retrieval (CIVR 2003), volume 2728, pages 500–509, Urbana, IL, USA, July 2003. Springer Verlag. |
|
125 | Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. In Proceedings of the 1st International Workshop on Bounded Model Checking, volume 89 of ENTCS, Boulder, CO, USA, July 2003. |
|
124 | Petteri Kaski. A census of Steiner triple systems and some related combinatorial objects. Research Report A78, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2003. |
|
123 | Kimmo Varpaaniemi, editor. Annual report for the year 2002. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, June 2003. |
|
122 | Catharina Candolin. A study of infrastructure warfare in relation to information warfare, net warfare, and network-centric warfare. In Proceedings of the 2nd European Conference on Information Warfare (ECIW'03), Reading, UK, June 2003. |
|
121 | Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Support for transparent multicast content distribution to mobile wireless clients. In Proceedings of the 2003 International Conference on Wireless Networks (ICWN 2003), Las Vegas, Nevada, USA, June 2003. |
|
120 | Marko Mäkelä. Model checking safety properties in modular high-level nets. In Wil M.P. van der Aalst and Eike Best, editors, Application and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, number 2679 in Lecture Notes in Computer Science, pages 201–220, Eindhoven, The Netherlands, June 2003. Springer-Verlag, Berlin, Germany. |
|
119 | Catharina Candolin. A study of infrastructure warfare in relation to information warfare, net warfare, and network-centric warfare. In Proceedings of the 2nd European Conference on Information Warfare (ECIW'03), Reading, UK, June 2003. |
|
118 | Salla Ruosaari and Jaakko Hollmén. Identifying differentially expressed genes. In Proceedings of the TICSP Workshop on Computational Systems Biology, Tampere, Finland, June 2003. |
|
117 | Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Support for transparent multicast content distribution to mobile wireless clients. In Proceedings of the 2003 International Conference on Wireless Networks (ICWN 2003), Las Vegas, Nevada, USA, June 2003. |
|
116 | Mats Sjöberg, Jorma Laaksonen, and Ville Viitaniemi. Using image segments in PicSOM CBIR system. In Proceedings of 13th Scandinavian Conference on Image Analysis (SCIA 2003), volume 2749, pages 1106–1113, Halmstad, Sweden, June/July 2003. Springer Verlag. Available online at http://www.springerlink.com/content/65xgpgqc9cjquqcl/. |
|
115 | Markus Koskela, Jorma Laaksonen, and Erkki Oja. Inter-query relevance learning in PicSOM for content-based image retrieval. In Supplementary Proceedings of 13th International Conference on Artificial Neural Networks / 10th International Conference on Neural Information Processing (ICANN/ICONIP 2003), pages 520–523, Istanbul, Turkey, June 2003. |
|
114 | Tuomo Pyhälä and Keijo Heljanko. Specification coverage aided test selection. In Johan Lilius, Felice Balarin, and Ricardo J. Machado, editors, Proceeding of the 3rd International Conference on Application of Concurrency to System Design (ACSD'2003), pages 187–195, Guimaraes, Portugal, June 2003. IEEE Computer Society. |
|
113 | Pasi Lehtimäki, Kimmo Raivio, and Olli Simula. Self-organizing operator maps in complex system analysis. In Proceedings of the Joint 13th International Conference on Artificial Neural Networks and 10th International Conference on Neural Information Processing, pages 622–629, Istanbul, Turkey, June 26-29 2003. |
|
112 | Geoffroy Simon, Amaury Lendasse, and Michel Verleysen. Bootstrap for model selection: Linear approximation of the optimism. In J.R. Alvarez J. Mira, editor, IWANN 2003, International Work-Conference on Artificial and Natural Neural Networks, Mao, Menorca (Spain), volume 2686–1 of Lecture Notes in Computer Science, pages 182–189. Springer-Verlag, June 3-6 2003. |
|
111 | Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Model selection with cross-validations and bootstraps - application to time series prediction with RBFN models. In O. Kaynak, E. Alpaydin, E. Oja, and L. Xu, editors, ICANN 2003, Joint International Conference on Artificial Neural Networks, Istanbul (Turkey), volume 2714 of Lecture Notes in Computer Science, pages 573–580. Springer-Verlag, June 26-29 2003. |
|
110 | Dimitrios Gunopulos, Roni Khardon, Heikki Mannila, Sanjeev Saluja an Hannu Toivonen, and Ram Sewak Sharma. Discovering all most specific sentences. ACM Transactions on Database Systems, 28(2):140 – 174, June 2003. |
|
109 | K. Hacioglu, B. Pellom, T. Ciloglu, O. Ozturk, Mikko Kurimo, and M. Creutz. Word splitting for turkish lvcsr. In Turkish Signal Processing Conference (SIU 2003), June 2003. |
|
108 | Marko Mäkelä. Model checking safety properties in modular high-level nets. In Wil M.P. van der Aalst and Eike Best, editors, Application and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, number 2679 in Lecture Notes in Computer Science, pages 201–220, Eindhoven, The Netherlands, June 2003. Springer-Verlag, Berlin, Germany. |
|
107 | Janne Sinkkonen, Janne Nikkilä, Leo Lahti, and Samuel Kaski. Associative clustering by maximizing a Bayes factor. Publications in Computer and Information Science A68, Helsinki University of Technology, Espoo, Finland, June 2003. |
|
106 | Mika Sulkava. Identifying spatial and temporal profiles from forest nutrition data. Master's thesis, Helsinki University of Technology, Espoo, Finland, June 2003. |
|
105 | Satu Virtanen. Properties of nonuniform random graph models. Research Report A77, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2003. |
|
104 | Emilia Oikarinen. Logiikkaohjelmien ekvivalenssitestaus. In Ari Korhonen and Jorma Tarhio, editors, Tietojenkäsittelytieteen päivät 2003, pages 44–47, Espoo, Finland, May 2003. Yliopistopaino. In Finnish. |
|
103 | Salla Ruosaari and Jaakko Hollmén. Identifying differentially expressed genes with bootstrap-based testing. In Proceedings of Bioinformatics 2003, Helsinki, Finland, May 2003. |
|
102 | H. Wikman, K. Salmenkivi, J. Seppänen, E. Kettunen, K. Vainio-Siukola, Jaakko Hollmén, A. Karjalainen, S. Knuutila, and S. Anttila. Down-regulation of caveolin 1 and caveoliln 2 in lung cancer revealed by the combined use of cDNA and tissue microarrays. In Poster presentation at the ESF Program in functional genomics: 1st European Conference, Prague, Czech Republic, May 2003. |
|
101 | Matti Pöllä. Comparison of predictive FIR-based zero-crossing detection methods. In Proceedings of FINSIG'03 – 2003 Finnish Signal Processing Symposium, pages 87–90, Tampere, Finland, May 2003. |
|
100 | Toni Jussila. Otf - a BMC tool translating LTSs to boolean circuits, May 2003. |
|
99 | Alexander Ilin and Harri Valpola. On the effect of the form of the posterior approximation in variational learning of ICA models. In Proceedings of the 4th International Conference on Independent Component Analysis and Blind Signal Separation (ICA 2003), pages 915–920, Nara, Japan, April 2003. |
|
98 | Catharina Candolin and Hannu Kari. Distributing incomplete trust in wireless ad hoc networks. In Proceedings of IEEE Southeastcon 2003, Ocho Rios, St. Ann, Jamaica, April 2003. |
|
97 | Catharina Candolin and Hannu Kari. Distributing incomplete trust in wireless ad hoc networks. In Proceedings of IEEE Southeastcon 2003, Ocho Rios, St. Ann, Jamaica, April 2003. |
|
96 | Mikko Katajamaa and Jaakko Hollmén. Simulation model for gene expression data. In Rainer Spang, Patricia Béziat, and Martin Vingron, editors, Currents in Computational Molecular Biology 2003, pages 249–250, April 2003. Poster presentation at the Seventh Annual International Conference on Research in Computational Molecular Biology — RECOMB 2003. |
|
95 | Markus Koskela and Jorma Laaksonen. Using long-term learning to improve efficiency of content-based image retrieval. In Proceedings of Third International Workshop on Pattern Recognition in Information Systems (PRIS 2003), pages 72–79, Angers, France, April 2003. |
|
94 | Geoffroy Simon, Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Fast approximation of the bootstrap for model selection. In M. Verleysen, editor, ESANN 2003, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 99–106. d-side publ. (Evere, Belgium), April 23-25 2003. |
|
93 | Kimmo Raivio, Olli Simula, Jaana Laiho, and Pasi Lehtimäki. Analysis of mobile radio access network using the self-organizing map. In Proceedings of the International Symposium on Integrated Network Management, pages 439–451, Colorado Springs, Colorado, USA, March 24 - 28 2003. |
|
92 | Damien François, Benoit Gailly, Amaury Lendasse, Vincent Wertz, and Michel Verleysen. Should seed investors read business plans?. In 22th Benelux Meeting on Systems and Control, Lommel, Belgium, March 19-21 2003. |
|
91 | Amaury Lendasse, Geoffroy Simon, Vincent Wertz, and Michel Verleysen. Fast bootstrap for model structure selection. In 22th Benelux Meeting on Systems and Control, Lommel, Belgium, page 81, March 19-21 2003. |
|
90 | Jiří Šíma and Pekka Orponen. Continuous-time symmetric Hopfield nets are computationally universal. Neural Computation, 15(3):693–733, March 2003. |
|
89 | Satu Elisa Virtanen. Properties of nonuniform random graph models. Licentiate thesis, Helsinki University of Technology, Department of Computer Science and Engineering, March 2003. |
|
88 | Tomi Janhunen. Evaluating the effect of semi-normality on the expressiveness of defaults. Artificial Intelligence, 144(1–2):233–250, March 2003. |
|
87 | Kimmo Varpaaniemi. Towards ambitious approximation algorithms in stubborn set optimization. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 54(2–3):279–294, February 2003. IOS Press, Amsterdam, The Netherlands. |
|
86 | Kimmo Varpaaniemi. Towards ambitious approximation algorithms in stubborn set optimization. Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV), 54(2–3):279–294, February 2003. IOS Press, Amsterdam, The Netherlands. |
|
85 | Antti Honkela and Harri Valpola. On-line variational Bayesian learning. In Proc. of the 4th Int. Symp. on Independent Component Analysis and Blind Signal Separation (ICA2003), pages 803–808, Nara, Japan, 2003. Poster. |
|
84 | Antti Honkela, Harri Valpola, and Juha Karhunen. Accelerating cyclic update algorithms for parameter estimation by pattern searches. Neural Processing Letters, 17(2):191–203, 2003. |
|
83 | Harri Valpola, Erkki Oja, Alexander Ilin, Antti Honkela, and Juha Karhunen. Nonlinear blind source separation by variational Bayesian learning. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E86-A(3):532–541, 2003. |
|
82 | Vesa Siivola and Antti Honkela. A state-space method for language modeling. In IEEE Workshop on Automatic Speech Recognition and Understanding, pages 548–553, 2003. Poster. |
|
81 | Harri Valpola, Antti Honkela, Markus Harva, Alexander Ilin, Tapani Raiko, and Tomas Östman. Bayes Blocks software library, 2003. |
|
80 | Arto Klami. Regularized discriminative clustering. Master's thesis, Helsinki University of Technology, 2003. |
|
79 | Satu Virtanen. Properties of Nonuniform Random Graph Models. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
78 | Yki Kortesniemi. Managing the usage of authorisation certificates. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
77 | Teemu Tynjälä. Combining abstractions and reachability analysis: a case study of RLC protocol. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
76 | Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
75 | Tommi Syrjänen. Logic programming with cardinality constraints. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
74 | Tuomo Pyhälä. Specification-based test selection in formal conformance testing. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
73 | Shuqin Li-Kokko. An SPKI based secure multicast architecture with copyright protection. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
72 | Antti Järvinen. Smart card based configuration and authentication in mobile IPv6. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
71 | Teemu Vainio. The applicability of Bluetooth in ad hoc networks. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
70 | Niyue Chen. Enterprise portal as the enterprise integration solution. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
69 | Johan Wállen. On the differential and linear properties of addition. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
68 | Nikolaj Cankar. Model based testing using UML. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2003. |
|
67 | Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2003. |
|
66 | Evan Griffiths. Limit lemmas and jump inversion in the enumeration degrees. Archive for Mathematical Logic, 42(6), 2003. |
|
65 | Annikka Aalto, Nisse Husberg, and Kimmo Varpaaniemi. Automatic formal model generation and analysis of SDL. In Rick Reed and Jeanne Reed, editors, SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1–4, 2003, Proceedings, volume 2708 of Lecture Notes in Computer Science, pages 285–299. Springer-Verlag, Berlin, Germany, 2003. © Springer-Verlag Berlin Heidelberg 2003. |
|
64 | Kimmo Varpaaniemi. Modelling and analysing a PLC-based railway traffic control system. In Ludwik Czaja, editor, Concurrency, Specification and Programming: Proceedings of the CS&P'2003 Workshop, Czarna k. Ustrzyk Dolnych, Poland, September 25–27, 2003, Volume 2, pages 539–549. Zakład Graficzny UW, zam. 591/2003, Warsaw, Poland, 2003. |
|
63 | Johan Wallén. Linear approximations of addition modulo . In Fast Software Encryption 2003, volume 2887 of Lecture Notes in Computer Science, pages 261–273. Springer-Verlag, 2003. |
|
62 | Emilia Oikarinen. DLPEQ 1.9 — a tool for testing the equivalence of disjunctive logic programs, 2003. Computer Program. |
|
61 | Harri Haanpää and Patric R. J. Östergård. Classification of whist tournaments with up to 12 players. Discrete Applied Mathematics, 129:399–407, 2003. |
|
60 | Juha Tiihonen, Timo Soininen, Ilkka Niemelä, and Reijo Sulonen. A practical tool for mass-customising configurable products. In Proceedings of the 14th International Conference on Engineering Design, pages 1290–1299, 2003. |
|
59 | Jaakko Hollmén, Jouni K. Seppänen, and Heikki Mannila. Mixture models and frequent sets: combining global and local methods for 0-1 data. In Daniel Barbará and Chandrika Kamath, editors, Proceedings of the Third SIAM International Conference on Data Mining, pages 289–293. Society of Industrial and Applied Mathematics, 2003. |
|
58 | Johan Wallén. Linear approximations of addition modulo . In Fast Software Encryption 2003, volume 2887 of Lecture Notes in Computer Science, pages 261–273. Springer-Verlag, 2003. |
|
57 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. Poster in Machine Learning Meets User Interface, a workshop at NIPS 2003, 2003. Poster. |
|
56 | Tuomo Pyhälä and Keijo Heljanko. Bomotest: A formal conformance testing tool, version 1.5. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software. |
|
55 | Keijo Heljanko and Ilkka Niemelä. Bounded LTL model checking with stable models. Theory and Practice of Logic Programming, 3(4&5):519–550, 2003. Also available as (CoRR: arXiv:cs.LO/0305040). |
|
54 | Annikka Aalto, Nisse Husberg, and Kimmo Varpaaniemi. Automatic formal model generation and analysis of SDL. In Rick Reed and Jeanne Reed, editors, SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1–4, 2003, Proceedings, volume 2708 of Lecture Notes in Computer Science, pages 285–299. Springer-Verlag, Berlin, Germany, 2003. © Springer-Verlag Berlin Heidelberg 2003. |
|
53 | Kimmo Varpaaniemi. Modelling and analysing a PLC-based railway traffic control system. In Ludwik Czaja, editor, Concurrency, Specification and Programming: Proceedings of the CS&P'2003 Workshop, Czarna k. Ustrzyk Dolnych, Poland, September 25–27, 2003, Volume 2, pages 539–549. Zakład Graficzny UW, zam. 591/2003, Warsaw, Poland, 2003. |
|
52 | Amaury Lendasse, Damien François, Vincent Wertz, and Michel Verleysen. Nonlinear time series prediction by weighted vector quantization. In P.M.A. Sloot et al., editor, Computational Science — ICCS 2003, volume 2657–1 of Lecture Notes in Computer Science, pages 417–426. Springer Berlin / Heidelberg, January 2003. |
|
51 | Amaury Lendasse, John A. Lee, Eric de Bodt, Vincent Wertz, and Michel Verleysen. Approximation by Radial-Basis Function networks - Application to option pricing, volume 6 of Advances in Computational Management Science, C. Lesage and M. Cottrell editors, chapter 10 in Connectionist Approaches in Economics and Management Sciences, pages 203–214. Kluwer academic, 2003. |
|
50 | Amaury Lendasse. Analyse et prédiction de séries temporelles par méthodes non linéaires: Application à des données industrielles et financières. PhD thesis, Université catholique de Louvain, 2003. |
|
49 | Leo Lahti. Comparative functional genome analysis using associative clustering. Master's thesis, Helsinki University of Technology, 2003. (in Finnish). |
|
48 | Dmitry Pavlov, Heikki Mannila, and Padhraic Smyth. Beyond independence: probabilistic methods for query approximation on binary transaction data. IEEE Trans. Knowl. Data Eng, 15(6):1409–1421, 2003. |
|
47 | Aristides Gionis, Teija Kujala, and Heikki Mannila. Fragments of order. In ACM SIGKDD 2003, pages 129–136, 2003. |
|
46 | A. Leino, Heikki Mannila, and R.-L. Pitkanen. Rule discovery and probabilistic modeling for onomastic data. In PKDD 2003, pages 291–302, 2003. |
|
45 | Taneli Mielikainen and Heikki Mannila. The pattern ordering problem. In PKDD 2003, pages 327–338, 2003. |
|
44 | Jouni Seppanen, Ella Bingham, and Heikki Mannila. A simple algorithm for topic identification in 0-1 data. In PKDD 2003, pages 423–434, 2003. |
|
43 | Aristides Gionis and Heikki Mannila. Finding recurrent sources in sequences. In ACM ReCOMB 2003, pages 123–130, 2003. |
|
42 | K. Hacioglu, B. Pellom, T. Ciloglu, O. Ozturk, Mikko Kurimo, and M. Creutz. On lexicon creation for turkish lvcsr. In 8th European Conference on Speech Communication and Technology (Eurospeech), pages 1165–1168, 2003. |
|
41 | Markku-Juhani O. Saarinen. Cryptanalysis of block ciphers based on SHA1 and MD5. In Joan Daemen and Vincent Rijmen, editors, Fast Software Encryption, 10th International Workshop, FSE 2003, Lund, Sweden, February 24–26, 2003, Revised Papers, volume 2887 of Lecture Notes in Computer Science, pages 36–44. Springer, 2003. |
|
40 | Okyay Kaynak, Ethem Alpaydin, Erkki Oja, and Lei Xu, editors. Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, volume 2714 of Lecture Notes in Computer Science. Springer, 2003. |
|
39 | Matti Aksela, Ramunas Girdziusas, Jorma Laaksonen, Erkki Oja, and Jari Kangas. Methods for adaptive combination of classifiers with application to recognition of handwritten characters. IJDAR, 6(1):23–41, 2003. |
|
38 | Maria Funaro, Erkki Oja, and Harri Valpola. Independent component analysis for artefact separation in astrophysical images. Neural Networks, 16(3-4):469–478, 2003. |
|
37 | Te-Won Lee, Jean-Francois Cardoso, Erkki Oja, and Shun ichi Amari. Introduction to special issue on independent components analysis. Journal of Machine Learning Research, 4:1175–1176, 2003. |
|
36 | Sakari Seitz and Pekka Orponen. An efficient local search method for random 3-satisfiability. In Lefteris M. Kirousis and Evangelos Kranakis, editors, Proceedings of the IEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions (Ottawa, Canada, June 2003), volume 16 of Electronic Notes in Discrete Mathematics, Amsterdam, 2003. Elsevier. |
|
35 | Pekka Orponen. Mitä tietojenkäsittelyteoriaan kuuluu?. Tietojenkäsittelytiede, 19:15–28, 2003. |
|
34 | Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Multicast time maximization in energy constrained wireless networks. In Andrea Richa and Jennifer Welch, editors, Proceedings of the 2003 Joint Workshop on Foundations of Mobile Computing (DIALM-POMC'03, San Diego CA, September 2003), pages 50–58, New York NY, 2003. Association for Computing Machinery. |
|
33 | Panagiotis Papapetrou. Discovering aggregate usage profiles using clustering methods. B.Sc. Thesis, 2003. |
|
32 | Petteri Kaski, Luis B. Morales, Patric R. J. Östergård, David A. Rosenblueth, and Carlos Velarde. Classification of resolvable 2-(14,7,12) and 3-(14,7,5) designs. Journal of Combinatorial Mathematics and Combinatorial Computing, 47:65–74, 2003. |
|
31 | Kristian Kersting, Tapani Raiko, Stefan Kramer, and Luc De Raedt. Towards discovering structural signatures of protein folds based on logical hidden markov models. In Proceedings of the Pacific Symposium on Biocomputing, PSB-2003, pages 192–203, Kauai, Hawaii, January 2003. |
|
30 | Tapani Raiko, Harri Valpola, Tomas Östman, and Juha Karhunen. Missing values in hierarchical nonlinear factor analysis. In Proc. of the Int. Conf. on Artificial Neural Networks and Neural Information Processing (ICANN/ICONIP 2003), pages 185–189, Istanbul, Turkey, 2003. |
|
29 | J. Särelä and R. Vigário. A bayesian approach to overlearning in ICA: a comparison study. Technical Report A70, Helsinki University of Technology, Publications in Computer and Information Science, 2003. |
|
28 | J. Särelä and R. Vigário. Overlearning problem in high-order ICA: analysis and solutions. Journal of Machine Learning Research, 4:1447–1469, 2003. |
|
27 | R. Vigário, A. Ziehe, K.-R. Müller, G. Wübbeler, L. Trahms, B.-M. Mackert, G. Curio, V. Jousmäki, J. Särelä, and E. Oja. Blind decomposition of multimodal evoked responses and DC fields. In Exploratory Analysis and Data Modeling in Functional Neuroimaging, pages 163–191. Cambridge, MA: MIT Press, 2003. |
|
26 | R. Vigário and O. Jensen. Identifying cortical sources of corticomuscle coherence during bimanual muslce contraction by temporal decorrelation. In Proc. of the 7th Int. Symp. on Signal Proc. and its Applications (ISSPA'03), pages 109–112, Paris, France, 2003. |
|
25 | Samuel Kaski. Discriminative clustering. In Bulletin of the International Statistical Institute. Invited Paper Proceedings of the 54th Session, volume 2, pages 270–273. International Statistical Institute, 2003. |
|
24 | Samuel Kaski and Janne Nikkil?and Teuvo Kohonen. Methods for exploratory cluster analysis. In P. S. Szczepaniak, J. Segovia, J. Kacprzyk, and L. A. Zadeh, editors, Intelligent Exploration of the Web, pages 136–151, Heidelberg, 2003. Physica-Verlag. |
|
23 | Samuel Kaski, Janne Nikkilä, Merja Oja, Jarkko Venna, Petri Törönen, and Eero Castrén. Trustworthiness and metrics in visualizing similarity of gene expression. BMC Bioinformatics, 4(48), 2003. |
|
22 | Samuel Kaski and Jaakko Peltonen. Informative discriminant analysis. In Tom Fawcett and Nina Mishra, editors, Proceedings of ICML-2003, the Twentieth International Conference on Machine Learning, pages 329–336, Menlo Park, CA, 2003. AAAI Press. |
|
21 | Samuel Kaski and Janne Sinkkonen. Discriminative clustering: Vector quantization in learning metrics. In M. Schader, W. Gaul, and M. Vichi, editors, Between Data Science and Applied Data Analysis, pages 456–463, Berlin, 2003. Springer. |
|
20 | Samuel Kaski, Janne Sinkkonen, and Arto Klami. Regularized discriminative clustering. In Christophe Molina, Tülay Adali, Jan Larsen, Marc Van Hulle, Scott Douglas, and Jean Rouat, editors, Neural Networks for Signal Processing XIII, pages 289–298, New York, NY, 2003. IEEE. Poster. |
|
19 | Janne Nikkilä, Christophe Roos, Janne Sinkkonen, and Samuel Kaski. Associative clustering to find dependencies between expression profiles and transcription factor binding. In Catherine Christophe, Hans-Peter Lenhof, and Marie-France Sagot, editors, Proceedings of ECCB'2003, European Conference on Computational Biology, pages 433–434, 2003. |
|
18 | Merja Oja, Samuel Kaski, and Teuvo Kohonen. Bibliography of self-organizing map (SOM) papers: 1998–2001 addendum. Neural Computing Surveys, 3:1–156, 2003. Available in electronic form at http://www.soe.ucsc.edu/NCS/. |
|
17 | Merja Oja, Panu Somervuo, Samuel Kaski, and Teuvo Kohonen. Clustering of human endogenous retrovirus sequences with median self-organizing map. In Proceedings of WSOM'03, Workshop on Self-Organizing Maps, pages 134–139, Kitakyushu, Japan, 2003. Kyushu Institute of Technology. (Proceedings on CD-ROM). |
|
16 | Jaakko Peltonen, Arto Klami, and Samuel Kaski. Learning metrics for information visualization. In Proceedings of WSOM'03, Workshop on Self-Organizing Maps, pages 213–218, Kitakyushu, Japan, 2003. Kyushu Institute of Technology. (Proceedings on CD-ROM). |
|
15 | Jarkko Salojärvi, Samuel Kaski, and Janne Sinkkonen. Discriminative clustering in Fisher metrics. In O. Kaynak, E. Alpaydin, E. Oja, and L. Xu, editors, Artificial Neural Networks and Neural Information Processing—Supplementary proceedings ICANN/ICONIP, pages 161–164, 2003. |
|
14 | Jarkko Salojärvi, Ilpo Kojo, Jaana Simola, and Samuel Kaski. Can relevance be inferred from eye movements in information retrieval?. In Proceedings of WSOM'03, Workshop on Self-Organizing Maps, pages 261–266, Kitakyushu, Japan, 2003. Kyushu Institute of Technology. (Proceedings on CD-ROM). |
|
13 | Jarkko Saloj?vi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. In Machine Learning Meets the User Interface, A workshop at NIPS 2003, 2003. (2-page abstract). |
|
12 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. Publications in Computer and Information Science A73, Helsinki University of Technology, Espoo, Finland, 2003. |
|
11 | Jarkko Venna and Samuel Kaski. Visualizing high-dimensional posterior distributions in Bayesian modeling. In Artificial Neural Networks and Neural Information Processing—Supplementary proceedings ICANN/ICONIP, pages 165–168, 2003. |
|
10 | Jarkko Venna, Samuel Kaski, and Jaakko Peltonen. Visualizations for assessing convergence and mixing of MCMC. In N. Lavrac, D. Gamberger, H. Blockeel, and L. Todorovski, editors, Proceedings of ECML-2003, 14th European Conference on Machine Learning, pages 432–443, Berlin, 2003. Springer. Preprint postscript at http://www.cis.hut.fi/projects/mi/papers/ecml03.ps.gz. |
|
9 | Timo Honkela, Kevin I. Hynnä, and Tarja Knuuttila. Framework for modeling partial conceptual autonomy of adaptive and communicating agents. In Proceedings of Cognitive Science Conference, Boston, MA, 2003. |
|
8 | Timo Honkela, Jukka Honkela, Mikko Myyryläinen, and Ville Tuulos. Adaptive and visual map interface for document collections. In Adjunct Proceedings of Human-Computer Interaction International, pages 119–120, 2003. |
|
7 | Timo Honkela, Mikko Kurimo, Krista Lagus, Vuokko Lantz, and Erkki Oja. Unsupervised learning in human-computer interfaces. In Adjunct Proceedings of Human-Computer Interaction International, pages 121–122, 2003. |
|
6 | Timo Latvala. scheck1.1. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software. |
|
5 | Timo Latvala. Efficient model checking of safety properties. In T. Ball and S. Rajamani, editors, Model Checking Software. 10th International SPIN Workshop, pages 74–88. Springer, 2003. |
|
4 | Tomi Janhunen and Patrik Simons. GnT 2 — A tool for computing stable models for disjunctive logic programs. http://www.tcs.hut.fi/Software/gnt/, 2003. Computer Program. |
|
3 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. http://arxiv.org/abs/cs.AI/0303009, 2003. To appear in ACM Transactions on Computational Logic. |
|
2 | Ville Nuorvala, Henrik Petander, and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 1.0, 2003. |
|
1 | Ville Nuorvala. IPv6-in-IPv6 tunnel, 2003. |
|