217 | Federico Montesino-Pouzols and Angel Barriga. Medida y estimación activa de las prestaciones de la red. Boletín de la Red Nacional de I+D RedIRIS, 1(74–75):28–31, December 2005. |
|
216 | Sami Virpioja. New methods for statistical natural language modeling. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory of Computer and Information Science, December 2005. |
|
215 | Antti Autere. Extensions and applications of the algorithm. Research Report A98, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. Doctoral dissertation. |
|
214 | Misa Keinänen. Solving boolean equation systems. Research Report A99, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
213 | Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
212 | Hannu Kari Catharina Candolin, Janne Lundberg. Packet level authentication in military networks. In Proceedings of the 6th Australian Information Warfare & IT Security Conference, Geelong, Australia, November 2005. |
|
211 | Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
210 | Hannu Kari Catharina Candolin, Janne Lundberg. Packet level authentication in military networks. In Proceedings of the 6th Australian Information Warfare & IT Security Conference, Geelong, Australia, November 2005. |
|
209 | Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
208 | Ville Viitaniemi and Jorma Laaksonen. Keyword-detection approach to automatic image annotation. In Proceedings of 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (EWIMT 2005), pages 15–22, London, UK, November 2005. |
|
207 | Markus Koskela, Jorma Laaksonen, Mats Sjöberg, and Hannes Muurinen. PicSOM experiments in TRECVID 2005. In Proceedings of the TRECVID 2005 Workshop, pages 262–270, Gaithersburg, MD, USA, November 2005. Available online at http://www-nlpir.nist.gov/projects/tvpubs/tv.pubs.org.html. |
|
206 | Sven Laur and Kaisa Nyberg. Efficient mutual data authentication using manually authenticated strings. Report 2005/424, Cryptology ePrint Archive, November 2005. |
|
205 | Amaury Lendasse, Damien François, Vincent Wertz, and Michel Verleysen. Nonparametric noise estimation to build nonlinear model in chemometry. In Chimiométrie 2005, Villeneuve d'Ascq (France), pages 143–146, November 30 - December 1 2005. |
|
204 | Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Exact and approximate balanced data gathering in energy-constrained sensor networks. Theoretical Computer Science, 344(1):30–46, November 2005. |
|
203 | Sebastiaan Luyssaert, Mika Sulkava, Hannu Raitio, and Jaakko Hollmén. Are N and S deposition altering the chemical composition of Norway spruce and Scots pine needles in Finland?. Environmental Pollution, 138(1):5–17, November 2005. |
|
202 | Alexander Ilin and Harri Valpola. On the effect of the form of the posterior approximation in variational learning of ICA models. Neural Processing Letters, 22(2):183–204, October 2005. |
|
201 | Alexander Ilin and Harri Valpola. Frequency-based separation of climate signals. In Proceedings of the 9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2005), pages 519–526, Porto, Portugal, October 2005. |
|
200 | Antti Sorjamaa. Strategies for the long-term prediction of time series using local models. Master's thesis, Helsinki University of Technology, October 14 2005. Master Thesis obtained with the grade 5. |
|
199 | Toni Jussila. On bounded model checking of asynchronous systems. Research Report A97, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2005. Doctoral dissertation. |
|
198 | Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing – ICTAC 2005, volume 3722 of Lecture Notes in Computer Science, pages 545–558. Springer-Verlag, October 2005. |
|
197 | Matthieu Molinier, Jorma Laaksonen, Jussi Ahola, and Tuomas Häme. Self-organizing map application for retrieval of man-made structures in remote sensing data. In Proceedings of ESA-EUSC 2005: Image Information Mining – Theory and Application to Earth Observation, Frascat, Italy, October 2005. |
|
196 | Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing – ICTAC 2005, volume 3722 of Lecture Notes in Computer Science, pages 545–558. Springer-Verlag, October 2005. |
|
195 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. MathSAT: Tight integration of SAT and mathematical decision procedures. Journal of Automated Reasoning, 35(1–3):265–293, October 2005. |
|
194 | Antti Sorjamaa, Jin Hao, and Amaury Lendasse. Mutual information and k-nearest neighbors approximator for time series predictions. In W. Duch at al., editor, LNCS - Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, volume 3697/2005 of Lecture Notes in Computer Science, pages 553–558. Springer Berlin / Heidelberg, September 11-15 2005. |
|
193 | Heikki Tauriainen. A note on the worst-case memory requirements of generalized nested depth-first search. Research Report A96, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2005. |
|
192 | Emilia Oikarinen and Tomi Janhunen. CIRC2DLP — translating circumscription into disjunctive logic programming. In Chitta Baral, Gianluigi Grego, Nicola Leone, and Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 3662 of Lecture Notes in Artificial Intelligence, pages 405–409, Diamante, Italy, September 2005. Springer-Verlag. System Description. |
|
191 | Francesco Corona and Amaury Lendasse. Input selection and function approximation using the self-organizing map: An application to spectrometric modeling. In Proceedings of WSOM 2005 International Workshop on Self-Organizing Maps, Paris (France), pages 653–660, September 5-8 2005. |
|
190 | Mats Sjöberg and Jorma Laaksonen. Content-based retrieval of web pages and other hierarchical objects with Self-Organizing Maps. In Proceedings of 15th International Conference on Artificial Neural Networks (ICANN 2005), pages 841–846, Warsaw, Poland, September 2005. Available online at http://dx.doi.org/10.1007/11550907_133. |
|
189 | Pasi Lehtimäki and Kimmo Raivio. A knowledge-based model for analyzing GSM network performance.. In Proceedings of The 6th International Symposium on Intelligent Data Analysis (IDA), pages 204–215, Madrid, Spain, September 8 - 10 2005. Poster. |
|
188 | Krista Lagus, Mathias Creutz, and Sami Virpioja. Latent linguistic codes for morphemes using Independent Component Analysis. In A. Cangelosi, G. Bugmann, and R. Borisyuk, editors, Modeling language, cognition and action: Proceedings of the Ninth Neural Computation and Psychology Workshop (NCPW9), September 2005. |
|
187 | Amaury Lendasse, Yongnan Ji, Nima Reyhani, and Michel Verleysen. LS-SVM hyperparameter selection with a nonparametric noise estimator. In W. Duch et al., editor, ICANN05, International Conference on Artificial Neural Networks, Artificial Neural Networks: Formal Models and Their Applications, volume 3697 of Lecture Notes in Computer Science, pages 625–630, September 11-15 2005. |
|
186 | Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, and Michel Verleysen. Time series forecasting: Obtaining long term trends with self-organizing maps. Pattern Recognition Letters, 26(12):1795–1808, September 2005. |
|
185 | S. Broman and Mikko Kurimo. Methods for combining language models in speech recognition. In 9th European Conference on Speech Communication and Technology, pages 1317–1320, September 2005. |
|
184 | Mikko Kurimo and V. Turunen. To recover from speech recognition errors in spoken document retrieval. In 9th European Conference on Speech Communication and Technology, pages 605–608, September 2005. |
|
183 | Matti Järvisalo. rgen — a SAT benchmark generator, September 2005. Computer program. |
|
182 | Nima Reyhani Amaury Lendasse, Yongnan Ji and Michel Verleysen. LS-SVM hyperparameter selection with a nonparametric noise estimator. In E. Oja S. Zadroznyeds W. Duch, J. Kacprzyk, editor, ICANN05, International Conference on Artificial Neural Networks, Artificial Neural Networks: Formal Models and Their Applications, volume 3697 of Lecture Notes in Computer Science, pages 625–630, September 11-15 2005. |
|
181 | Tapani Raiko. Nonlinear relational Markov networks with an application to the game of Go. In Proceedings of the International Conference on Artificial Neural Networks (ICANN 2005), pages 989–996, Warsaw, Poland, September 2005. |
|
180 | Mika Sulkava, Pasi Rautio, and Jaakko Hollmén. Combining measurement quality into monitoring trends in foliar nutrient concentrations. In Włodzisław Duch, Janusz Kacprzyk, Erkki Oja, and Sławomir Zadrozny, editors, Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Proceedings, Part II, volume 3697 of Lecture Notes in Computer Science, pages 761–767, Warsaw, Poland, September 2005. Springer-Verlag. |
|
179 | Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, and Richard Tichy. Platypus: A platform for distributed answer set solving. In Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina, editors, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 227–239, Diamante, Italy, September 2005. Springer-Verlag. |
|
178 | Alexander Ilin, Harri Valpola, and Erkki Oja. Semiblind source separation of climate data detects El Ni no as the component with the highest interannual variability. In Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2005), pages 1722–1727, Montréal, Québec, Canada, August 2005. |
|
177 | Timo Latvala. Automata-theoretic and bounded model checking for linear temporal logic. Research Report A95, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005. Doctoral dissertation. |
|
176 | Francesco Corona, Alberto Servida, and Stefania Tronci. Analysis and monitoring of air emissions using neural techniques. In Proceedings of EANN 2005 International Conference on Engineering Applications of Neural Networks, Lille (France), pages 101–108, August 24-26 2005. |
|
175 | Zhirong Yang and Jorma Laaksonen. Partial relevance in interactive facial image retrieval. In Proceedings of 3rd International Conference on Advances in Pattern Recognition (ICAPR 2005), pages 216–225, Bath, UK, August 2005. |
|
174 | Matti Pöllä and Timo Honkela. Self-organizing neural network models for state anticipatory systems. In D. Dubois, editor, Computing Anticipatory Systems (CASYS'05), Liège, Belgium, August 2005. American Institute of Physics, Woodbury, New York. Received Best Paper Award. |
|
173 | Kimmo Varpaaniemi, editor. Annual report for the year 2004. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, July 2005. |
|
172 | Catharina Candolin. Ensuring decision making during information operations. In Proceedings of the 4th European Conference on Information Warfare (ECIW'05), University of Glamorgan, Wales, UK, July 2005. |
|
171 | Catharina Candolin. Ensuring decision making during information operations. In Proceedings of the 4th European Conference on Information Warfare (ECIW'05), University of Glamorgan, Wales, UK, July 2005. |
|
170 | Emilia Oikarinen. Translating parallel circumscription into disjunctive logic programming. In ICCL Summer School Student Workshop 2005, Dresden, Germany, July 2005. TU Dresden. |
|
169 | Gerd Brewka, Ilkka Niemelä, and Mirosław Truszczyński. Prioritized component systems. In Proceedings of the Twentieth National Conference on Artificial Intelligence, pages 596–601. AAAI Press, July 2005. |
|
168 | Markus Koskela and Jorma Laaksonen. Semantic annotation of image groups with Self-Organizing Maps. In Proceedings of 4th International Conference on Image and Video Retrieval (CIVR 2005), pages 518–527, Singapore, July 2005. |
|
167 | Keijo Heljanko, Tommi Junttila, and Timo Latvala. Incremental and complete bounded model checking for full PLTL. In Kousha Etessami and Sriram K. Rajamani, editors, Proceedings of the 17th International Conference on Computer Aided Verification (CAV'2005), volume 3576 of Lecture Notes in Computer Science, pages 98–111, Edinburgh, Scotland, United Kingdom, July 2005. Springer-Verlag. |
|
166 | Mikko Kurimo and V. Turunen. Retrieving speech correctly despite the recognition errors. In 2nd Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms, July 2005. |
|
165 | Markus Harva, Tapani Raiko, Antti Honkela, Harri Valpola, and Juha Karhunen. Bayes Blocks: An implementation of the variational Bayesian building blocks framework. In Proc. of the 21st Conf. on Uncertainty in Artificial Intelligence (UAI 2005), pages 259–266, Edinburgh, Scotland, July 2005. |
|
164 | Kristian Kersting and Tapani Raiko. 'say EM' for selecting probabilistic models for logical sequences. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, UAI 2005, pages 300–307, Edinburgh, Scotland, July 2005. |
|
163 | Sergey Borisov, Alexander Ilin, Ricardo Vigário, and A. Kaplan. Source localization of low- and high-amplitude alpha activity: A segmental and DSS analysis. In Proceedings of the 11th Annual Meeting of Organization for Human Brain Mapping, Toronto, Canada, June 2005. |
|
162 | Antti Sorjamaa, Nima Reyhani, and Amaury Lendasse. Input and structure selection for k-NN approximator. In Francisco Sandoval Joan Cabestany, Alberto Prieto, editor, LNCS - Computational Intelligence and Bioinspired Systems - IWANN 2005, volume 3512/2005 of Lecture Notes in Computer Science, pages 985–992. Springer Berlin / Heidelberg, June 2005. |
|
161 | Petteri Kaski. Algorithms for classification of combinatorial objects. Research Report A94, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2005. Doctoral dissertation. |
|
160 | Angel Barriga, Santiago Sánchez-Solano, Iluminada Baturone, Franciso Moreno-Velo, Piedad Brox, Federico Montesino-Pouzols, Nashaat Hussein, María Brox, and Andrés Gersnoviez. Fuzzy logic activities at the microelectronics institute of seville. In XVI Italian Workshop on Neural Networks (WIRN2005), volume 3391 of Lecture Notes in Computer Science, pages 157–162, Salerno, Italy, June 2005. |
|
159 | Harri Haanpää and Petteri Kaski. The near resolvable 2-(13, 4, 3) designs and thirteen-player whist tournaments. Designs, Codes and Cryptography, 35(3):271–285, June 2005. |
|
158 | Catherine Bounsaythip, Erno Lindfors, Peddinti V. Gopalacharyulu, Jaakko Hollmén, and Matej Orešic. Network-based representation of biological data for enabling context-based mining. In Proceedings of KRBIO'05, International Symposium of the Knowledge Representation in Bioinformatics, pages 1–6, June 2005. |
|
157 | Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors. Proceedings of KRBIO'05, International Symposium of the Knowledge Representation in Bioinformatics. Helsinki University of Technology, June 2005. Espoo, Finland. |
|
156 | Jarkko Tikka, Jaakko Hollmén, and Amaury Lendasse. Input Selection for Long-Term Prediction of Time Series. In Joan Cabestany, Alberto Prieto, and Francisco Sandoval, editors, Proceedings of the 8th International Work-Conference on Artificial Neural Networks (IWANN 2005), volume 3512 of Lecture Notes in Computer Science, pages 1002–1009. Springer-Verlag, June 2005. Vilanova i la Geltú, Barcelona, Spain. |
|
155 | Jaakko J. Väyrynen and Timo Honkela. Comparison of independent component analysis and singular value decomposition in word context analysis. In Timo Honkela, Ville Könönen, Matti Pöllä, and Olli Simula, editors, Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, pages 135–140. Helsinki University of Technology, Laboratory of Computer and Information Science, June 2005. |
|
154 | Jorma Laaksonen, Ville Viitaniemi, and Markus Koskela. Emergence of semantic concepts in visual databases. In Proceedings of International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR 05), pages 127–134, Espoo, Finland, June 2005. |
|
153 | Jorma Laaksonen, Ville Viitaniemi, and Markus Koskela. Application of Self-Organizing Maps and automatic image segmentation to 101 object categories database. In Proceedings of Fourth International Workshop on Content-Based Multimedia Indexing (CBMI 2005), Riga, Latvia, June 2005. |
|
152 | Zhirong Yang and Jorma Laaksonen. Approximated classification in interactive facial image retrieval. In Proceedings of 14th Scandinavian Conference on Image Analysis (SCIA 2005), pages 770–779, Joensuu, Finland, June 2005. |
|
151 | Keijo Heljanko and Alin Stefanescu. Complexity results for checking distributed implementability. In Jörg Desel and Yosinori Watanabe, editors, Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD'2005), pages 78–87, St Malo, France, June 2005. IEEE Computer Society. |
|
150 | Pasi Lehtimäki and Kimmo Raivio. A SOM based approach for visualization of GSM network performance data. In Proceedings of The 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE), pages 588–598, Bari, Italy, June 22 - 25 2005. |
|
149 | Krista Lagus, Esa Alhoniemi, Jeremias Seppä, Antti Honkela, and Paul Wagner. Independent variable group analysis in learning compact representations for data. In Timo Honkela, Ville Könönen, Matti Pöllä, and Olli Simula, editors, Proceedings of the International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR'05), pages 49–56, Espoo, Finland, June 2005. |
|
148 | Mathias Creutz and Krista Lagus. Inducing the morphological lexicon of a natural language from unannotated text. In Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, pages 106–113, Espoo, Finland, June 2005. |
|
147 | Jarkko Tikka, Jaakko Hollmén, and Amaury Lendasse. Input selection for long-term prediction of time series. In Francisco Sandoval Joan Cabestany, Alberto Prieto, editor, Computational Intelligence and Bioinspired Systems: 8th International Workshop on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltra, Barcelona, Spain, volume 3512 of Lecture Notes in Computer Science, pages 1002–1009. Springer-Verlag GmbH, June 2005. |
|
146 | Yongnan Ji, Jin Hao, Nima Reyhani, and Amaury Lendasse. Direct and recursive prediction of time series using mutual information selection. In J. Cabestany et al., editor, Computational Intelligence and Bioinspired Systems: 8th International Workshop on Artificial Neural Networks, IWANN'05, Vilanova i la Geltra, Barcelona, Spain, volume 3512 of Lecture Notes in Computer Science, pages 1010–1017. Springer-Verlag GmbH, June 8-10 2005. |
|
145 | Matti Pöllä, Tiina Lindh-Knuutila, and Timo Honkela. Self-refreshing SOM as a semantic memory model. In Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, pages 171–174, Espoo, Finland, June 2005. |
|
144 | Nima Reyhani Antti Sorjamaa and Amaury Lendasse. Input and structure selection for k-NN approximator. In Francisco Sandoval Joan Cabestany, Alberto Prieto, editor, LNCS - Computational Intelligence and Bioinspired Systems - IWANN 2005, volume 3512/2005 of Lecture Notes in Computer Science, pages 985–992. Springer Berlin / Heidelberg, June 2005. |
|
143 | Nima Reyhani Yongnan Ji, Jin Hao and Amaury Lendasse. Direct and recursive prediction of time series using mutual information selection. In Computational Intelligence and Bioinspired Systems: 8th International Workshop on Artificial Neural Networks, IWANN'05, Vilanova i la Geltra, Barcelona, Spain, volume 3512 of Lecture Notes in Computer Science, pages 1010–1017. Springer-Verlag GmbH, June 8-10 2005. |
|
142 | Oskar Kohonen, Sakari Katajamäki, and Timo Honkela. In search for volta: Statistical analysis of word patterns in shakespeare's sonnets. In Ann Russell, Timo Honkela, Krista Lagus, and Matti Pöllä, editors, Proceedings of AMKLC'05, International Symposium on Adaptive Models of Knowledge, Language and Cognition, pages 44–47, Espoo, Finland, June 2005. Poster. |
|
141 | Sakari Seitz, Mikko Alava, and Pekka Orponen. Focused local search for random 3-satisfiability. Journal of Statistical Mechanics: Theory and Experiment, P06006:1–27, June 2005. |
|
140 | Jiří Šíma and Satu Elisa Schaeffer. On the np-completeness of some graph cluster measures. Technical Report cs.CC/0506100, arXiv.org e-Print archive, http://arxiv.org/, June 2005. |
|
139 | Teemu Hirsimäki, Mathias Creutz, Vesa Siivola, and Mikko Kurimo. Morphologically motivated language models in speech recognition. In Proceedings of the International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning (AKRR05), pages 121–126, Espoo, Finland, June 2005. |
|
138 | Timo Honkela, Ville Könönen, Matti Pöllä, and Olli Simula, editors. Proceedings of AKRR'05, International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning. Helsinki University of Technology, Espoo, Finland, June 2005. |
|
137 | Ann Russell, Timo Honkela, Krista Lagus, and Matti Pöllä, editors. Proceedings of AMKLC'05, International Symposium on Adaptive Models of Knowledge, Language and Cognition. Helsinki University of Technology, Espoo, Finland, June 2005. |
|
136 | Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In Electronic Notes in Theoretical Computer Science, volume 133, pages 175–191. Elsevier, May 2005. |
|
135 | Francesco Corona, Stefania Tronci, Paolo Bragatto, Paolo Pittiglio, Alberto Servida, Claudio Codevico, and Roberto Baratti. Application of neural soft sensing techniques to emission monitoring from multiple combustion processes. In Chemical Engineering Transactions: Proceedings of ICHEAP7 International Conference on Chemical and Process Engineering, Giardini di Naxos (Italy), volume 6, pages 167–172. AIDIC, May 15-18 2005. |
|
134 | Zhirong Yang and Jorma Laaksonen. Interactive retrieval in facial image database using Self-Organizing Maps. In Proceedings of IAPR Conference on Machine Vision Applications (MVA 2005), pages 112–115, Tsukuba Science City, Japan, May 2005. |
|
133 | Jaana Laiho, Kimmo Raivio, Pasi Lehtimäki, Kimmo Hätönen, and Olli Simula. Advanced analysis methods for 3G cellular networks. IEEE Transactions on Wireless Communications, 4(3):930–942, May 2005. |
|
132 | Maarit Hietalahti. Cooperation in clustered ad hoc networks. In Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks Adhoc'05, Stockholm, Sweden, May 2005. |
|
131 | Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In Electronic Notes in Theoretical Computer Science, volume 133, pages 175–191. Elsevier, May 2005. |
|
130 | Matti Pöllä. Modeling anticipatory behavior with self-organizing neural networks. Master's thesis, Helsinki University of Technology, Espoo, Finland, May 2005. |
|
129 | Antti Sorjamaa, Amaury Lendasse, and Michel Verleysen. Pruned lazy learning models for time series prediction. In M. Verleysen, editor, ESANN05, European Symposium on Artificial Neural Networks, pages 509–514. d-side publ. (Evere, Belgium), April 27-29 2005. |
|
128 | Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005. |
|
127 | Mathias Creutz, Krista Lagus, Krister Lindén, and Sami Virpioja. Morfessor and Hutmegs: Unsupervised morpheme segmentation for highly-inflecting and compounding languages. In Proceedings of the Second Baltic Conference on Human Language Technologies, pages 107–112, April 2005. |
|
126 | Nima Reyhani, Jin Hao, Yongnan Ji, and Amaury Lendasse. Mutual information and gamma test for input selection. In M. Verleysen, editor, ESANN 2005, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 503–508. d-side publ. (Evere, Belgium), April 27-29 2005. |
|
125 | Misa Kristian Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, April 2005. |
|
124 | Yongnan Ji Nima Reyhani, Jin Hao and Amaury Lendasse. Mutual information and gamma test for input selection. In ESANN 2005, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 503–504, April 27-29 2005. |
|
123 | Evan Griffiths and Pekka Orponen. Optimization, block designs and No Free Lunch theorems. Information Processing Letters, 94(2):55–61, April 2005. |
|
122 | Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Infor mation (ICAI'05), Buenos Aires, Argentina, March 2005. |
|
121 | Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Information (ICAI'05), Buenos Aires, Argentina, March 2005. |
|
120 | Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Infor mation (ICAI'05), Buenos Aires, Argentina, March 2005. |
|
119 | Janne Lundberg, Catharina Candolin, and Hannu Kari. Multicast source authentication for limited devices. In Proceedings of International Conference on Automation and Information (ICAI'05), Buenos Aires, Argentina, March 2005. |
|
118 | Amaury Lendasse, Geoffroy Simon, Vincent Wertz, and Michel Verleysen. Fast bootstrap methodology for regression model selection. Neurocomputing, 64:161–181, March 2005. |
|
117 | Jarkko Ylipaavalniemi. Variability of independent components in functional magnetic resonance imaging. Master's thesis, Helsinki University of Technology, Espoo, Finland, March 2005. |
|
116 | Antti Honkela and Harri Valpola. Unsupervised variational Bayesian learning of nonlinear models. In L. Saul, Y. Weiss, and L. Bottou, editors, Advances in Neural Information Processing Systems 17, pages 593–600. MIT Press, Cambridge, MA, USA, 2005. Poster. |
|
115 | Antti Honkela, Tomas Östman, and Ricardo Vigário. Empirical evidence of the linear nature of magnetoencephalograms. In Proc. 13th European Symposium on Artificial Neural Networks (ESANN 2005), pages 285–290, Bruges, Belgium, 2005. |
|
114 | Antti Honkela. Advances in Variational Bayesian Nonlinear Blind Source Separation. PhD thesis, Helsinki University of Technology, Espoo, Finland, 2005. |
|
113 | Antti Ukkonen, Mikael Fortelius, and Heikki Mannila. Finding partial orders from unordered 0-1 data. In Proceedings of the 11th ACM Conference on Knowledge Discovery and Data Mining (KDD), pages 285–293. ACM, New York, NY, USA, 2005. |
|
112 | Janne Lundberg. A Wireless Multicast Delivery Architecture for Mobile Terminals. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
111 | Misa Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
110 | Ville Salmensuu. Feasibility of IPsec as a secure mobility management technology.. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
109 | Lasse Kiviluoto. Sperner capacity of directed graphs. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 2005. |
|
108 | Tommi Vainikainen. Applying graph rewriting to model transformations. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
107 | Anssi Rajaniemi. Verkkopankin toimintavarmuuden turvaaminen tietoverkon näkökulmasta. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
106 | Antti Hyvärinen. SATU: A system for distributed propositional satisfiability checking in computational GRIDs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
105 | Topi Pohjolainen. Model checking a client-server system with a scalable level of concurrency. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
104 | Stefano Marinoni. Performance of wireless ad hoc routing protocols — a simulation study in realistic environments. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
103 | Tuulia Kullberg. The effect of the access point selection method on reachability between a mobile ad hoc node and a fixed node. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
102 | Pauli Aho. Extending a generic constraint solver over polymorphic data. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
101 | Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005. |
|
100 | 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, Applications of Declarative Programming and Knowledge Management, volume 3392 of Lecture Notes in Computer Science, pages 134–148. Springer-Verlag, 2005. |
|
99 | Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005. |
|
98 | Kimmo Varpaaniemi. On stubborn sets in the verification of linear time temporal properties. Formal Methods in System Design, 26(1):45–67, January 2005. © 2005 Springer Science + Business Media, Inc. (Norwell, MA, USA; Dordrecht, The Netherlands; Berlin, Germany). |
|
97 | Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005. |
|
96 | Emilia Oikarinen. CIRC2DLP 1.1 — software for translating parallel circumscription to disjunctive logic programming, 2005. Computer Program. |
|
95 | Elena Czeizler and Eugen Czeizler. On the power of parallel communicating watson-crick automata systems. Technical Report TUCS 722, University of Turku, Dept. of Mathematics, TUCS, Turku, Finland, 2005. |
|
94 | Francesco Corona, Stefania Tronci, Paolo Bragatto, Paolo Pittiglio, Alberto Servida, Claudio Codevico, and Roberto Baratti. Application of neural soft sensing techniques to emission monitoring from multiple combustion processes. In AIDIC Conference Series, volume 7, pages 59–66. AIDIC, 2005. |
|
93 | Harri Haanpää. No 17-player triplewhist tournament has nontrivial automorphisms. Journal of Combinatorial Designs, 13:345–348, 2005. |
|
92 | Hannes Heikinheimo. Inferring taxonomic hierarchies from 0-1 data. Master's thesis, Helsinki University of Technology, 2005. |
|
91 | Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. Unrestricted vs restricted cut in a tableau method for Boolean circuits. Annals of Mathematics and Artificial Intelligence, 44(4):373–399, 2005. |
|
90 | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, , and Joost Vennekens, editors. 05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints, number 05171 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005. |
|
89 | Peddinti V. Gopalacharyulu, Erno Lindfors, Catherine Bounsaythip, Teemu Kivioja, Laxman Yetukuri, Jaakko Hollmén, and Matej Orešic. Data integration and visualization system for enabling conceptual biology. Bioinformatics, 21(Suppl.1):i177–i185, 2005. |
|
88 | Petri Kährä, Jaakko Hollmén, Satu Karling, Jaakko Kujala, Petri Kuosmanen, and Janne Lindqvist. Opinnäytetyön ohjaus teknillisessä korkeakoulussa. Technical Report 28/2005, Metrology Research Institute, Helsinki University of Technology, 2005. |
|
87 | E. Kettunen, A.G. Nicholson, B. Nagy, J.K. Seppänen, T. Ollikainen, G. Ladas, V. Kinnula, M. Dusmet, S. Nordling, Jaakko Hollmén, D. Kamel, P. Goldstraw, and S. Knuutila. L1CAM, INP10, P-cadherin, tPA and ITGB4 over-expression in malignant pleural mesotheliomas revealed by combined use of cDNA and tissue microarray. Carcinogenesis, 26(1):17–25, 2005. |
|
86 | Jaakko Väyrynen. Learning linguistic features from natural text data by independent component analysis. Master's thesis, Helsinki University of Technology, 2005. |
|
85 | Janne Lundberg, Catharina Candolin, and Hannu H. Kari. Multicast source authentication for limited devices. WSEAS Transactions on Computers, 4(4), 2005. |
|
84 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. On discriminative joint density modeling. In Machine Learning: ECML 2005, volume 3720/2005 of Lecture Notes in Computer Science, pages 341–352, Berlin / Heidelberg, 2005. Springer. |
|
83 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Implicit relevance feedback from eye movements. In Artificial Neural Networks: Biological Inspirations – ICANN 2005, volume 3696/2005 of Lecture Notes in Computer Science, pages 513–518, Berlin / Heidelberg, 2005. Springer. |
|
82 | Kai Puolamäki, Jarkko Salojärvi, Eerika Savia, Jaana Simola, and Samuel Kaski. Combining eye movements and collaborative filtering for proactive information retrieval. In Proceedings of the 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '05), pages 146–153, New York, NY, USA, 2005. ACM. |
|
81 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Expectation maximization algorithms for conditional likelihoods. In Proceedings of the 22nd International Conference on Machine Learning (ICML '05), pages 752–759, New York, NY, USA, 2005. ACM. |
|
80 | Eerika Savia ja Kai Puolamäki, Janne Sinkkonen, and Samuel Kaski. Two-way latent grouping model for user preference prediction. In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI '05), pages 518–525, 2005. |
|
79 | Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Planning as satisfiability: Parallel plans and algorithms for plan search. Technical Report 216, Institute of Computer Science, University of Freiburg, Freiburg, Germany, 2005. |
|
78 | Krista Lagus. Miten hermoverkkomallit selittävät kielen oppimista. In A.M. Korpijaakko-Huuhka, S. Pekkala, and H. Heimo, editors, Kielen ja kognition suhde, volume 37. Yliopistopaino, Helsinki, 2005. |
|
77 | Mathias Creutz and Krista Lagus. Unsupervised morpheme segmentation and morphology induction from text corpora using Morfessor 1.0. Technical Report A81, Publications in Computer and Information Science, Helsinki University of Technology, 2005. http://www.cis.hut.fi/projects/morpho/. |
|
76 | Kimmo Varpaaniemi. On stubborn sets in the verification of linear time temporal properties. Formal Methods in System Design, 26(1):45–67, January 2005. © 2005 Springer Science + Business Media, Inc. (Norwell, MA, USA; Dordrecht, The Netherlands; Berlin, Germany). |
|
75 | Laura L. Elo, Leo Lahti, Heli Skottman, Minna Kyläniemi, Riitta Lahesmaa, and Tero Aittokallio. Integrating probe-level expression changes across generations of Affymetrix arrays. Nucl. Acids Res., 33(22):e193, 2005. |
|
74 | Jean-Francois Boulicaut, Luc de Raedt, and Heikki Mannila, editors. Constraint-based mining and inductive databases. Springer-Verlag LNCS Volume 3848, ISBN: 3-540-31331-1, Springer 2005, 2005. |
|
73 | Jouni Seppanen and Heikki Mannila. Boolean formulas and frequent sets. In Constraint-based mining and inductive databases, pages 348–361. Springer-Verlag, 2005. |
|
72 | David Hand, Heikki Mannila, and Padhraic Smyth. Eksploracja danych. Wydawnictwa Naukowo-Techniczne, 2005. Polish translation of Principles of Data Mining (MIT Press 2001). |
|
71 | Foto Afrati, Gautam Das, Aristides Gionis, Heikki Mannila, Taneli Mielikainen, and Panayiotis Tsaparas. Mining chains of relations. In ICDM 2005, the Fifth IEEE International Conference on Data Mining, pages 553–556, 2005. |
|
70 | Spiros Papadimitriou, Aristides Gionis, Panayiotis Tsaparas, R.A. Vaisanen, Heikki Mannila, and C. Faloutsos. Parameter-free spatial data mining using mdl. In ICDM 2005, the Fifth IEEE International Conference on Data Mining, pages 346–353, 2005. |
|
69 | Pasi Rastas, Mikko Koivisto, Heikki Mannila, and Esko Ukkonen. A hidden markov technique for haplotype reconstruction. In Algorithms in Bioinformatics: 5th International Workshop, WABI 2005, pages 140–151. Springer, 2005. |
|
68 | Saara Hyvonen, Heli Junninen, Lauri Laakso, Mika Dal Maso, T. Gronholm, B. Bonn, P. Keronen, P. Aalto, V. Hiltunen, T. Pohja, S. Launiainen, Pentti Hari, Heikki Mannila, and M. Kulmala. A look at aerosol formation using data mining techniques. Atmos. Chem. Phys., 5:3345–3356, 2005. |
|
67 | Antti Ukkonen, M. Fortelius, and Heikki Mannila. Finding partial orders from unordered 0-1 data. In Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 285–293, 2005. |
|
66 | Aristides Gionis, Heikki Mannila, and Panayiotis Tsaparas. Clustering aggregation. In 21st International Conference on Data Engineering (ICDE), pages 341–352, 2005. |
|
65 | M. Salmenkivi and Heikki Mannila. Piecewise constant modeling of sequential data using reversible jump markov chain monte carlo. In Data Mining in Bioinformatics, pages 85–103. Springer, 2005. |
|
64 | M. Salmenkivi and Heikki Mannila. Using markov chain monte carlo and dynamic programming for event sequence data. Knowl. Inf. Syst., 7(3):267–288, 2005. |
|
63 | Mikko Kurimo, V. Turunen, and I. Ekman. Speech Transcription and Spoken Document Retrieval in Finnish, pages 253–262. Springer, Berlin, 2005. |
|
62 | J.H.L. Hansen, R. Huang, B. Zhou, M. Seadle, J.R. Deller Jr., A.R. Gurijala, Mikko Kurimo, and P. Angkititrakul. Speechfind: Advances in spoken document retrieval for a national gallery of the spoken word. IEEE Transactions on Speech and Audio Processing, 13(5):712–730, 2005. |
|
61 | Harri Haanpää, Matti Järvisalo, Petteri Kaski, and Ilkka Niemelä. SAT benchmarks based on 3-regular graphs, 2005. SAT Competition 2005 benchmark description. Benchmark set available at http://www.tcs.hut.fi/%7Emjj/benchmarks/. SAT Competition 2005 results available through http://www.satcompetition.org/2005/. |
|
60 | 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, Applications of Declarative Programming and Knowledge Management, volume 3392 of Lecture Notes in Computer Science, pages 134–148. Springer-Verlag, 2005. |
|
59 | Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, and Slawomir Zadrozny, editors. Artificial Neural Networks: Biological Inspirations - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I, volume 3696 of Lecture Notes in Computer Science. Springer, 2005. |
|
58 | Wlodzislaw Duch, Janusz Kacprzyk, Erkki Oja, and Slawomir Zadrozny, editors. Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II, volume 3697 of Lecture Notes in Computer Science. Springer, 2005. |
|
57 | Zhijian Yuan and Erkki Oja. Projective nonnegative matrix factorization for image compression and feature extraction. In SCIA, pages 333–342, 2005. |
|
56 | Oskar Kohonen. Generering av naturligt språk från emergenta representationer. Master's thesis, Helsinki University of Technology, Espoo, Finland, 2005. |
|
55 | Patrik Floréen, Petteri Kaski, Jukka Kohonen, and Pekka Orponen. Lifetime maximization for multicasting in energy-constrained wireless networks. IEEE Journal on Selected Areas in Communications, 23(1):117–126, January 2005. |
|
54 | Pekka Orponen and Satu Elisa Schaeffer. Local clustering of large graphs by approximate Fiedler vectors. In S. Nikoletseas, editor, Proceedings of the 4th International Workshop on Efficient and Experimental Algorithms (WEA'05, Santorini, Greece, May 2005), volume 3503 of Lecture Notes in Computer Science, pages 524–533, Berlin Heidelberg, 2005. Springer-Verlag. |
|
53 | Sakari Seitz, Mikko Alava, and Pekka Orponen. Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability. In F. Bacchus and T. Walsh, editors, Proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing (SAT'05, St. Andrews, Scotland, June 2005), volume 3569 of Lecture Notes in Computer Science, pages 475–481, Berlin Heidelberg, 2005. Springer-Verlag. |
|
52 | Panagiotis Papapetrou, George Kollios, Stan Sclaroff, and Dimitrios Gunopulos. Discovering frequent arrangements of temporal intervals. In Proceedings of the IEEE International Conference on Data Mining (ICDM). IEEE, 2005. |
|
51 | Petteri Kaski and Patric R. J. Östergård. One-factorizations of regular graphs of order 12. Electronic Journal of Combinatorics, 12:R2, 2005. |
|
50 | Petteri Kaski. Isomorph-free exhaustive generation of designs with prescribed groups of automorphisms. SIAM Journal on Discrete Mathematics, 19(3):664–690, 2005. |
|
49 | Petteri Kaski. Nonexistence of perfect Steiner triple systems of orders 19 and 21. Bayreuther Mathematische Schriften, 74:130–135, 2005. Proceedings of ALCOMA05, April 3–10, Thurnau, Germany. |
|
48 | Tapani Raiko and Matti Tornio. Learning nonlinear state-space models for control. In Proc. Int. Joint Conf. on Neural Networks (IJCNN'05), pages 815–820, Montreal, Canada, 2005. |
|
47 | S. Borisov, A. Illin, R. Vigário, A. Kaplan, and E. Oja. Does low- and high-amplitude segments of alpha activity belongs to different sources: studying of EEG using both segmental analysis and DSS. In Proc. of 11th Annual Meeting of the Organization for Human Brain Mapping (HBM'05), Toronto, Canada, 2005. |
|
46 | Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors. Proceedings of KRBIO05, Symposium on Knowledge Representation in Bioinformatics. Helsinki University of Technology, Espoo, Finland, 2005. |
|
45 | Samuel Kaski. From learning metrics towards dependency exploration. In Proceedings of WSOM'05, 5th Workshop On Self-Organizing Maps, pages 307–314, Paris, 2005. |
|
44 | Samuel Kaski. Proactive information retrieval by monitoring eye movements. In Abstracts of BrainIT, The Second International Conference on Brain-Inspired Information Technology, page 28, Kitakuyshu, Japan, 2005. Kyushu Institute of Technology. Abstract of an invited talk. |
|
43 | Samuel Kaski, Petri Myllymäki, and Ilpo Kojo. User models from implicit feedback for proactive information retrieval. In Colin de la Higuera and Thierry Artières, editors, Proceedings of Workshop 4 of the 10th International Conference on User Modeling; Machine Learning for User Modeling: Challenges, pages 25–26, 2005. |
|
42 | Samuel Kaski and Janne Nikkilä. Dependency exploration in computational systems biology. In Tiina Manninen, Marja-Leena Linne, and Olli Yli-Harja, editors, Proceedings of The 3rd TICSP Workshop on Computational Systems Biology, TICSP Series #29, pages 49–50, Tampere, Finland, 2005. Tampere University of Technology. |
|
41 | Samuel Kaski and Janne Nikkilä. Of mice and men and yeast, and dependency exploration. CSCnews, Information Technology for Science in Finland, N/A(4):24–26, 2005. |
|
40 | Samuel Kaski, Janne Nikkil?and Eerika Savia, and Christophe Roos. Discriminative clustering of yeast stress response. In Udo Seiffert, Lakhmi Jain, and Patric Schweizer, editors, Bioinformatics using Computational Intelligence Paradigms, pages 75–92, Berlin, 2005. Springer. |
|
39 | Samuel Kaski, Janne Nikkilä, Janne Sinkkonen, Leo Lahti, Juha Knuuttila, and Christophe Roos. Associative clustering for exploring dependencies between functional genomics data sets. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2(3):203–216, 2005. |
|
38 | Samuel Kaski, Eerika Savia, and Kai Puolamäki. Predicting binding of transcriptional regulators with a two-way latent grouping model. Poster in ISMB 2005, the 13th Annual International Conference on Intelligent Systems for Molecular Biology, Detroit, Michigan, June 25-29, 2005. |
|
37 | Samuel Kaski, Janne Sinkkonen, and Arto Klami. Discriminative clustering. Neurocomputing, 69:18–41, 2005. |
|
36 | Arto Klami and Samuel Kaski. Non-parametric dependent components. In Proceedings of ICASSP 2005, IEEE International Conference on Acoustics, Speech, and Signal Processing, pages V–209–V–212. IEEE, 2005. |
|
35 | Arto Klami, Janne Nikkilä, Christophe Roos, and Samuel Kaski. Extracting yeast stress genes by dependencies between stress treatments, 2005. Abstract in web, http://tinyurl.com/98kcx. |
|
34 | Janne Nikkilä, Tapio Rinnet, Antti Ajanki, and Samuel Kaski. Stress in yeast knockout experiments. In ICSB 2005, 6th International Conference on Systems Biology, abstract proceedings, page 249, 2005. Poster abstract. |
|
33 | Janne Nikkilä, Christophe Roos, and Samuel Kaski. Integration of transcription factor binding and gene expression by associative clustering. In Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors, Proceedings of KRBIO05, Symposium on Knowledge Representation in Bioinformatics, pages 22–29, Espoo, Finland, 2005. Helsinki University of Technology. |
|
32 | Janne Nikkilä, Christophe Roos, Eerika Savia, and Samuel Kaski. Explorative modeling of yeast stress response and its regulation with gCCA and associative clustering. International Journal of Neural Systems, 15(4):237–246, 2005. |
|
31 | Merja Oja, Göran O. Sperber, Jonas Blomberg, and Samuel Kaski. Self-organizing map-based discovery and visualization of human endogenous retroviral sequence groups. International Journal of Neural Systems, 15:163–180, 2005. |
|
30 | Jaakko Peltonen and Samuel Kaski. Discriminative components of data. IEEE Transactions on Neural Networks, 16:68–83, 2005. Preprint pdf at http://www.cis.hut.fi/projects/mi/papers/tnn04_preprint.pdf. |
|
29 | Kai Puolamäki, Jarkko Salojärvi, Eerika Savia, Jaana Simola, and Samuel Kaski. Combining eye movements and collaborative filtering for proactive information retrieval. In Gary Marchionini, Alistair Moffat, John Tait, Ricardo Baeza-Yates, and Novio Ziviani, editors, Proceedings of SIGIR 2005, Twenty-Eighth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pages 146–153, New York, NY, 2005. ACM. |
|
28 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. On discriminative joint density modeling. In Jo? Gama, Rui Camacho, Pavel Brazdil, Al?io Jorge, and Lu? Torgo, editors, Proceedings of ECML 2005, 16th European Conference on Machine Learning, pages 341–352, Berlin, 2005. Springer. |
|
27 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Expectation maximization algorithms for conditional likelihoods. In Luc De Raedt and Stefan Wrobel, editors, Proceedings of ICML 2005, the 22nd International Conference on Machine Learning, pages 753–760, New York, NY, 2005. ACM Press. |
|
26 | Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Implicit relevance feedback from eye movements. In Włodzisław Duch, Janusz Kacprzyk, Erkki Oja, and Sławomir Zadrozny, editors, Artificial Neural Networks: Biological Inspirations — ICANN 2005, volume I, pages 513–518, Berlin, 2005. Springer. |
|
25 | Eerika Savia, Kai Puolamäki, Janne Sinkkonen, and Samuel Kaski. Two-way latent grouping model for user preference prediction. In Fahiem Bachus and Tommi Jaakkola, editors, Proceedings of UAI 2005, Uncertainty in Artificial Intelligence, pages 518–525, Corvallis, OH, 2005. AUAI Press. |
|
24 | Jarkko Venna and Samuel Kaski. Visualized atlas of a gene expression databank. In Catherine Bounsaythip, Jaakko Hollmén, Samuel Kaski, and Matej Orešic, editors, Proceedings of KRBIO05, Symposium on Knowledge Representation in Bioinformatics, pages 30–36, Espoo, Finland, 2005. Helsinki University of Technology. |
|
23 | Jarkko Venna and Samuel Kaski. Local multidimensional scaling with controlled tradeoff between trustworthiness and continuity. In Proceedings of WSOM'05, 5th Workshop On Self-Organizing Maps, pages 695–702, Paris, 2005. |
|
22 | Satu Elisa Schaeffer. Stochastic local clustering for massive graphs. In T. B. Ho, D. Cheung, and H. Liu, editors, Proceedings of the Ninth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-05), volume 3518 of Lecture Notes in Computer Science, pages 354–360, BerlinHeidelberg, Germany, 2005. Springer-Verlag GmbH. |
|
21 | Sven Laur, Helger Lipmaa, and Taneli Mielikäinen. Private itemset support counting.. In Sihan Qing, Wenbo Mao, Javier Lopez, and Guilin Wang, editors, Information and Communications Security, 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings, volume 3783 of Lecture Notes in Computer Science, pages 97–111. Springer, 2005. |
|
20 | Sven Laur and Helger Lipmaa. Additive conditional disclosure of secrets and applications. Cryptology ePrint Archive, Report 2005/378, 2005. Techical report. |
|
19 | Sven Laur, N. Asokan, and Kaisa Nyberg. Efficient mutual data authentication using manually authenticated strings: Preliminary version. Cryptology ePrint Archive, Report 2005/424, 2005. Shorter more compact version was published at CANS 2006. |
|
18 | Mikko Berg, Jan-Henrik Schleimer, Jaakko Särelä, and Timo Honkela. Category learning by formation of regions in conceptual spaces. In Lorenzo Magnani and Riccardo Dossena, editors, Computation, Philosophy, and Cognition, pages 381–396. College Publications, London, UK, 2005. |
|
17 | Tarja Knuuttila and Timo Honkela. Questioning external and internal representation; the case of scientific models. In Lorenzo Magnani and Riccardo Dossena, editors, Computation, Philosophy, and Cognition, pages 209–226. College Publications, London, UK, 2005. |
|
16 | Timo Honkela. Von Foerster meets Kohonen - approaches to artificial intelligence, cognitive science and information systems development. Kybernetes, 31(1/2):40–53, 2005. |
|
15 | Timo Honkela, Aapo Hyvärinen, and Jaakko Väyrynen. Emergence of linguistic features: Independent component analysis of contexts. In Modeling Language Cognition and Action: Proceedings of the NCPW9, Ninth Neural Computation and Psychology Workshop, pages 129–138, New Jersey, 2005. World Scientific. |
|
14 | Ann Nowé, Timo Honkela, Ville Könönen, and Katja Verbeeck, editors. Proceedings of the Workshop W9 on Reinforcement Learning in Nonstationary Environments. Vrije Universiteit Brussel, Porto, Portugal, 2005. in conjunction with the 16th ECML and 9th PKDD, Oct. 3-7, 2005. |
|
13 | Timo Honkela, Kevin Hynnä, Krista Lagus, and Jaakko Särelä. Adaptive and statistical approaches in conceptual modeling. Technical Report A75, Helsinki University of Technology, 2005. |
|
12 | Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple is better: Efficient bounded model checking for past LTL. In Radhia Cousot, editor, Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France, volume 3385 of Lecture Notes in Computer Science, pages 380–395. Springer, January 2005. |
|
11 | Tommi Junttila. Nusmv-2.2.3-cav2005. Computer program, 2005. |
|
10 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. An incremental and layered procedure for the satisfiability of linear arithmetic logic. In Nicolas Halbwachs and Lenore D. Zuck, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), volume 3440 of Lecture Notes in Computer Science, pages 317–333. Springer, 2005. |
|
9 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, and Roberto Sebastiani. Efficient satisfiability modulo theories via delayed theory combination. In Kousha Etessami and Sriram K. Rajamani, editors, CAV 2005, volume 3576 of Lecture Notes in Computer Science, pages 335–349. Springer, 2005. |
|
8 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. The MathSAT 3 system. In Robert Nieuwenhuis, editor, Automated Deduction – CADE-20, volume 3632 of Lecture Notes in Artificial Intelligence, pages 315–321. Springer, 2005. |
|
7 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, and Roberto Sebastiani. MathSAT: Tight integration of SAT and mathematical decision procedures. In Enrico Giunchiglia and Toby Walsh, editors, SAT 2005; Satisfiability Research in the Year 2005, pages 265–293. Springer, 2005. Reprint of the same article in the number 1-3 of volume 25 of the Journal of Automated Reasoning, 2005. |
|
6 | Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. International Journal on Software Tools for Technology Transfer, 7(2):89 – 101, 2005. |
|
5 | Tiina Lindh-Knuutila. Simulating the emergence of a shared conceptual system in a multi-agent environment. Master's thesis, Helsinki University of Technology, 2005. |
|
4 | Ville Nuorvala and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 2.0 rc3, 2005. |
|
3 | Ville Nuorvala, Henrik Petander, and Antti Tuominen. MIPL Mobile IPv6 for Linux, version 2.0 rc2, 2005. |
|
2 | Ville Nuorvala. NEPL NEmo Platform for Linux, version 0.1, 2005. |
|
1 | Zhijian Yuan and Erkki Oja. Projective nonnegative matrix factorization for image compression and feature extraction. In 14th Scandinavian Conference on Image Analysis, volume 3540, pages 333–342. Springer, 2005. |
|