|
221 | Henrik Petander. A network mobility management architecture for a heterogeneous network environment. Research Report A108, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. Doctoral dissertation. ISBN 978-951-22-9098-7. |
|
|
220 | Maarit Hietalahti, Mikko Särelä, Antti Tuominen, and Pekka Orponen. Security topics and mobility management in hierarchical ad hoc networks (Samoyed): Final report. Technical Report B22, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. |
|
|
219 | Jori Dubrovin and Tommi Junttila. Symbolic model checking of hierarchical UML state machines. Technical Report B23, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. |
|
|
218 | Jori Dubrovin, Tommi Junttila, and Keijo Heljanko. Symbolic step encodings for object based communicating state machines. Technical Report B24, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. |
|
|
217 | Vesa Ojala. A slicer for UML state machines. Technical Report B25, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. |
|
|
216 | Zhirong Yang, Zhijian Yuan, and Jorma Laaksonen. Projective non-negative matrix factorization with applications to facial image processing. International Journal on Pattern Recognition and Artificial Intelligence, 21(8):1353–1362, December 2007. |
|
|
215 | Ville Viitaniemi and Jorma Laaksonen. Improving the accuracy of global feature fusion based image categorisation. In Bianca Falcidieno, Michela Spagnuolo, Yannis S. Avrithis, Ioannis Kompatsiaris, and Paul Buitelaar, editors, Proceedings of the 2nd International Conference on Semantic and Digital Media Technologies (SAMT 2007), volume 4669 of Lecture Notes in Computer Science, pages 1–14, Genova, Italy, December 2007. Springer. |
|
|
214 | Aristides Gionis, Heikki Mannila, Taneli Mielikainen, and Panayiotis Tsaparas. Assessing data mining results via swap randomization. ACM Transactions on Knowledge Discovery from Data (TKDD), 1(3), December 2007. Article No. 14. |
|
|
213 | Juuso Parkkinen and Samuel Kaski. Searching for functional gene modules with interaction component models. In Proceedings of the NIPS 2007 workshop on Machine Learning in Computational Biology, Whistler, BC, Canada, December 7 2007. Extended Abstract. |
|
|
212 | S. Luyssaert, I. Inglima, R. Ceulemans, P. Ciais, A. J. Dolman, J. Grace, Jaakko Hollmén, B. E. Law, G. Matteucci, D. Papale, S. L. Piao, M. Reichstein, E.-D. Schulze, Mika Sulkava, J. Tang, and I. A. Janssens. Unravelling nitrogen deposition effects on carbon cycling in forests. Eos, Transactions, American Geophysical Union, 88(52), December 2007. Fall Meeting Supplement, Abstract B32B-02. |
|
|
211 | Mathias Creutz, Teemu Hirsimäki, Mikko Kurimo, Antti Puurula, Janne Pylkkönen, Vesa Siivola, Matti Varjokallio, Ebru Arısoy, Murat Saraclar, and Andreas Stolcke. Morph-based speech recognition and modeling of out-of-vocabulary words across languages. ACM Transactions on Speech and Language Processing, 5(1), December 2007. |
|
|
210 | Federico Montesino-Pouzols, Angel Barriga, Diego R. Lopez, and Santiago Sánchez-Solano. Open FPGA-Based Development Platform for Fuzzy Systems with Applications to Communications. In XXII Conference on Design of Circuits and Integrated Systems (DCIS'07), pages 323–328, Seville, Spain, November 2007. |
|
|
209 | Markus Koskela, Mats Sjöberg, Ville Viitaniemi, Jorma Laaksonen, and Philip Prentis. PicSOM experiments in TRECVID 2007. In Proceedings of the TRECVID 2007 Workshop, Gaithersburg, MD, USA, November 2007. Available online at http://www-nlpir.nist.gov/projects/tvpubs/tv.pubs.org.html. |
|
|
208 | Amaury Lendasse and Francesco Corona. Optimal linear projection based on noise variance estimation. In Proceedings of Chimiométrie 2007, Lyon (France), pages 165–168, November 29-30 2007. |
|
|
207 | Amaury Lendasse, Francesco Corona, Satu-Pia Reinikainen, and Pentti Minkkinen. Functional variable selection using noise variance estimation. In Proceedings of Chimiométrie 2007, Lyon (France), pages 39–42, November 29-30 2007. |
|
|
206 | Mikko Alava, John Ardelius, Erik Aurell, Petteri Kaski, Supriya Krishnamurthy, Pekka Orponen, and Sakari Seitz. Circumspect descent prevails in solving random constraint satisfaction problems. Technical Report 0711.4902, arXiv.org, November 2007. |
|
|
205 | Tomi Janhunen and Emilia Oikarinen. Automated verification of weak equivalence within the smodels system. Theory and Practice of Logic Programming, 7(6):697–744, November 2007. |
|
|
204 | Antti Sorjamaa, Jin Hao, Nima Reyhani, Yongnan Ji, and Amaury Lendasse. Methodology for long-term prediction of time series. Neurocomputing, 70(16-18):2861–2869, October 2007. |
|
|
203 | Robert Gwadera, Janne Toivola, and Jaakko Hollmén. Segmenting multi-attribute sequences using dynamic Bayesian networks. In Anthony K.H. Tung, Quiming Zhu, Naren Ramakrishnan, Osmar R. Zaïane, Yong Shi, Christopher W. Clifton, and Xindong Wu, editors, Proceedings of the Seventh IEEE International Conference on Data Mining — Workshops (ICDM Workshops 2007), pages 465–470, Washington DC, USA, October 2007. IEEE Computer Society. |
|
|
202 | Rashi Gupta, Salla Ruosaari, Sangita Kulathinal, Jaakko Hollmén, and Petri Auvinen. Microarray image segmentation using additional dye — an experimental study. Molecular and Cellular Probes, 21(5–6):321–328, October–December 2007. |
|
|
201 | Robert Gwadera, Janne Toivola, and Jaakko Hollmén. Segmenting multi-attribute sequences using dynamic bayesian networks. In Anthony K.H. Tung, Quiming Zhu, Naren Ramakrishnan, Osmar R. Zaiane, Yong Shi, Christopher W. Clifton, and Xindong Wu, editors, Proceedings of The Seventh IEEE International Conference on Data Mining — Workshops (ICDM Workshops 2007), pages 465–470, Washington, DC, USA, October 2007. IEEE Computer Society. |
|
|
200 | Jaakko Hollmén. Model selection and estimation via subjective user preferences. In V. Corruble, M. Takeda, and E. Suzuki, editors, Proceedings of The Tenth International Conference on Discovery Science (DS-2007), volume 4755 of Lecture Notes in Artificial Intelligence, pages 259–263, Sendai, Japan, October 2007. Springer-Verlag. |
|
|
199 | Nima Reyhani Yongnan Ji Antti Sorjamaa, Jin Hao and Amaury Lendasse. Methodology for long-term prediction of time series. Neurocomputing, 70(16-18):2861–2869, October 2007. |
|
|
198 | S. Luyssaert, I. A. Janssens, Mika Sulkava, D. Papale, A. J. Dolman, M. Reichstein, Jaakko Hollmén, J. G. Martin, T. Suni, T. Vesala, D. Loustau, B. E. Law, and E. J. Moors. Photosynthesis drives anomalies in net carbon-exchange of pine forests at different latitudes. Global Change Biology, 13(10):2110–2127, October 2007. |
|
|
197 | Dmitrij Lagutin and Hannu H. Kari. Controlling incoming connections using certificates and distributed hash tables. In Proceedins of The 7th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN 2007), volume 4712 of Lecture Notes in Computer Science, pages 455–467, St. Petersburg, Russia, Sep 2007. Springer-Verlag. |
|
|
196 | Emilia Oikarinen and Tomi Janhunen. A linear transformation from prioritized circumscription to disjunctive logic programming. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 440–441, Porto, Portugal, September 2007. Springer. Poster. |
|
|
195 | Emilia Oikarinen. Modular answer set programming. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 462–463, Porto, Portugal, September 2007. Springer. Doctoral Consortium research summary. |
|
|
194 | Emilia Oikarinen and Tomi Janhunen. A translation-based approach to the verification of modular equivalence. In Stefania Costantini and Richard Watson, editors, Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation (ASP 2007), pages 255–269, Porto, Portugal, September 2007. |
|
|
193 | Jaakko Hollmén and Jarkko Tikka. Compact and understandable descriptions of mixture of bernoulli distributions. In M.R. Berthold, J. Shawe-Taylor, and N. Lavrac, editors, Proceedings of the 7th International Symposium on Intelligent Data Analysis (IDA 2007), volume 4723 of Lecture Notes in Computer Science, pages 1–12, Ljubljana, Slovenia, September 2007. Springer-Verlag. |
|
|
192 | Zhirong Yang and Jorma Laaksonen. Face recognition using Parzenfaces. In Proceedings of International Conference on Artificial Neural Networks (ICANN'07), volume 4669 of Lecture Notes in Computer Science, pages 200–209, Porto, Portugal, September 2007. Springer. |
|
|
191 | Markus Koskela, Mats Sjöberg, Jorma Laaksonen, Ville Viitaniemi, and Hannes Muurinen. Rushes summarization with self-organizing maps. In Proceedings of the TRECVID Workshop on Video Summarization (TVS'07), pages 45–49, Augsburg, Germany, September 2007. ACM Press. Available online at http://dx.doi.org/10.1145/1290031.1290039. |
|
|
190 | Thomas Deselaers, Allan Hanbury, Ville Viitaniemi, András Bencz'ur, Mátyás Brendel, Bálint Daróczy, Hugo Jair Escalante Balderas, Theo Gevers, Carlos Arturo Hernández Gracidas, Steven C. H. Hoi, Jorma Laaksonen, Mingjing Li, Heidy Marisol Marin Castro, Hermann Ney, Xiaoguang Rui, Nicu Sebe, Julian Stöttinger, and Lei Wu. Overview of the ImageCLEF 2007 Object Retrieval Task. In Working notes of the CLEF 2007 Workshop, Budapest, Hungary, September 2007. |
|
|
189 | Ville Viitaniemi and Jorma Laaksonen. Thoughts on evaluation of image retrieval inspired by ImageCLEF 2007 object retrieval task. In Proceedings of 3rd MUSCLE/ImageCLEF Workshop on Image and Video Retrieval Evaluation, Budapest, Hungary, September 2007. Available online at http://muscle.prip.tuwien.ac.at/. |
|
|
188 | Mikko Kurimo, Mathias Creutz, and Ville Turunen. Unsupervised morpheme analysis evaluation by ir experiments - morpho challenge 2007. In Alessandro Nardi and Carol Peters, editors, Working Notes for the CLEF 2007 Workshop. CLEF, September 2007. Invited paper. |
|
|
187 | Mikko Kurimo, Mathias Creutz, and Matti Varjokallio. Unsupervised morpheme analysis evaluation by a comparison to a linguistic gold standard - morpho challenge 2007. In Alessandro Nardi and Carol Peters, editors, Working Notes for the CLEF 2007 Workshop. CLEF, September 2007. Invited paper. |
|
|
186 | Mikko Kurimo, Mathias Creutz, and Ville Turunen. Overview of morpho challenge in clef 2007. In Alessandro Nardi and Carol Peters, editors, Working Notes for the CLEF 2007 Workshop. CLEF, September 2007. Invited paper. |
|
|
185 | Tapani Raiko, Alexander Ilin, and Juha Karhunen. Principal component analysis for large scale problems with lots of missing values. In Proceedings of the 18th European Conference on Machine Learning (ECML 2007), volume 4701 of Lecture Notes in Artificial Intelligence, pages 691–698, Warsaw, Poland, September 2007. Springer-Verlag, Berlin. |
|
|
184 | Sami Virpioja, Jaakko J. Väyrynen, Mathias Creutz, and Markus Sadeniemi. Morphology-aware statistical machine translation based on morphs induced in an unsupervised manner. In Proceedings of the Machine Translation Summit XI, pages 491–498, Copenhagen, Denmark, September 2007. |
|
|
183 | Jarkko Ylipaavalniemi and Ricardo Vigário. Subspaces of spatially varying independent components in fMRI. In 7th International Conference on Independent Component Analysis and Signal Separation (ICA 2007), pages 665–672, London, UK, September 2007. |
|
|
182 | Yoan Miche, Patrick Bas, Amaury Lendasse, Olli Simula, and Christian Jutten. Avantages de la sélection de caractéristiques pour la stéganalyse. In GRETSI 2007, Groupe de Recherche et d'Etudes du Traitement du Signal et des Images, Troyes, France, Troyes, France, September 11-13 2007. |
|
|
181 | Antti Sorjamaa, Elia Liitiäinen, and Amaury Lendasse. Time series prediction as a problem of missing values: Application to ESTSP2007 and NN3 competition benchmarks. In IJCNN, International Joint Conference on Neural Networks, pages 1770–1775, Orlando, Florida, USA, August 12-17 2007. Documation LLC, Eau Claire, Wisconsin, USA. |
|
|
180 | Matti Järvisalo. Impact of restricted branching on clause learning SAT solving. Research Report A107, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2007. ISBN 978-951-22-8907-3. |
|
|
179 | Elia Liitiäinen and Amaury Lendasse. Variable scaling for time series prediction: Application to the ESTSP'07 and the NN3 forecasting competitions. In IJCNN 2007, International Joint Conference on Neural Networks, Orlando, Florida, USA, pages 2812 – 2816. Documation LLC, Eau Claire, Wisconsin, USA, August 2007. |
|
|
178 | Francesco Corona, Elia Liitiäinen, Amaury Lendasse, and Roberto Baratti. Measures of topological relevance based on the self-organizing map: Applications to process monitoring from spectroscopic measurements. In Proceedings of EANN 2007, International Conference on Engineering Applications of Neural Networks, Thessaloniki (Greece), pages 24–33, August 29-31 2007. |
|
|
177 | Jaakko J. Väyrynen, Lasse Lindqvist, and Timo Honkela. Sparse distributed representations for words with thresholded independent component analysis. In Jennie Si and Ron Sun, editors, Proceedings of the International Joint Conference on Neural Networks (IJCNN 2007), pages 1031–1036. IEEE, August 2007. |
|
|
176 | Markus Koskela, Alan F. Smeaton, and Jorma Laaksonen. Measuring concept similarities in multimedia ontologies: Analysis and evaluations. IEEE Transactions on Multimedia, 9(5):912–922, August 2007. |
|
|
175 | Zhirong Yang and Jorma Laaksonen. Approximated geodesic updates with principal natural gradients. In Proceedings of The 2007 International Joint Conference on Neural Networks (IJCNN 2007), pages 1320–1325, Orlando, USA, August 2007. |
|
|
174 | Amaury Lendasse, Erkki Oja, Olli Simula, and Michel Verleysen. Time series prediction competition: The CATS benchmark. Neurocomputing, 70(13-15):2325–2329, August 2007. |
|
|
173 | Vesa Siivola, Mathias Creutz, and Mikko Kurimo. Morfessor and varikn machine learning tools for speech and language technology. In Proceedings of the 8th Annual Conference of the International Speech Communication Association, pages 1549–1552. ISCA, August 2007. |
|
|
172 | Matti Pöllä and Timo Honkela. Probabilistic text change detection using an immune model. In Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, pages 1109–1114, Orlando, Florida, August 2007. |
|
|
171 | Tapani Raiko. Higher order statistics in play-out analysis (extended abstract). In Proceedings of the 5th International Workshop on Mining and Learning with Graphs, MLG'07, Firenze, Italy, August 2007. |
|
|
170 | Mika Sulkava, Harri Mäkinen, Pekka Nöjd, and Jaakko Hollmén. CUSUM charts for detecting onset and cessation of xylem formation based on automated dendrometer data. In Ivana Horová and Jiří Hřebícek, editors, TIES 2007 – 18th annual meeting of the International Environmetrics Society, Book of Abstracts, page 111, Mikulov, Czech Republic, August 2007. The International Environmetrics Society, Masaryk University. |
|
|
169 | Harriet Wikman, Salla Ruosaari, Penny Nymark, Virinder K. Sarhadi, Juha Saharinen, Esa Vanhala, Antti Karjalainen, Jaakko Hollmén, Sakari Knuutila, and Sisko Anttila. Gene expression and copy number profiling suggests the importance of allelic imbalance in 19p in asbestos-associated lung cancer. Oncogene, 26(32):4730–4737, July 2007. Nature Publishing Group. |
|
|
168 | Matthieu Molinier, Jorma Laaksonen, Yrjö Rauste, and Tuomas Häme. Detecting changes in polarimetric SAR data with content-based image retrieval. In Proceedings of IEEE International Geoscience And Remote Sensing Symposium, Barcelona, Spain, July 2007. IEEE. |
|
|
167 | Ville Viitaniemi and Jorma Laaksonen. Evaluating the performance in automatic image annotation: example case by adaptive fusion of global image features. Signal Processing: Image Communications, 22(6):557–568, July 2007. |
|
|
166 | Konstantinos Stamatakis, Konstantinos Chandrinos, Vangelis Karkaletsis, Miquel Angel Mayer, Dagmar Villarroel Gonzales, Martin Labský, Enrique Amigó, and Matti Pöllä. AQUA, a system assisting labelling experts assess health web resources. In Proceedings of 12th International Symposium for Health Information Management Research, iSHIMR 2007, Sheffield, UK, July 2007. to appear. |
|
|
165 | Konstantinos Stamatakis, Vangelis Metsis, Vangelis Karkaletsis, Marek Raccent23uzi cka, Vojtech Svátek, Enrique Amigó Cabrera, and Matti Pöllä. Content collection for the labeling of health-related web content. In Proceedings of 11th Conference on Artificial Intelligence in Medicine (AIME 07), Amsterdam, The Netherlands, July 2007. to appear. |
|
|
164 | Merja Oja, Jaakko Peltonen, Jonas Blomberg, and Samuel Kaski. Estimating human endogeneous retrovirus activities in various tissues with a hidden Markov mixture model. In Intelligent Systems for Molecular Biology & European Conference on Computational Biology 2007 (ISMB/ECCB 2007), Vienna, Austria, July 21-25 2007. Poster. |
|
|
163 | Vesa Siivola, Teemu Hirsimäki, and Sami Virpioja. On growing and pruning Kneser-Ney smoothed n-gram models. IEEE Transactions on Audio, Speech and Language Processing, 15(5):1617–1624, July 2007. |
|
|
162 | Elia Liitiäinen, Francesco Corona, and Amaury Lendasse. Non-parametric residual variance estimation in supervised learning. In Francisco Sandoval et al., editor, Lecture Notes in Computer Science: Computational and Ambient Intelligence - Proceedings of IWANN 2007 International Work-Conference on Artificial Neural Networks, San Sebastian (Spain), volume 4507/2007 of Lecture Notes in Computer Science, pages 63–71. Springer-Verlag, June 20-22 2007. |
|
|
161 | Francesco Corona, Elia Liitiäinen, and Amaury Lendasse. Using functional representations in spectrophotoscopic variables selection and regression. In Proceedings of SSC10 Scandinavian Symposium on Chemometrics, Lappeenranta (Finland), page 29, June 11-15 2007. |
|
|
160 | Francesco Corona, Lorenzo Sassu, Stefano Melis, and Roberto Baratti. Measure of topological relevance for soft sensing product properties. In Proceedings of IFAC/DYCOPS 2007 International Symposium on Dynamics and Control of Process Systems, Cancun (Mexico), pages 175–180, June 6-8 2007. |
|
|
159 | Hannes Heikinheimo, Mikael Fortelius, Jussi Eronen, and Heikki Mannila. Biogeography of european land mammals shows environmentally distinct and spatially coherent clusters. Journal of Biogeography, 34(6):1053–1064, June 2007. |
|
|
158 | Zhirong Yang and Jorma Laaksonen. Regularized neighborhood component analysis. In Proceedings of 15th Scandinavian Conference on Image Analysis (SCIA), pages 253–262, Aalborg, Denmark, June 2007. |
|
|
157 | Hannes Muurinen and Jorma Laaksonen. Video segmentation and shot boundary detection using self-organizing maps. In Proceedings of 15th Scandinavian Conference on Image Analysis (SCIA 2007), pages 770–779, Aalborg, Denmark, June 2007. |
|
|
156 | Ville Viitaniemi and Jorma Laaksonen. Evaluating performance of automatic image annotation: example case by fusing global image features. In Proceedings of Fifth International Workshop on Content-Based Multimedia Indexing (CBMI 2007), pages 251–258, Bordeaux, France, June 2007. |
|
|
155 | Ville Viitaniemi and Jorma Laaksonen. Empirical investigations on benchmark tasks for automatic image annotation. In Proceedings of the 9th International Conference on Visual Information Systems (VISUAL 2007), volume 4781 of Lecture Notes in Computer Science, pages 93–104. Springer, June 2007. |
|
|
154 | Tuomas Kärnä and Amaury Lendasse. Gaussian fitting based FDA for chemometrics. In Francisco Sandoval et al., editor, IWANN'07, International Work-Conference on Artificial Neural Networks, San Sebastian, Spain, volume 4507 of Lecture Notes in Computer Science, pages 186–193. Springer Berlin / Heidelberg, June 2007. |
|
|
153 | Tuomas Kärnä and Amaury Lendasse. Optimal gaussian basis functions for chemometrics. In SSC10, 10th Scandinavian Symposium on Chemometrics, Lappeenranta (Finland), page 79, June 11-15 2007. |
|
|
152 | Amaury Lendasse and Francesco Corona. Optimal linear projection based on noise variance estimation: Application to spectrometric modeling. In Proceedings of SSC10 Scandinavian Symposium on Chemometrics, Lappeenranta (Finland), page 26, June 11-15 2007. |
|
|
151 | Qi Yu, Eric Séverin, and Amaury Lendasse. Variable selection for financial modeling. In CEF 2007, 13th International Conference on Computing in Economics and Finance Montréal, Quebec, Canada, pages 237–241, June 14 -16 2007. |
|
|
150 | Mika Sulkava, Sebastiaan Luyssaert, Pasi Rautio, Ivan A. Janssens, and Jaakko Hollmén. Modeling the effects of varying data quality on trend detection in environmental monitoring. Ecological Informatics, 2(2):167–176, June 2007. |
|
|
149 | Yoan Miche, Patrick Bas, Amaury Lendasse, Christian Jutten, and Olli Simula. Advantages of using feature selection techniques on steganalysis schemes. In Francisco Sandoval et al., editor, IWANN'07: International Work-Conference on Artificial Neural Networks, San Sebastian, Spain, volume 4507/2007 of Lecture Notes in Computer Science, pages 606–613. Springer Berlin / Heidelberg, June 20-22 2007. |
|
|
148 | Yoan Miche, Patrick Bas, Amaury Lendasse, Christian Jutten, and Olli Simula. Extracting relevant features of steganographic schemes by feature selection techniques. In Wacha'07: Third Wavilla Challenge, Saint-Malo, France, June 14 2007. |
|
|
147 | Antti Sorjamaa, Paul Merlin, Bertrand Maillet, and Amaury Lendasse. A nonlinear approach for the determination of missing values in temporal databases. In MASHS, Computational Methods for Modelling and learning in Social and Human Sciences, Brest (France), May 10-11 2007. |
|
|
146 | Emilia Oikarinen. Modularity in smodels programs. In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings, volume 4483 of Lecture Notes in Artificial Intelligence, pages 321–326, Tempe, Arizona, USA, May 2007. Springer-Verlag. Poster. |
|
|
145 | Emilia Oikarinen. Modular answer set programming. In Veli Mäkinen, Greger Lindén, and Hannu Toivonen, editors, Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session. Poster Abstracts, Series of Publications B, Report B-2007-4, page 62. Helsinki University Printing House, May 2007. |
|
|
144 | Qi Yu, Eric Séverin, and Amaury Lendasse. A global methodology for variable selection: Application to financial modeling. In Mashs 2007, Computational Methods for Modelling and learning in Social and Human Sciences, Brest (France), May 10-11 2007. |
|
|
143 | Mika Sulkava. Modeling how varying data quality affects the ability to detect trends in environmental time series. In Veli Mäkinen, Greger Lindén, and Hannu Toivonen, editors, Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session, Abstract proceedings, volume B-2007-4 of Series of Publications B, page 104, Helsinki, Finland, May/June 2007. University of Helsinki, Department of Computer Science, Helsinki University Printing House. |
|
|
142 | Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. Modularity aspects of disjunctive stable models. In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 175–187, Tempe, Arizona, USA, May 2007. Springer-Verlag. |
|
|
141 | Tomi Janhunen. Intermediate languages of ASP systems and tools. In Marina De Vos and Torsten Schaub, editors, Proceedings of the 1st International Workshop on Software Engineering for Answer Set Programming, number CSBU-2007-05 in Deparment of Computer Science, University of Bath, Technical Report Series, pages 12–25, Tempe, Arizona, USA, May 2007. |
|
|
140 | Antti Sorjamaa, Paul Merlin, Bertrand Maillet, and Amaury Lendasse. SOM+EOF for finding missing values. In M. Verleysen, editor, ESANN 2007, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 115–120. d-side publ. (Evere, Belgium), April 25-27 2007. |
|
|
139 | Elia Liitiäinen, Francesco Corona, and Amaury Lendasse. Nearest neighbor distributions and noise variance estimation. In M. Verleysen, editor, Proceedings of ESANN 2007, European Symposium on Artificial Neural Networks, Bruges (Belgium), pages 67–72. d-side publ. (Evere, Belgium), April 25-27 2007. |
|
|
138 | Emilia Oikarinen. circ2dlp 2.1 — a linear translation from prioritized circumscription to disjunctive logic programming, April 2007. Computer Program. |
|
|
137 | Matthieu Molinier, Jorma Laaksonen, and Tuomas Häme. Detecting man-made structures and changes in satellite imagery with a content-based information retrieval system built on self-organizing maps. IEEE Transactions on Geoscience and Remote Sensing, 45(4):861–874, April 2007. |
|
|
136 | J. Vandewalle, J. Suykens, B. De Moor, and Amaury Lendasse. State-of-the-art and evolution in public data sets and competitions for system identification, time series prediction and pattern recognition. In 32nd International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Hawaii Convention Center in Honolulu (USA), volume 4, pages 1269–1272, April 15-20 2007. |
|
|
135 | Mathias Creutz, Teemu Hirsimäki, Mikko Kurimo, Antti Puurula, Janne Pylkkönen, Vesa Siivola, Matti Varjokallio, Ebru Arısoy, Murat Saraclar, and Andreas Stolcke. Analysis of morph-based speech recognition and the modeling of out-of-vocabulary words across languages. In Proceedings of Human Language Technologies: The Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL-HLT), Rochester, NY, USA, April 2007. |
|
|
134 | Teemu Hirsimäki. On compressing n-gram language models. In Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pages IV–949–952, Honolulu, HI, USA, April 2007. Poster. |
|
|
133 | Ulpu Remes, Janne Pylkkönen, and Mikko Kurimo. Segregation of speakers for speaker adaptation in TV news audio. In Proc. IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2007, pages 481–484, Honolulu, HI, USA, April 15–20 2007. |
|
|
132 | Jarkko Ylipaavalniemi, Eerika Savia, Ricardo Vigário, and Samuel Kaski. Functional elements and networks in fMRI. In 15th European Symposium on Artificial Neural Networks (ESANN 2007), pages 561–566, Bruges, Belgium, April 2007. Poster. |
|
|
131 | Matthieu Molinier, Jorma Laaksonen, and Tuomas Häme. Change detection. GEO: connexion, 6(3):36–38, March 2007. |
|
|
130 | Olli Simula, Amaury Lendasse, Francesco Corona, Satu-Pia Reinikainen, Marja-Liisa Riekkola, Kari Hartonen, Ilppo Vuorinen, and Jukka Silén. Developing chemometrics with the tools of information sciences (CHESS) – MASIT23. In MASI Programme 2005-2009, Yearbook 2007, pages 201–221. Libris Oy, March 2007. |
|
|
129 | Antti Sorjamaa and Amaury Lendasse. Time series prediction as a problem of missing values. In ESTSP 2007, European Symposium on Time Series Prediction, Espoo (Finland), pages 165–174, February 7-9 2007. |
|
|
128 | Francesco Corona and Amaury Lendasse. Variable scaling for time series prediction. In Proceedings of ESTSP 2007, European Symposium on Time Series Prediction, Espoo (Finland), pages 69–76, February 7-9 2007. |
|
|
127 | Jarkko Tikka and Jaakko Hollmén. Long-term prediction of time series using a parsimonious set of inputs and LS-SVM. In Amaury Lendasse, editor, Proceedings of the First Symposium on Time Series Prediction (ESTSP'07), pages 87–96, February 2007. Espoo, Finland. |
|
|
126 | Nima Reyhani and Amaury Lendasse. An empirical dependence measures based on residual variance estimation. In ISSPA 2007, International Symposium on Signal Processing and its Applications in conjunction with the International Conference on Information Sciences, Signal Processing and its Applications, Sharjah, United Arab Emirates (U.A.E.), pages 1–4, February 12-15 2007. |
|
|
125 | Tuomas Kärnä and Amaury Lendasse. Comparison of FDA based time series prediction methods. In ESTSP 2007, European Symposium on Time Series Prediction, Espoo (Finland), pages 77–86, February 7-9 2007. |
|
|
124 | Nima Reyhani and Amaury Lendasse. An empirical dependence measures based on residual variance estimation. In ISSPA 2007, International Symposium on Signal Processing and its Applications in conjunction with the International Conference on Information Sciences, Signal Processing and its Applications, Sharjah, United Arab Emirates (U.A.E.), February 12-15 2007. |
|
|
123 | Antti Honkela, Jeremias Seppä, and Esa Alhoniemi. Agglomerative independent variable group analysis. In Proc. 15th European Symposium on Artificial Neural Networks (ESANN 2007), pages 55–60, Bruges, Belgium, 2007. |
|
|
122 | Antti Honkela, Harri Valpola, Alexander Ilin, and Juha Karhunen. Blind separation of nonlinear mixtures by variational Bayesian learning. Digital Signal Processing, 17(5):914–934, 2007. |
|
|
121 | Antti Honkela, Matti Tornio, Tapani Raiko, and Juha Karhunen. Natural conjugate gradient in variational inference (abstract). In The Learning Workshop, San Juan, Puerto Rico, 2007. |
|
|
120 | Esa Alhoniemi, Antti Honkela, Krista Lagus, Jeremias Seppä, Paul Wagner, and Harri Valpola. Compact modeling of data using independent variable group analysis. IEEE Transactions on Neural Networks, 18(6):1762–1776, 2007. |
|
|
119 | Matti Tornio, Antti Honkela, and Juha Karhunen. Time series prediction with variational Bayesian nonlinear state-space models. In Proceedings of the European Symposium on Time Series Prediction (ESTSP 2007), pages 11–19, Espoo, Finland, 2007. |
|
|
118 | Alexander Ilin, Harri Valpola, and Erkki Oja. Finding interesting climate phenomena by exploratory statistical techniques. In Proceedings of the Fifth Conference on Artificial Intelligence Applications to Environmental Science as part of the 87th Annual Meeting of the American Meteorological Society, San Antonio, TX, USA, January 2007. |
|
|
117 | Antti Ukkonen. Visualizing sets of partial rankings. In Advances in Intelligent Data Analysis VII, number 4723 in Lecture Notes in Computer Science, pages 240–251. Springer, Berlin / Heidelberg, 2007. |
|
|
116 | Antti Ukkonen and Heikki Mannila. Finding outlying items in sets of partial rankings. In Knowledge Discovery in Databases: PKDD 2007, number 4702 in Lecture Notes in Artificial Intelligence, pages 265–276. Springer, Berlin / Heidelberg, 2007. |
|
|
115 | Billy Bob Brumley and Kaisa Nyberg. Differential properties of elliptic curves and blind signatures. In Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, and René Peralta, editors, Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings, volume 4779 of Lecture Notes in Computer Science, pages 376–389. Springer, 2007. |
|
|
114 | Billy Bob Brumley and Kimmo U. Järvinen. Koblitz curves and integer equivalents of Frobenius expansions. In Carlisle M. Adams, Ali Miri, and Michael J. Wiener, editors, Selected Areas in Cryptography, 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers, volume 4876 of Lecture Notes in Computer Science, pages 126–137. Springer, 2007. |
|
|
113 | Harri Haanpää, editor. Annual report for the year 2006. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, 2007. |
|
|
112 | Matti Järvisalo. Impact of Restricted Branching on Clause Learning SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
111 | Maarit Hietalahti. Requirements for a security architecture for clustered ad-hoc networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
110 | Sami Kauppinen. Trust evaluation in component-based software architecture. Master's thesis, Helsinki University of Technology, Department of Computer Scienceand Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
109 | Risto Hakala. Linear cryptanalysis of two stream ciphers. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
108 | Samuli Larvala. Differential compression for efficient software updating. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
107 | Antti J. Tuominen. Managing global connectivity with IPv6 in heterogeneous mobility scenarios. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
106 | Janne Lundberg. A proof of concept PLA implementation, 2007. Computer program. |
|
|
105 | Sven Laur and Helger Lipmaa. A new protocol for conditional disclosure of secrets and its applications. In Jonathan Katz and Moti Yung, editors, Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings, volume 4521 of Lecture Notes in Computer Science, pages 207–225. Springer, 2007. |
|
|
104 | Ahto Buldas and Sven Laur. Knowledge-binding commitments with applications in time-stamping. In Tatsuaki Okamoto and Xiaoyun Wang, editors, Public Key Cryptography - PKC 2007, 10th International Conference on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007, Proceedings, volume 4450 of Lecture Notes in Computer Science, pages 150–165. Springer, 2007. |
|
|
103 | Maarit Hietalahti. A clustering-based group key agreement protocol for ad-hoc networks. In 3rd Workshop on Cryptography for Ad hoc Networks (WCAN 2007), July 8th, 2007, Wroclaw, Poland, 2007. |
|
|
102 | Philippe Dumas, Helger Lipmaa, and Johan Wallén. Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation. Discrete Mathematics and Theoretical Computer Science, 9(1):247–274, 2007. |
|
|
101 | Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Söderlund, Markku Turunen, and Kimmo Varpaaniemi. Applying Lyra in modeling S60 camera functionality. In John Leaney, Jerzy W. Rozenblit, and Jianfeng Peng, editors, Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007, Raising Expectations of Computer-Based Systems, pages 25–36. IEEE Computer Society Press, 2007. |
|
|
100 | Eugen Czeizler. The Inverse Neighborhood Problem and Applications of Welch Sets in Automata Theory. PhD thesis, University of Turku, Department of Mathematics, Turku Center for Computer Science, Dissertations No. 85, Turku, Finland, 2007. Honours: The thesis was approved ``with honours´´. |
|
|
99 | Thomas Gärtner and Gemma C. Garriga. The cost of learning directed cuts. In ECML, pages 152–163, 2007. |
|
|
98 | Gemma C. Garriga, Hannes Heikinheimo, and Jouni K. Seppänen. Cross-mining binary and numerical attributes. In ICDM, pages 481–486, 2007. |
|
|
97 | Harri Haanpää and Patric R. J. Östergård. Sets in Abelian groups with distinct sums of pairs. Journal of Number Theory, 123:144–153, 2007. |
|
|
96 | Harri Haanpää, André Schumacher, Thorn Thaler, and Pekka Orponen. Distributed computation of maximum lifetime spanning subgraphs in sensor networks. In Hongke Zhang, Stephan Olariu, Jiannong Cao, and David B. Johnson, editors, Proceedings of The 3rd International Conference on Mobile Ad-hoc and Sensor Networks (MSN 2007), volume 4864 of Lecture Notes in Computer Science, pages 445–456, Berlin / Heidelberg, 2007. Springer. |
|
|
95 | Hannes Heikinheimo, Eino Hinkanen, Heikki Mannila, Taneli Mielikäinen, and Jouni K. Seppänen. Finding low-entropy sets and trees from binary data. In 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), pages 350–359, 2007. |
|
|
94 | Gemma C. Garriga, Hannes Heikinheimo, and Jouni K. Seppänen. Cross-mining binary and numerical attributes. In IEEE International Conference on Data Mining (ICDM), pages 481–486, 2007. Poster. |
|
|
93 | Verónica Dahl and Ilkka Niemelä, editors. Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, volume 4670 of Lecture Notes in Computer Science. Springer, 2007. |
|
|
92 | Janne Toivola. Modular specification of dynamic Bayesian networks for time series analysis. Master's thesis, Helsinki University of Technology, Espoo, Finland, January 2007. |
|
|
91 | Jani Suomalainen, Jukka Valkonen, and N. Asokan. Security Associations in Personal Networks: A Comparative Analysis. In Frank Stajano, Catherine Meadows, Srdjan Capkun, and Tyler Moore, editors, Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, number 4572 in Lecture Notes in Computer Science, pages 43–57, 2007. |
|
|
90 | Kaisa Nyberg and Jukka Valkonen. Wireless Group Security Using MAC Layer Multicast. In World of Wireless, Mobile and Multimedia Networks, 2007. WoWMoM 2007. IEEE International Symposium on a, pages 1–8, 2007. |
|
|
89 | Jukka Valkonen, Aleksi Toivonen, and Kristiina Karvonen. Usability Testing for Secure Device Pairing in Home Networks. In Anne Bajart, Henrik Muller, and Thomas Strang, editors, UbiComp 2007 Workshop Proceedings, September 2007, Innsbruck, Austria, 2007. |
|
|
88 | Jori Dubrovin. SMUML/Suboco 1.10 — an SMT-based UML bounded model checker, 2007. Computer program. |
|
|
87 | Jori Dubrovin. SMUML/Uboco 1.10 — a translator from UML models to NuSMV programs, 2007. Computer program. |
|
|
86 | Harri Keski-Säntti, Timo Atula, Jarkko Tikka, Jaakko Hollmén, Antti A. Mäkitie, and Ilmo Leivo. Predictive value of histopathologic parameters in early squamous cell carcinoma of oral tongue. Oral Oncology, 43(10):1007–1013, 2007. |
|
|
85 | Jarkko Tikka, Jaakko Hollmén, and Samuel Myllykangas. Mixture modeling of DNA copy number amplification patterns in cancer. In Francisco Sandoval, Alberto Prieto, Joan Cabestany, and Manuel Graña, editors, Proceedings of the 9th International Work-Conference on Artificial Neural Networks (IWANN 2007), volume 4507 of Lecture Notes in Computer Science, pages 972–979, San Sebastián, Spain, 2007. Springer-Verlag. |
|
|
84 | Jaakko J. Väyrynen, Timo Honkela, and Lasse Lindqvist. Towards explicit semantic features using independent component analysis. In Magnus Sahlgren and Ola Knuttson, editors, Proceedings of the Workshop Semantic Content Acquisition and Representation (SCAR), pages 20–27. Swedish Institute of Computer Science, 2007. SICS Technical Report T2007:06. |
|
|
83 | Zhirong Yang and Jorma Laaksonen. Multiplicative updates for non-negative projections. Neurocomputing, 71(1-3):363–373, 2007. |
|
|
82 | Jorma Laaksonen, Markus Koskela, Mats Sjöberg, Ville Viitaniemi, and Hannes Muurinen. Video summarization with SOMs. In Proceedings of the 6th Int. Workshop on Self-Organizing Maps (WSOM 2007), Bielefeld, Germany, 2007. Available online at http://dx.doi.org/10.2390/biecoll-wsom2007-143. |
|
|
81 | Juha Karhunen and Tomas Ukkonen. Extending ICA for finding jointly dependent components from two related data sets. Neurocomputing, 70(16-18):2969–2979, 2007. |
|
|
80 | David Hardoon, John Shawe-Taylor, Antti Ajanki, Kai Puolamäki, and Samuel Kaski. Information retrieval by inferring implicit queries from eye movements. In International Conference on Artificial Intelligence and Statistics (AISTATS '07), 2007. |
|
|
79 | Kai Puolamäki. T-61.3050: Machine learning: Basic principles. Available for download at http://www.cis.hut.fi/Opinnot/T-61.3050/2007/lectures, 2007. Lecturing material. |
|
|
78 | Kaisa Nyberg and Risto Hakala. A key-recovery attack on SOBER-128. In Eli Biham, Helena Handschuh, Stefan Lucks, and Vincent Rijmen, editors, Symmetric Cryptography, number 07021 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. |
|
|
77 | Kaisa Nyberg and Miia Hermelin. Multidimensional Walsh transform and a characterization of bent functions. In Tor Helleseth, P. Vijay Kumar, and Oyvind Ytrehus, editors, Proceedings of the 2007 IEEE Information Theory Workshop on Information Theory for Wireless Networks, pages 83–86. IEEE, 2007. |
|
|
76 | Mathias Creutz and Krista Lagus. Unsupervised models for morpheme segmentation and morphology learning. ACM Transactions on Speech and Language Processing, 4(1), January 2007. |
|
|
75 | Amaury Lendasse, editor. ESTSP 2007: Proceedings. Multiprint Oy / Otamedia, 2007. ISBN: 978-951-22-8601-0. |
|
|
74 | Antti Ukkonen and Heikki Mannila. Finding outlying items in sets of partial rankings. In Knowledge Discovery in Databases: PKDD 2007, pages 265–276, 2007. |
|
|
73 | Saara Hyvonen, Aristides Gionis, and Heikki Mannila. Recurrent predictive models for sequence segmentation. In Advances in Intelligent Data Analysis VII (IDA 2007), pages 195–206, 2007. |
|
|
72 | Heikki Mannila and Evimaria Terzi. Nestedness and segmented nestedness. In Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD 2007), pages 480–489, 2007. |
|
|
71 | Hannes Heikinheimo, Eino Hinkkanen, Heikki Mannila, Taneli Mielikainen, and Jouni Seppanen. Finding low-entropy sets and trees from binary data. In Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining (KDD 2007), pages 350–359, 2007. |
|
|
70 | Niina Haiminen, Heikki Mannila, and Evimaria Terzi. Comparing segmentations by applying randomization techniques. BMC Bioinformatics, 8(171), 2007. |
|
|
69 | Niina Haiminen and Heikki Mannila. Discovering isochores by least-squares optimal segmentation. Gene, 394(1-2):53–60, 2007. |
|
|
68 | N. Landwehr, Taneli Mielikainen, Lauri Eronen, Hannu Toivonen, and Heikki Mannila. Constrained hidden markov models for population-based haplotyping. BMC Bioinformatics, 8(Suppl 2)(S9), 2007. |
|
|
67 | A. Dasgupta, Gautam Das, and Heikki Mannila. A random walk approach to sampling hidden databases. In Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data (SIGMOD 2007), pages 629–640, 2007. |
|
|
66 | Alex Hinneburg, Heikki Mannila, Samuli Kaislaniemi, Terttu Nevalainen, and Helena Raumolin-Brunberg. How to handle small samples: Bootstrap and bayesian methods in the analysis of linguistic change. Literary and Linguistic Computing, 22(2):137–150, 2007. |
|
|
65 | Hannes Heikinheimo, Mikael Fortelius, Jussi Eronen, and Heikki Mannila. Biogeography of european land mammals shows environmentally distinct and spatially coherent clusters. Journal of Biogeography, 34(6):1053–1064, 2007. |
|
|
64 | Aristides Gionis, Heikki Mannila, and Panayiotis Tsaparas. Clustering aggregation. ACM Transactions on Knowledge Discovery from Data, 1(1), 2007. |
|
|
63 | M. Sirola, G. Lampi, and J. Parviainen. Failure detection and separation in som based decision support. In Workshop on Self-Organizing Maps, 2007. Poster. |
|
|
62 | Matti Varjokallio and Mikko Kurimo. Comparison of subspace methods for gaussian mixture models in speech recognition. In Proceedings of the INTERSPEECH 2007, pages 2121–2124, 2007. |
|
|
61 | Ulpu Remes, Janne Pylkkönen, and Mikko Kurimo. Segregation of speakers for speaker adaptation in tv news audio. In IEEE International Conference on Acoustics, Speech and Signal Processing, 2007. ICASSP 2007., pages 481–484. IEEE, 2007. |
|
|
60 | Antti Puurula and Mikko Kurimo. Vocabulary decomposition for estonian open vocabulary speech recognition. In 45th Annual Meeting of the Association for Computational Linguistics. ACL, 2007. |
|
|
59 | Matti Järvisalo. Restricted branching in clause learning DPLL. In Brahim Hnich and Kostas Stergiou, editors, Proceedings of the CP 2007 Doctoral Program, pages 55–60, 2007. |
|
|
58 | Matti Järvisalo and Tommi Junttila. Limitations of restricted branching in clause learning. In Christian Bessiere, editor, Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), volume 4741 of Lecture Notes in Computer Science, pages 348–363. Springer, 2007. |
|
|
57 | Matti Järvisalo. Equivalence checking hardware multiplier designs, 2007. SAT Competition 2007 benchmark description. Available at http://www.satcompetition.org/2007/contestants.html. |
|
|
56 | Matti Järvisalo. The effect of structural branching on the efficiency of clause learning SAT solving. In 14th RCRA Workshop: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2007. See http://pst.istc.cnr.it/RCRA07/program.html. |
|
|
55 | Matti Järvisalo. Industrial-strength SAT solving and restricted branching. In Veli Mäkinen, Greger Lindén, and Hannu Toivonen, editors, Summer School on Algorithmic Data Analysis (SADA 2007) and Annual Hecse Poster Session. Abstract proceedings, Series of Publications B, Report B-2007-4, page 39. Helsinki University Printing House, 2007. |
|
|
54 | Matti Järvisalo and Emilia Oikarinen. Extended ASP tableaux and rule redundancy in normal logic programs. In Verónica Dahl and Ilkka Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), volume 4670 of Lecture Notes in Computer Science, pages 134–148. Springer, 2007. |
|
|
53 | Mikaela Klami and Timo Honkela. Self-organized ordering of terms and documents in nsf awards data. In Proceedings of WSOM'07. University Library of Bielefeld, 2007. |
|
|
52 | Nikolaj Tatti. Maximum entropy based significance of itemsets. In Proceedings of Seventh IEEE International Conference on Data Mining (ICDM 2007), pages 312–321, 2007. |
|
|
51 | Nikolaj Tatti. Distances between data sets based on summary statistics. Journal of Machine Learning Research, 8:131–154, Jan 2007. |
|
|
50 | Amaury Lendasse, Erkki Oja, Olli Simula, and Michel Verleysen. Time series prediction competition: The cats benchmark. Neurocomputing, 70(13-15):2325–2329, 2007. |
|
|
49 | Petr Tichavský, Zbynek Koldovský, and Erkki Oja. Speed and accuracy enhancement of linear ica techniques using rational nonlinear functions. In ICA, pages 285–292, 2007. |
|
|
48 | Pekka Orponen. "P = NP" -ongelma ja laskennan vaativuusteoria. Tietojenkäsittelytiede, 26:54–67, 2007. |
|
|
47 | Panagiotis Papapetrou. Constrained-based mining of frequent arrangements of temporal intervals. Master of Arts Thesis, 2007. |
|
|
46 | Petteri Kaski, Aleksi Penttinen, and Jukka Suomela. Coordinating concurrent transmissions: a constant-factor approximation of maximum-weight independent set in local conflict graphs. In Evangelos Kranakis and Jaroslav Opatrny, editors, Ad-Hoc, Mobile, and Wireless Networks (6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24–26, 2007), number 4686 in Lecture Notes in Computer Science, pages 74–86. Springer, 2007. |
|
|
45 | Patrik Floréen, Petteri Kaski, and Jukka Suomela. A distributed approximation scheme for sleep scheduling in sensor networks. In Proceedings of the 4th Annual IEEE Communications Society Conference on Sensor, Mesh, and Ad Hoc Communications and Networks (San Diego, CA, June 18—21, 2007), pages 152–161. IEEE, 2007. |
|
|
44 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, and Mikko Koivisto. Fourier meets möbius: fast subset convolution. In Proceedings of the 39th Annual ACM Symposium on Theory of Computing (San Diego, CA, June 11—13, 2007), pages 67–74. ACM, 2007. |
|
|
43 | Petteri Kaski and Patric R. J. Östergård. There exists no symmetric configuration with 33 points and line size 6. Australasian Journal of Combinatorics, 38:273–277, 2007. |
|
|
42 | Tapani Raiko, Harri Valpola, Markus Harva, and Juha Karhunen. Building blocks for variational Bayesian learning of latent variable models. Journal of Machine Learning Research, 8(Jan):155–201, January 2007. |
|
|
41 | J.-H. Schleimer and R. Vigário. Clustering limit cycle oscillators by spectral analysis of the synchronisation matrix with an additional phase sensitive rotation. In Proc. 17th Int. Conf. on Artificial Neural Networks (ICANN'2007), pages 944–953, Porto, Portugal, 2007. |
|
|
40 | J.-H. Schleimer and R. Vigário. Order in complex systems of nonlinear oscillators: Phase locked subspaces. In Proc. of 15th European Symposium on Artificial Neural Networks (ESANN'07), pages 13–18, Bruges, Belgium, 2007. |
|
|
39 | Antti Ajanki, Janne Nikkilä, and Samuel Kaski. Discovering condition-dependent Bayesian networks for gene regulation. In Proceedings of GENSIPS 2007, The Fifth IEEE International Workshop on Genomic Signal Processing and Statistics, Tuusula, Finland, 10-12 June, 2007. |
|
|
38 | Janne Aukia, Samuel Kaski, and Janne Sinkkonen. Inferring vertex properties from topology in large networks. In NIPS'07 Workshop on Statistical Models of Networks, 2007. |
|
|
37 | David R. Hardoon, John Shawe-Taylor, Antti Ajanki, Kai Puolamäki, and Samuel Kaski. Information retrieval by inferring implicit queries from eye movements. In Marina Meila and Xiaotong Shen, editors, Proceedings of AISTATS 2007, the 11th International Conference on International Conference on Artificial Intelligence and Statistics. Omnipress, 2007. JMLR Workshop and Conference Proceedings, Volume 2: AISTATS 2007. |
|
|
36 | Samuel Kaski and Jaakko Peltonen. Learning from relevant tasks only. In Joost N. Kok, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic, and Andrzej Skowron, editors, Machine Learning: ECML 2007 (Proceedings of the 18th European Conference on Machine Learning), pages 608–615, Berlin, 2007. Springer-Verlag. |
|
|
35 | Samuel Kaski, Juho Rousu, and Esko Ukkonen, editors. BMC Bioinformatics, Special Issue on Probabilistic Modeling and Machine Learning in Structural and Systems Biology, 8(Suppl 2), 2007. |
|
|
34 | Samuel Kaski, Juho Rousu, and Esko Ukkonen. Probabilistic modeling and machine learning in structural and systems biology. BMC Bioinformatics, 8(Suppl 2):S1, 2007. |
|
|
33 | Arto Klami and Samuel Kaski. Local dependent components. In Zoubin Ghahramani, editor, Proceedings of ICML 2007, the 24th International Conference on Machine Learning, pages 425–432. Omnipress, 2007. |
|
|
32 | Kristian Nybo, Jarkko Venna, and Samuel Kaski. The self-organizing map as a visual information retrieval method. In Proceedings of WSOM'07, 6th International Workshop on Self-Organizing Maps, Bielefeld, Germany, 2007. Bielefeld University. |
|
|
31 | Penny Nymark, Pamela M Lindholm, Mikko V Korpela, Leo Lahti, Salla Ruosaari, Samuel Kaski, Jaakko Hollmen, Sisko Anttila, Vuokko L Kinnula, and Sakari Knuutila. Gene expression profiles in asbestos-exposed epithelial and mesothelial lung cell lines. BMC Genomics, 8:62, 2007. |
|
|
30 | Merja Oja, Jaakko Peltonen, Jonas Blomberg, and Samuel Kaski. Methods for estimating human endogenous retrovirus activities from EST databases. BMC Bioinformatics, 8(Suppl 2):S11, 2007. |
|
|
29 | Merja Oja, Jaakko Peltonen, and Samuel Kaski. A hidden Markov model for estimating retrovirus activities from expressed sequence databases. In European Conference on Computational Biology (ECCB 2006), Eilat, Israel, January 21-24 2007. Poster. |
|
|
28 | Jaakko Peltonen, Jacob Goldberger, and Samuel Kaski. Fast semi-supervised discriminative component analysis. In Konstantinos Diamantaras, Tülay Adali, Ioannis Pitas, Jan Larsen, Theophilos Papadimitriou, and Scott Douglas, editors, Machine Learning for Signal Processing XVII, pages 312–317. IEEE, 2007. Preprint pdf at http://www.cis.hut.fi/projects/mi/papers/mlsp07.pdf. |
|
|
27 | Janne Sinkkonen, Janne Aukia, and Samuel Kaski. Inferring vertex properties from topology in large networks. In MLG'07, the 5th International Workshop on Mining and Learning with Graphs, Firenze, Aug 1-3, 2007, 2007. |
|
|
26 | Jarkko Venna and Samuel Kaski. Nonlinear dimensionality reduction as information retrieval. In Marina Meila and Xiaotong Shen, editors, Proceedings of AISTATS 2007, the 11th International Conference on International Conference on Artificial Intelligence and Statistics. Omnipress, 2007. JMLR Workshop and Conference Proceedings, Volume 2: AISTATS 2007. |
|
|
25 | Jarkko Venna and Samuel Kaski. Comparison of visualization methods for an atlas of gene expression data sets. Information Visualization, 6:139–154, 2007. |
|
|
24 | Jarkko Ylipaavalniemi, Eerika Savia, Ricardo Vigário, and Samuel Kaski. Functional elements and networks in fMRI. In Proceedings of ESANN 2007, the 15th European Symposium on Artificial Neural Networks, pages 561–566, Bruges, Belgium, 2007. d-side. |
|
|
23 | Satu Elisa Schaeffer. Graph clustering. Computer Science Review, 1(1):27–64, 2007. |
|
|
22 | Ahto Buldas and Sven Laur. Knowledge-binding commitments with applications in time-stamping. In Public Key Cryptography - PKC 2007, 10th International Conferenc on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007, volume 4450 of Lecture Notes in Computer Science, pages 150–165. Springer, 2007. |
|
|
21 | Sven Laur and Helger Lipmaa. A new protocol for conditional disclosure of secrets and its applications. In Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, volume 4521 of Lecture Notes in Computer Science, pages 207–225. Springer, 2007. |
|
|
20 | S. Luyssaert, Mika Sulkava, H. Raitio, Jaakko Hollmén, and P. Merilä. Is N and S deposition altering the mineral nutrient composition of Norway spruce and Scots pine needles in Finland?. In Johannes Eichhorn, editor, Proceedings of Symposium: Forests in a Changing Environment – Results of 20 years ICP Forests Monitoring, volume 142 of Schriften aus der Forstlichen Fakultät der Universität Göttingen und der Nordwestdeutschen Forstlichen Versuchsanstalt, pages 80–81, Göttingen, Germany, 2007. J. D. Sauerländer's Verlag. |
|
|
19 | Timo Honkela. Models for self-organization of health care. In Abstracts of FISCAR'07, The Third Finnish Conference on Cultural and Activity Research. University of Helsinki, 2007. |
|
|
18 | Timo Honkela. Philosophical aspects of neural, probabilistic and fuzzy modeling of language use and translation. In Proceedings of IJCNN, pages 2881–2886, 2007. |
|
|
17 | Teuvo Kohonen and Timo Honkela. Kohonen network. Scholarpedia, 2(1):7421, 2007. |
|
|
16 | Tarja Knuuttila, Anna-Mari Rusanen, and Timo Honkela. Self-organizing maps as traveling computational templates. In Proceedings of IJCNN'07, pages 1231–1236, 2007. |
|
|
15 | Lasse Lindqvist, Timo Honkela, and Mika Pantzar. Visualizing practice theory through a simulation model. Technical Report E9, Helsinki University of Technology, 2007. |
|
|
14 | Yaniv Eytani and Timo Latvala. Explaining intermittent concurrent bugs by minimizing scheduling noise. In Eyal Bin, Avi Ziv, and Shmuel Ur, editors, Proceedings of the Second Haifa Verification Conference (HVC 2006), volume 4383 of Lecture Notes in Computer Science, pages 183–197, Haifa, Israel, 2007. Springer-Verlag. |
|
|
13 | Tommi Junttila and Petteri Kaski. Engineering an efficient canonical labeling tool for large and sparse graphs. In David Applegate, Gerth Stølting Brodat, Daniel Panario, and Robert Sedgewick, editors, Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithms and Combinatorics. SIAM, 2007. |
|
|
12 | Matti Järvisalo and Tommi Junttila. Limitations of restricted branching in clause learning. In Christian Bessiere, editor, Principles and Practice of Constraint Programming – CP 2007, volume 4741 of Lecture Notes in Computer Science, pages 348–363. Springer, 2007. |
|
|
11 | Tommi Junttila. SMUML/proco version 2.00 — a translator from UML models to Promela, 2007. Computer program. |
|
|
10 | Tommi Junttila. PySMT version 0.50 — a Python front-end for satisfiability modulo theories solvers, 2007. Computer program. |
|
|
9 | Tomi Janhunen. asptools 1.0 — A tool collection for answer set programming. http://www.tcs.hut.fi/Software/asptools/, 2007. Computer Program. |
|
|
8 | Tomi Janhunen. lpeq 1.19 — A tool for testing the modular equivalence of logic programs. http://www.tcs.hut.fi/Software/lpeq/, 2007. Computer Program. |
|
|
7 | Ulpu Remes. Speaker-based segmentation and adaptation in automatic speech recognition. Master's thesis, Helsinki University of Technology, 2007. |
|
|
6 | Vesa Ojala. SMUML/slicer 1.0.0 — a slicer for slicing UML state machines, 2007. Computer program. |
|
|
5 | Vesa Ojala. SMUML/canal 1.0.0 — a counterexample analysator for analyzing abstract counterexamples from data abstracted UML models, 2007. Computer program. |
|
|
4 | Ville T. Turunen and Mikko Kurimo. Indexing confusion networks for morph-based spoken document retrieval. In SIGIR '07: Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval, pages 631–638, New York, NY, USA, 2007. ACM. |
|
|
3 | Zhijian Yuan and Erkki Oja. A family of projective nonnegative matrix factorization algorithms. In Proceedings of the 9th International Symposium on Signal Processing and its Applications, 2007. |
|
|
2 | Zhijian Yuan Zhirong Yang and Jorma Laaksonen. Projective nonnegative matrix factorization with applications to facial image processing. International Journal on Pattern Recognition & Artificial Intelligence, 21(8):1353–1362, 2007. |
|
|
1 | Kaisa Nyberg. Kryptologia – tiedon turvaamisen tiede. Tietojenkäsittelytiede, 26:32–53, Heinäkuu 2007. |
|
