Next: Faculty
Up: Research
Previous: Transaction Management Support for
Recent publications of the department are listed below according to the
ACM Computing Reviews (CR) classification
system. The list contains
selected publications in 1994-95 and new publications since January
1996.
- A. General Literature
- C. Computer Systems Organization
- D. Software
- D.1 Programming Techniques
- D.2 Software Engineering
- D.3 Programming Languages
- E. Data
- F. Theory of Computation
- F.1 Computation by Abstract Devices
- F.2 Analysis of Algorithms and Problem Complexity
- F.3 Logics and Meanings of Programs
- F.4 Mathematical Logic and Formal Language
- G. Mathematics of Computing
- H. Information Systems
- I. Computing Methodologies
- J. Computer Applications
- K. Computing Milieux
- 1.
- K. Korpimies: The Basics of Computer Science: A Student's Guide
(in Finnish). Lahti Research and Training Centre, University of Helsinki, 1995
and 1996.
- 2.
- K. Korpimies and J. Vanha-Eskola: The Basics of Computer Science: A
Tutor's Guide (in Finnish). Lahti Research and Training Centre, University of
Helsinki, 1995 and 1996.
- 3.
- J. Tarhio and M. Tienari (eds.): Computer science at the University
of Helsinki 1996. Report A-1996-3, Department of Computer Science, University
of Helsinki, 1997.
- 4.
- K. Korpimies: Internet: A User's Guide (in Finnish). Suomen
Atk-kustannus Oy, 1994 and 1995.
- 5.
- J. Taina: Database Architecture for Intelligent Networks.
Ph.Lic. Thesis, Report C-1997-50, Department of Computer Science,
University of Helsinki, 1997.
- 6.
- T. Alanko, L. Hippeläinen, M. Kojo, H. Laamanen, M. Liljeberg and
K. Raatikainen: Mowgli: Enhanced communication services for mobile computing
using GSM. In Proc. ITU Telecom Interactive 97 Forum, 1997.
- 7.
- T. Alanko, H. H. Kari, M. Kojo, H. Laamanen, M. Liljeberg,
K. Raatikainen and M. Tienari: Communication services for mobile office in
wireless WAN environments. In Global Communications: Interactive '97
(ed. R. Struzak), Hanson Cooke Ltd, 1997, 219-225.
- 8.
- T. Alanko, M. Kojo, H. Laamanen, K. Raatikainen and M. Tienari:
Mobile computing based on GSM: The Mowgli approach. In Proc. IFIP World
Conference on Mobile Communications: Technology, Tools, Applications,
Authentication and Security (eds. J. L. Encarnação and J. M. Rabaey), Chapman
& Hall, 1996, 151-158.
- 9.
- T. Alanko, M. Kojo, M. Liljeberg and K. Raatikainen: Mowgli:
Improvements for Internet applications using slow wireless links. In Proc.
8th IEEE International Symposium on Personal, Indoor and Mobile Radio
Communications, 1997, 1038-1042.
- 10.
- K. Granö, J. Paakki, A. Viljamaa and J. Viljamaa:
Protocol engineering & Kannel.
Dr. Dobb's Journal 23, 4 (1998), 46-53.
- 11.
- J. Kiiskinen, M. Kojo, M. Liljeberg and K. Raatikainen: Data
channel service for wireless telephone links. In Proc. 2nd
International Mobile Computing Conference, ACM, 1996, 60-69.
- 12.
- M. Kojo, K. Raatikainen and T. Alanko: Connecting mobile
workstations to the Internet over a digital cellular telephone network. In
Mobile Computing (ed. T. Imielinski and H. Korth), Kluwer Academic
Publishers, 1996, 253-270.
- 13.
- H. Laamanen, T. Alanko, M. Kojo and K. Raatikainen: The Mowgli project
for pan-European GSM data. In Mobile Internet, IBC Technical Services,
1996.
- 14.
- M. Liljeberg, H. Helin, M. Kojo and K. Raatikainen: Mowgli WWW
software: Improved usability of WWW in mobile WAN environments. In Proc.
IEEE Global Internet 1996 Conference, 1996, 33-37.
- 15.
- M. Liljeberg, S. Furnell, K. Raatikainen and P. Reynolds:
Internet information browsing using GSM data communications: A
benchmarking study. In ACTS Mobile Communications Summit '97:
``Towards a wireless communication society'', vol. 2, Center for
PersonKommunikation, 1997, 876-881.
- 16.
- K. Raatikainen and S. Trigila: Software radio and service
architectures. In ACTS Mobile Communications Summit '97: Invited and round
table papers, Center for PersonKommunikation, 1997.
- 17.
- A. Arvonen, K. Granö, J. Harju and J. Paakki: Experiences
with the integration of protocol software tools. Computer
Communications, 19, 2 (1996), 141-151.
- 18.
- R. Kaivola: Using compositional preorders in the verification of
sliding window protocol. In Proc. 9th International Conference on
Computer-Aided Verification, CAV '97 (ed. O. Grumberg), Lecture Notes in
Computer Science 1254, Springer, 1997, 48-59.
- 19.
- M. Kojo, K. Raatikainen, M. Liljeberg, J. Kiiskinen and T. Alanko:
An efficient transport service for slow wireless telephone links. IEEE
Journal on Selected Areas in Communications 15, 7 (1997),
1337-1348.
- 20.
- K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen and
H. Toivonen: TASA: Telecommunications alarm sequence analyzer, or ``How
to enjoy faults in your network''.
In Proc. IEEE Network Operations and Management
Symposium, NOMS '96, IEEE, 1996, 520-529.
- 21.
- M. Klemettinen, H. Mannila and H. Toivonen: A data mining
methodology and its application to semi-automatic knowledge acquisition.
In Proc. International Workshop on Database and Expert
Systems Applications, DEXA '97 (eds. A. Hameurlain and A. M. Tjoa),
IEEE Computer Society Press, 1997, 670-677.
- 22.
- M. Klemettinen, H. Mannila and H. Toivonen: Rule
discovery in telecommunication alarm data. To appear in
Journal of Network and Systems Management, 1998.
- 23.
- M. Klemettinen, H. Mannila and H. Toivonen: Interactive
exploration of interesting findings in TASA. To appear in Information and
Software Technology, 1998.
- 24.
- K. Granö and J. Paakki: From peer to service, from service
to peer - object-oriented protocol refinement in Kannel. Report
TUM-I9623, Institut für Informatik, Technische Universität
München, 1996.
- 25.
- P. Kähkipuro: Basic patterns of distributed object-oriented
computing. In Proc. 2nd International Conference ``The White
Object-Oriented Nights'', WOON' 96 (eds. A. Smolyaninov and
A. Shestialtynov), St. Petersburg Electrotechnical University, 1996, 115-125.
- 26.
- P. Kähkipuro: Distributed software localization. In Industrial
and Short Paper Proc. International Workshop on Trends in Distributed Systems,
TreDS '96 (eds. O. Spaniol, C. Linnhoff-Popien and B. Meyer), Band 17,
Aachener Beiträge zur Informatik, Verlag der Augustinus Buchhandlung, 1996,
104-111.
- 27.
- P. Kähkipuro: An object model framework for middleware-based
distributed systems. In Proc. IFIP TC6 WG6.1 International Working
Conference on Distributed Applications and Interoperable Systems, DAIS '97
(eds. H. König, K. Geihs and T. Preuss), Chapman & Hall, 1997, 201-207.
- 28.
- P. Kähkipuro, L. Kutvonen and L. Marttinen: Federated naming in an
ODP environment. In Proc. IFIP/IEEE International Conference on Open
Distributed Processing and Distributed Platforms (eds. J. Rolia, J. Slonim
and J. Botsford), Chapman & Hall, 1997, 314-325.
- 29.
- P. Kähkipuro, L. Marttinen and L. Kutvonen: Reaching interoperability
through ODP type framework. Report C-1996-96, Department of Computer
Science, University of Helsinki, 1996.
- 30.
- P. Kähkipuro, L. Marttinen and L. Kutvonen: Reaching
interoperability through ODP type framework. In Proc. Conference on
Convergence of Telecommunications and Distributed Computing Technologies,
TINA '96, VDE-Verlag, 1996, 283-284.
- 31.
- L. Kutvonen: Overview of the DRYAD trading system implementation. In
Proc. IFIP/IEEE International Conference on Distributed Platforms:
Client/Server and Beyond: DCE, CORBA, ODP and Advanced Distributed
Applications (eds. A. Schill, C. Mittasch, O. Spaniol and C. Popien), Chapman
& Hall, 1996, 314-326.
- 32.
- L. Kutvonen: The Role of Trading Function in Open Distributed
Processing Infrastructure. Ph.Lic. Thesis, Report C-1996-84, Department of
Computer Science, University of Helsinki, 1996.
- 33.
- L. Kutvonen: Management of application federations.
In IFIP TC6 WG6.1 International Working Conference on Distributed
Applications and Interoperable Systems (eds. H. König et al.),
Chapman & Hall, 1997, 33-46.
- 34.
- L. Kutvonen: Why CORBA systems cannot federate?
In Proc. OMA/ODP Workshop, Object Management Group, 1997.
- 35.
- L. Kutvonen: Architectures for distributed systems: Open Distributed
Processing reference model. In HeCSE Workshop on Emerging Technologies
in Distributed Systems, Helsinki University of Technology, 1998.
- 36.
- L. Kutvonen: Supporting global electronic commerce with ODP tools.
In Trends in Distributed Systems '98: Electronic Commerce,
Morgan Kaufmann, 1998.
- 37.
- P. Kutvonen and L. Kutvonen: Measured performance of a
special-purpose database engine for distributed system software.
Computer Communications Journal 19, 1 (1996), 21-29.
- 38.
- M. Liljeberg, H. Helin, M. Kojo and K. Raatikainen: Enhanced
services for World-Wide Web in mobile WAN environment. In Proc. 3rd International Conference on Communicating by Image and
Multimedia, IMAGE'COM 96, 1996.
- 39.
- P. Porkka and K. Raatikainen: CORBA access to telecommunications
databases. In Proc. IFIP TC6 WG6.7 International Conference on Intelligent
Networks and Intelligence in Networks (ed. D. Gaiti, Chapman & Hall,
1997, 281-300.
- 40.
- T. Niklander, J. Kiviniemi and K. Raatikainen:
A real-time database for future telecommunication services.
In Proc. IFIP TC6 WG6.7 International Conference on Intelligent
Networks and Intelligence in Networks (ed. D. Gaiti),
Chapman & Hall, 1997, 413-430.
- 41.
- T. Niklander and K. Raatikainen:
Real-time platform for the RODAIN database.
Report C-1996-53, Department of Computer Science, University of Helsinki, 1996.
- 42.
- T. Niklander and K. Raatikainen:
Interworking requirements in the RODAIN database management system.
Report C-1996-77, Department of Computer Science, University of Helsinki, 1996.
- 43.
- K. Raatikainen, J. Kiviniemi, T. Niklander and P. Porkka:
Specification of RODAIN database architecture and interfaces.
Report C-1996-103, Department of Computer Science, University of Helsinki, 1996.
- 44.
- K. Raatikainen, J. Kiviniemi, T. Niklander and P. Porkka:
Implementation plan for the RODAIN prototype.
Report C-1996-104, Department of Computer Science, University of Helsinki, 1996.
- 45.
- K. Raatikainen and A. Tuoriniemi: Mobility in the intelligent network
architecture. In Proc. 4e Colloque International sur l'Intelligence dans
les Reseaux, France Telecom, 1996, 289-294
- 46.
- J. Taina, P. Elovaara, T. Niklander and K. Raatikainen: Platform
requirements of a real-time object-oriented database management system for
telecommunications. Report C-1996-30, Department of Computer Science,
University of Helsinki, 1996.
- 47.
- J. Taina and K. Raatikainen: Design issues and experimental database
architecture for telecommunications. In Proc. IFIP TC6 Conference on
Intelligent Networks and New Services, IN '95 (eds. J. Nørgaard and
W. Iversen), Chapman & Hall, 1996, 121-139.
- 48.
- J. Taina and K. Raatikainen: An experimental real-time
object-oriented database architecture for intelligent networks.
Engineering Intelligent Systems 3 (1996), 141-154.
- 49.
- J. Taina and K. Raatikainen: RODAIN: A real-time object-oriented
database system for telecommunications. In Proc. Workshop on Databases:
Active and Real-Time, DART '96, ACM, 1996, 12-15.
- 50.
- J. Taina and K. Raatikainen: Database usage and requirements in
intelligent networks. In Proc. IFIP TC6 WG6.7 International Conference on Intelligent
Networks and Intelligence in Networks (ed. D. Gaiti),
Chapman & Hall, 1997, 261-280.
- 51.
- J. Taina and S. Son: A framework for real-time object-oriented
database models. In Proc. IEEE 3rd International Workshop on
Object-Oriented Real-Time Dependable Systems, WORDS '97, IEEE, 1997, 146-152.
- 52.
- J. Taina and S. Son: TARTOS - Toolbox for active real-time
object-oriented database system models. In Proc. IEEE Workshop on
Parallel and Distributed Systems, WPDRTS '97, IEEE, 1997,
131-140.
- 53.
- J. Taina and S. Son: Requirements for real-time object-oriented
database models - How much is too much? In Proc. 9th
Euromicro Workshop on Real-Time Systems, IEEE, 1997, 258-265.
- 54.
- J. Taina and S. Son: A toolbox approach for requirements analysis and
modeling of active real-time object-oriented database models. Submitted to
Journal of Systems Architecture, Special Issue on Real-Time systems,
1997.
- 55.
- J. Hautamäki: A survey of frameworks. Report A-1997-3, Department of
Computer Science, University of Tampere, 1997.
- 56.
- K. Hautamäki, J. Tuomi, A. Viljamaa and J. Viljamaa: Four example
frameworks in Java. Report B-1997-6, Department of Computer Science,
University of Tampere, 1997.
- 57.
- A. Viljamaa: Application frameworks in the Java environment. Report
C-1997-24, Department of Computer Science, University of Helsinki, 1997.
- 58.
- T. Eiter, G. Gottlob and H. Mannila: Disjunctive Datalog. ACM
Transactions on Database Systems 22, 3 (1997), 364-418.
- 59.
- T. Eiter and H. Mannila: Theory distance and similarity: Measures
and computation. Acta informatica 34, 2 (1997), 109-133.
- 60.
- T. Eiter, H. Mannila and G. Gottlob: On the expressive power of
disjunctive logic programming over finite structures. Report, CD-TR 96/90,
Christian Doppler Laboratory for Expert Systems, Vienna University of
Technology, 1996.
- 61.
- H. Haapa-aho, H. Hakulinen, A. Hirvonen, T.-K. Kupias,
H. Laine, H. Niinistö, S. Räisänen and P. Virkki:
The invasion of objects (in Finnish).
Suomen Atk-kustannus Oy, 1997.
- 62.
- M. Hakala, J. Hautamäki, J. Tuomi, A. Viljamaa and J. Viljamaa:
Design of a Java framework engineering tool. Report A-1997-12, Department of
Computer Science, University of Tampere, 1997.
- 63.
- M. Harsu, J. Hautamäki and K. Koskimies: A language implementation
framework in Java. In Proc. Workshop on Language Support for Design
Patterns and Object-Oriented Frameworks, LSDF '97 (eds. J. Bosch, G. Hedin
and K. Koskimies). Research Report 6/97, University of Karlskrona/Ronneby,
1997.
- 64.
- H. Laine: Finnish-English object dictionary.
http://www.cs.helsinki.fi/~laine/oliosanasto/, 1997.
- 65.
- T. Niklander and K. Raatikainen:
Analysis of design tools for potential use in the RODAIN project.
Report C-1996-76, Department of Computer Science, University of Helsinki, 1996.
- 66.
- J. Paakki (ed.): Proc. 5th Symposium on
Programming Languages and Software Tools, Jyväskylä, Finland, 1997.
Report C-1997-37, Department of Computer Science, University of
Helsinki, 1997.
- 67.
- J. Paakki, J. Koskinen and A. Salminen: From relational program
dependencies to hypertextual access structures.
Nordic Journal of Computing 4, 1 (1997), 3-36.
- 68.
- J. Viljamaa: Tools supporting the use of design patterns in
frameworks. Report C-1997-25, Department of Computer Science, University of
Helsinki, 1997.
- 69.
- S.-P. Lahtinen, E. Sutinen, J. Tarhio and A.-P. Tuovinen:
Object-oriented visualization of program logic. In Proc.
Technology of Object-Oriented Languages & Systems, TOOLS23, 1997, 93-107.
- 70.
- J. Paakki, A. Salminen and J. Koskinen: Automated hypertext support
for software maintenance. The Computer Journal 39, 7 (1996),
577-597.
- 71.
- J. Jaakkola, P. Kilpeläinen and G. Lindén: TranSID: An SGML tree
transformation language. In Proc. 5th Symposium on Programming
Languages and Software Tools (ed. J. Paakki), Report C-1997-37, Department of
Computer Science, University of Helsinki, 1997, 72-83.
- 72.
- G. Lindén, H. Tirri and A. I. Verkamo: ALCHEMIST: A
general purpose transformation generator. Software - Practice
and Experience, 26, 6 (1996), 653-676.
- 73.
- A.-P. Tuovinen: Towards a framework for developing processors for
visual languages. In Proc. Workshop on Language Support for Design
Patterns and Object-Oriented Frameworks, LSDF '97 (eds. J. Bosch, G. Hedin
and K. Koskimies). Research Report 6/97, University of Karlskrona/Ronneby,
1997.
- 74.
- A.-P. Tuovinen: A framework for processors of visual languages. In
Proc. Workshop Reader on Object-Oriented Technology, ECOOP '97 (eds. J. Bosch and S. Mitchell), Lecture Notes in Computer Science 1357, Springer,
1998, 119-122.
- 75.
- A. P. Tuovinen: Error recovery in parsing relational languages.
Submitted 1998.
- 76.
- O. Nurmi and E. Soisalon-Soininen: Chromatic binary search trees: A
structure for concurrent rebalancing. Acta informatica 33, 6 (1996),
547-557.
- 77.
- O. Nurmi, E. Soisalon-Soininen and D. Wood: Relaxed AVL trees,
main-memory databases and concurrency. International Journal of Computer
Mathematics 62, 1 (1996), 23-44.
- 78.
- K. Pollari-Malmi, E. Soisalon-Soininen and T. Ylönen:
Concurrency control in B-trees with batch updates.
IEEE Transactions on Knowledge and Data Engineering 8, 6 (1996),
975-984.
- 79.
- P. Orponen: Quantum computers and molecular computation: A threat to
public key encryption (in Finnish). Tietotekniikan maailma, 1 (1996),
28-33.
- 80.
- P. Orponen: The computational power of discrete Hopfield nets with
hidden units. Neural Computation 8, 2 (1996), 403-415.
- 81.
- P. Orponen: Computing with truly asynchronous threshold logic
networks. Theoretical Computer Science 174, 1-2
(1997), 123-136.
- 82.
- H. Buhrman and P. Orponen: Random strings make hard instances.
Journal of Computer and System Sciences 53, 2 (1996), 261-266.
- 83.
- G. Das, R. Fleischer, L. Gasieniec, D. Gunopoulos and J. Kärkkäinen:
Episode matching. In Proc. 8th Annual Symposium on Combinatorial Pattern
Matching, CPM '97 (eds. A. Apostolico and J. Hein), Lecture Notes in
Computer Science 1264, Springer, 1997, 12-27.
- 84.
- P. Jokinen, J. Tarhio and E. Ukkonen: A comparison of approximate
string matching algorithms. Software - Practice and Experience
26, 12 (1996), 1439-1458.
- 85.
- J. Kärkkäinen (ed.): Proc. Algorithm Day, 10 January 1997.
Report C-1997-11, Department of Computer Science, University of Helsinki,
1997.
- 86.
- J. Kärkkäinen and E. Sutinen: Lempel-Ziv index for q-grams. In
Proc. 4th Annual European Symposium on Algorithms, ESA '96 (eds. J. Diaz and
M. Sena), Lecture Notes in Computer Science 1136, Springer, 1996, 378-391.
- 87.
- J. Kärkkäinen and E. Ukkonen: Sparse suffix trees.
In Proc. 2nd Annual International Computing and Combinatorics Conference,
COCOON '96, Lecture Notes in Computer Science 1090, Springer, 1996, 219-230.
- 88.
- J. Kärkkäinen and E. Ukkonen: Lempel-Ziv parsing and sublinear-size
index structures for string matching. In Proc. 3rd South American
Workshop on String Processing, WSP '96, International informatics series
no. 4, Carleton University Press, 1996, 141-155.
- 89.
- P. Kilpeläinen: Notes on associative and commutative
matching. Submitted for publication 1997.
- 90.
- O. Lehtinen, E. Sutinen and J. Tarhio: Experiments
on block indexing. In Proc. 3rd South American Workshop on String
Processing, WSP '96, International informatics series no. 4, Carleton
University Press, 1996, 183-193.
- 91.
- H. Mannila and P. Ronkainen: Similarity of event sequences. In
Proc. 4th International Workshop on Temporal Representation and Reasoning,
TIME '97 (eds. R. Morris and L. Khatib), 1997. IEEE Computer Society Press,
136-139.
- 92.
- E. Sutinen: Using q-Grams in Approximate Pattern Matching.
Ph.Lic. Thesis, Report C-1996-90, Department of Computer Science,
University of Helsinki, 1996.
- 93.
- E. Sutinen and J. Tarhio: Filtration with q-samples in approximate
string matching. In Proc. 7th Annual Symposium on Combinatorial Pattern
Matching, CPM '96 (eds. D. Hirschberg and G. Myers), Lecture Notes in
Computer Science 1075, Springer, 1996, 50-63.
- 94.
- J. Tarhio: A sublinear algorithm for two-dimensional string
matching. Pattern Recognition Letters 17, 8 (1996), 833-838.
- 95.
- J. Tarhio and H. Peltola: String matching in the DNA alphabet.
Software - Practice and Experience 27, 7 (1997), 851-861.
- 96.
- M. Butler, J. Grundy, T. Långbacka, R. Ruksenas and J. von Wright:
The Refinement Calculator: Proof support for program refinement. In Proc. Formal Methods Pacific: Discrete Mathematics and Theoretical Computer Science,
FMP '97 (eds. L. Groves and S. Reeves), Springer, 1997, 40-61.
- 97.
- M. Butler and T. Långbacka: Program derivation using the Refinement
Calculator. In Proc. 9th International Conference on Theorem Proving in
Higher Order Logics, TPHOLs '96 (eds. J. von Wright, J. Grundy and
J. Harrison), Lecture Notes in Computer Science 1125, Springer, 1996, 93-108.
- 98.
- J. Eloranta, M. Tienari and A. Valmari: Essential transitions to
bisimulation equivalences. Theoretical Computer Science 179, 1/2
(1997), 397-419.
- 99.
- K. Granö and J. Paakki: From layer to layer - Object-oriented
protocol refinement in Kannel. In Proc. 2nd International Conference on
Coordination Languages and Models, COORDINATION '97 (eds. D. Garlan and D. Le
Metayer), Lecture Notes in Computer Science 1282, Springer, 1997, 355-373.
- 100.
- R. Kaivola: Equivalences, Preorders and Compositional Verification
for Linear Time Temporal Logic and Concurrent Systems. Ph.D. Thesis, Report
A-1996-1, Department of Computer Science, University of Helsinki, 1996.
- 101.
- T. Långbacka: An Interactive Environment Supporting the Development
of Formally Correct Programs. Ph.D. Thesis, Department of Computer Science,
Åbo Akademi University, 1997.
- 102.
- T. Långbacka and J. von Wright: Refining reactive systems in HOL
using action systems. In Proc. 10th International Conference on Theorem
Proving in Higher Order Logics, TPHOLs '97 (eds. E. L. Gunter and A. Felty),
Lecture Notes in Computer Science 1275, Springer, 1997, 183-197
- 103.
- A. Valmari and M. Tienari: Compositional failure-based semantic
models for basic LOTOS. Formal Aspects of Computing 7 (1995),
440-468.
- 104.
- C. Gefwert, P. Orponen and J. Seppänen (eds.): Logic,
Mathematics and the Computer - Foundations: History, Philosophy and
Applications, vol. 14, Symposium Series, Finnish Artificial Intelligence
Society, 1996.
- 105.
- J. Grundy and T. Långbacka: Recording HOL proofs in a structured
browsable format. In Proc. 6th International Conference on Algebraic
Methodology and Software Technology, AMAST '97, 1997.
- 106.
- R. Kaivola: Axiomatising linear time mu-calculus. In Proc.
6th International Conference on Concurrency Theory, CONCUR '95 (eds. I. Lee
and S. Smolka), Lecture Notes in Computer Science 962, Springer, 1995,
423-437.
- 107.
- R. Kaivola: On modal mu-calculus and Büchi tree automata.
Information Processing Letters 54 (1995), 17-22.
- 108.
- R. Kaivola: Axiomatising extended computation tree logic. In
Proc. 21st Colloquium on Trees in Algebra and Programming, CAAP '96 (ed.
H. Kirchner), Lecture Notes in Computer Science 1059, Springer, 1996, 87-101.
- 109.
- R. Kaivola: Fixpoints for Rabin tree automata make complementation
easy. In Proc. 23rd International Colloquium on Automata, Languages and
Programming, ICALP '96 (eds. F. Meyer auf der Heide and B. Monien), Lecture
Notes in Computer Science 1099, Springer, 1996, 312-323.
- 110.
- R. Kaivola: Using Automata to Characterise Fixed Point Temporal
Logics. Ph.D. Thesis, Report CST-135-97 (ECS-LFCS-97-356), Department of
Computer Science, University of Edinburgh, 1997.
- 111.
- R. Kaivola: Axiomatising extended computation tree logic.
Theoretical Computer Science 190, 1 (1998), 41-60.
- 112.
- T. Långbacka: Developing a graphic theorem proving tool. In
Logic, Mathematics and the Computer - Foundations: History, Philosophy and
Applications (eds. C. Gefwert, P. Orponen and J. Seppänen), vol. 14,
Symposium Series, Finnish Artificial Intelligence Society, 1996, 179-188.
- 113.
- P. Orponen: On the complexity of computational problems. In
Logic, Mathematics and the Computer - Foundations: History, Philosophy and
Applications (eds. C. Gefwert, P. Orponen and J. Seppänen), vol. 14,
Symposium Series, Finnish Artificial Intelligence Society, 1996, 144-152.
- 114.
- E. Ohlebusch and E. Ukkonen: On the equivalence problem for
E-pattern languages. In Proc. 21st International Symposium on
Mathematical Foundations of Computer Science, MFCS '96 (eds. W. Penczek and
A. Szaas), Lecture Notes in Computer Science 1113, Springer, 1996,
457-468.
- 115.
- E. Ohlebusch and E. Ukkonen: On the equivalence problem for
E-pattern languages. Theoretical Computer Science 186, 1-2 (1997),
231-248.
- 116.
- E. Ukkonen: String databases and finite multitape automata. In
Proc. 4th South American Workshop on String Processing, WSP '97,
International informatics series 8, Carleton University Press, 1997, 179.
- 117.
- P. Kilpeläinen and D. Wood: SGML and exceptions. In Proc. International Workshop on Principles of Document Processing, PODP '96 (eds. C. Nicholas and D. Wood), Lecture Notes in Computer Science 1293, Springer,
1997, 39-49. (Also technical report HKUST-CS96-30, Department
of Computer Science, The Hong Kong University of Science & Technology, 1996).
- 118.
- J. Lahtinen, P. Myllymäki, T. Silander and H. Tirri: Empirical
comparison of stochastic algorithms in a graph optimization problem. In
Proc. 2nd Nordic Workshop on Genetic Algorithms and their Applications, 2NWGA
(ed. J. Alander), Report 11, University of Vaasa, 1996, 45-59.
- 119.
- O. Yli-Harja, K. Oksanen, K. Egiazarian and J. Astola: The Dedekind
problem and perfect shuffle. In Proc. Algorithm Day, 10 January 1997 (ed. J. Kärkkäinen), Report C-1997-11, Department of Computer Science, University of
Helsinki, 1997.
- 120.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: A Bayesian
approach for retrieving relevant cases. In Proc. Conference on
Artificial Intelligence Applications, EXPERSYS-97 (ed. P. Smith). IITT
International, 1997, 67-72.
- 121.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri:
A Bayesian approach
to discretization. In Proc. European
Symposium on Intelligent Techniques, 1997, 265-268.
- 122.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: On the
accuracy of stochastic complexity approximations. To appear in
Causal Models and Intelligent Data Analysis (ed. A. Gammerman),
Springer, 1998. Also in Proc. Causal
Models and Statistical Learning Seminar, 1997, 103-117.
- 123.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri:
Comparing
stochastic complexity minimization algorithms in estimating missing
data. In Proc. 4th Workshop on
Uncertainty Processing, WUPES '97, 1997, 81-90.
- 124.
- P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald:
On predictive distributions and Bayesian networks.
Submitted to Statistics and Computing.
- 125.
- H. Tirri:
Plausible Prediction by Bayesian Inference. Ph.D. Thesis,
Report A-1997-1, Department of Computer Science, University
of Helsinki, 1997.
- 126.
- H. Tirri and T. Silander: Stochastic complexity based estimation of
missing elements in questionnaire data. To appear in Proc. Annual Meeting of
the American Educational Research Association, AERA '98, 1998.
- 127.
- H. Tirri, T. Silander and K. Tirri: Using neural networks for
descriptive statistical analysis of educational data. In Proc. Annual
Meeting of the American Educational Research Association, AERA '97, SIG
Educational Statisticians, ERIC Document Reproduction Service 408 344, 1997.
(On microcard.)
- 128.
- H. Tirri, T. Silander and K. Tirri: Bayesian finite mixtures for
nonlinear modeling of educational data. In Proc. Annual
Meeting of the American Educational Research Association, AERA '97,
Division D, ERIC Document Reproduction Service 408 345, 1997. (On microcard.)
- 129.
- O. Yli-Harja: Statistical characterisation of stack filters.
In Proc. IEEE Nonlinear Signal Processing Workshop,
1997. (Published as CD-ROM
only.)
- 130.
- H. Laine. A Vocabulary of Relational Databases (in Finnish).
Tietotekniikan kehittämiskeskus, 1996.
- 131.
- K. Raatikainen, J. Kiviniemi, T. Niklander and P. Porkka: System
design of the RODAIN prototype database. Report C-1997-28, Department of
Computer Science, University of Helsinki, 1997.
- 132.
- J. Laine: Database Reorganization.
Ph.Lic. Thesis, Report C-1997-85, Department of Computer Science,
University of Helsinki, 1997.
- 133.
- L. Akselin and P. Kilpeläinen: Graphical text region
queries (in Finnish). In Proc. SGML Finland 1997
(ed. K. Rytkönen), SGML Users' Group
Finland, 1997, 109-122.
- 134.
- G. Grahne: Updates and counterfactuals. Journal of Logic and
Computation 8, 1 (1998), 87-117.
- 135.
- G. Grahne, A. Mendelzon and P. Revesz: Knowledgebase transformations.
Journal of Computer and System Sciences 54, 1 (1997), 98-112.
- 136.
- G. Grahne and M. Nykänen: Safety, translation and
evaluation of alignment calculus. In Proc. 1st
East-European Symposium on Advances in Databases and Information
Systems, ADBIS '97, 1997, 295-304.
- 137.
- G. Grahne, M. Nykänen and E. Ukkonen: Reasoning about
strings in databases. To appear in Journal of Computer and System
Sciences.
- 138.
- G. Grahne, N. Spyratos and D. Stamate: Semantics and containment of
queries with internal and external conjunctions. In Proc. 6th
International Conference on Database Theory, ICDT '97 (eds. F. Afrati and
P. Kolaitis), Lecture Notes in Computer Science 1186, Springer, 1997, 71-82.
- 139.
- J. Jaakkola and P. Kilpeläinen: Using sgrep for querying structured
text files. In Proc. SGML Finland 1996 (ed. J. Saarela), SGML User's
Group Finland, 1996, 56-67. (Also Report C-1996-83, Department of
Computer Science, University of Helsinki, 1996.)
- 140.
- M. Nykänen: Alignment Calculus: A Modal Logic for Querying
String Databases. Ph.Lic. Thesis, Report C-1996-97, Department of Computer
Science, University of Helsinki, 1997.
- 141.
- M. Nykänen:
Querying String Databases with Modal Logic. Ph.D. Thesis,
Report A-1997-3, Department of Computer Science,
University of Helsinki, 1997.
- 142.
- P. Elovaara and K. Raatikainen: Evaluation of concurrency control
algorithms for real-time databases. Report C-1996-52, Department of Computer
Science, University of Helsinki, 1996.
- 143.
- P. Elovaara and K. Raatikainen: Analysis of WAIT-50 and OCC-TI
concurrency control algorithms for real-time databases in telecommunications.
Report C-1996-78, Department of Computer Science, University of Helsinki, 1996.
- 144.
- T. Imielinski and H. Mannila: A database perspective on knowledge
discovery. Communications of the ACM 39, 11 (1996), 58-64.
- 145.
- J. Kiviniemi, J. Lindström, T. Niklander, P. Porkka and
K. Raatikainen: Experimental design of RODAIN trial. Report C-1997-83,
Department of Computer Science, University of Helsinki, 1997.
- 146.
- J. Kiviniemi, J. Lindström, T. Niklander, P. Porkka and
K. Raatikainen: RODAIN prototype real-time database system, version 2. Report
C-1997-84, Department of Computer Science, University of Helsinki, 1997.
- 147.
- J. Kiviniemi, T. Niklander, P. Porkka and K. Raatikainen:
Transaction processing in the RODAIN real-time database system.
In Real-Time Database and Information Systems
(eds. A. Bestavros and V. Fay-Wolfe),
Kluwer Academic Publishers, 1997,
355-375.
- 148.
- J. Kiviniemi and K. Raatikainen: Real-time object-oriented data model
for telecommunications. Report C-1996-75, Department of Computer Science,
University of Helsinki, 1996.
- 149.
- A. Lehtola, R. de By, H. Tirri and J. Wäsch: The TransCoop
architecture. Chapter 5 in Transaction Management Support for Cooperative
Applications (eds. R. de By et al.), Kluwer 1998, 93-111.
- 150.
- H. Mannila: Data mining: Machine learning,
statistics, and databases. In Proc. 8th International Conference on
Scientific and Statistical Database Management, SSDBM '96, IEEE Computer
Society Press, 1996, 2-9.
- 151.
- H. Mannila: Schema design and knowledge discovery. In Proc. 15th
International Conference on Conceptual Modeling, ER '96, Lecture Notes in
Computer Science 1157, Springer, 1996, 27.
- 152.
- J. Puustjärvi: Negotiation transactions: An approach to increase
the automation of workflows. In Proc. 9th International Conference on
Advanced Information Systems Engineering, CAiSE '97 (eds. A. Olivé and
J. A. Pastor), Lecture Notes in Computer Science 1250, 1997, 89-102.
- 153.
- J. Puustjärvi, H. Tirri and J. Veijalainen: Concurrency control for
overlapping and cooperative workflows. Bulletin of the Technical Committee
on Operating Systems and Application Environments, TCOS, 8, 1 (1996),
24-30.
- 154.
- J. Puustjärvi, H. Tirri and J. Veijalainen: Managing overlapping
transactional workflows. In Proc. 8th International Conference on
Advanced Information Systems Engineering, CAiSE '96 (eds. P. Constantopoulos,
J. Mypoulos and Y. Vassiliou), Lecture Notes in Computer Science 1080,
Springer, 1996, 345-361.
- 155.
- J. Puustjärvi, H. Tirri and J. Veijalainen: Reusability and
modularity in transactional workflows. Information Systems 22, 2/3
(1997), 101-120.
- 156.
- K. Raatikainen: Real-time databases in telecommunications. In
Real-time Database Systems: Issues and Applications, International Series in
Engineering and Computer Science, Real-time Systems, Kluwer, 1997, 93-98.
- 157.
- S. Sippu and E. Soisalon-Soininen: An analysis of magic sets and
related optimization strategies for logic queries.
Journal of the ACM 43, 6 (1996), 1046-1088.
- 158.
- J. Veijalainen, J. Wäsch, J. Puustjärvi, H. Tirri and O. Pihlajamaa:
Transaction models in cooperative work - An overview. Chapter 3 in
Transaction Management Support for Cooperative Applications (eds. R. de By et
al.), Kluwer 1998, 27-58.
- 159.
- A.-P. Tuovinen: Using compiler techniques to convert an SQL
application for a new DBMS. In Proc. 4th Symposium on
Programming Languages and Software Tools (ed. Laszlo Varga),
Department of General Computer Science, Eötvös Lorand
University of Budapest, 1995, 349-359.
- 160.
- A.-P. Tuovinen and J. Paakki: Translating SQL
for database reengineering. ACM SIGPLAN
Notices 31, 2 (1996), 21-26.
- 161.
- R. Agrawal, H. Mannila, R. Srikant, H. Toivonen and A. I. Verkamo:
Fast discovery of association rules. In Advances in Knowledge Discovery
and Data Mining (eds. U. M. Fayyad, G. Piatetsky-Shapiro, P. Smyth
and R. Uthurusamy), AAAI Press, 1996, 307-328.
- 162.
- Y. Huhtala, J. Kärkkäinen, P. Porkka and H. Toivonen:
Efficient discovery of functional and approximate dependencies using
partitions. In Proc. 14th International Conference on Data
Engineering, ICDE '98, IEEE Computer Society Press, 1998, 392-401.
- 163.
- H. Mannila and H. Toivonen: Discovering generalized episodes using
minimal occurrences. In Proc. 2nd International Conference on Knowledge
Discovery and Data Mining, KDD '96, AAAI, 1996, 146-151.
- 164.
- H. Mannila, H. Toivonen and A. I. Verkamo:
Discovery of frequent episodes in event sequences.
Data Mining and Knowledge Discovery 1, 3 (1997), 259-289.
- 165.
- H. Toivonen: Sampling large databases for finding frequent
sets. In Proc. 22nd International Conference on Very
Large Data Bases, VLDB '96 (eds. T. Viljayaraman, A. Buchmann, C. Mohan and
N. Sarda), Morgan Kaufmann, 1996, 134-145.
- 166.
- H. Toivonen:
Discovery of Frequent Patterns in Large Data Collections. Ph.D. Thesis,
Report A-1996-5, Department of Computer Science, University
of Helsinki, 1996.
- 167.
- H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Mining
in the phrasal frontier. In Proc. 1st European Symposium on Principles
of Data Mining and Knowledge Discovery, PKDD '97 (eds. J. Komorowski and
J. Zytkow), Lecture Notes in Computer Science 1263, Springer, 1997,
343-350.
- 168.
- H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo:
Mining in the phrasal frontier. Report C-1997-14, Department of
Computer Science, University of Helsinki,
1997.
- 169.
- H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Applying
data mining techniques in text analysis. Report C-1997-23, Department of
Computer Science, University of Helsinki, 1997.
- 170.
- H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Applying
data mining for descriptive phrase extraction in digital document collections.
To appear in Proc. IEEE Conference on Advances in Digital Libraries,
ADL '98, 1998.
- 171.
- G. Das, D. Gunopoulos and H. Mannila: Finding similar time series.
In Proc. 1st European Symposium on Principles of Data Mining and
Knowledge Discovery, PKDD '97 (eds. J. Komorowski and J. Zytkow), Lecture
Notes in Computer Science 1263, Springer, 1997, 88-100.
- 172.
- G. Das, H. Mannila and P. Ronkainen: Similarity of attributes by
external probes. Report C-1997-66, Department of Computer Science, University
of Helsinki, 1997.
- 173.
- D. Gunopoulos, H. Mannila and S. Saluja: Discovering all most
specific sentences by randomized algorithms (extended abstract). In Proc. 6th International Conference on Database Theory, ICDT '97 (eds. F. Afrati and
P. Kolaitis), Lecture Notes in Computer Science 1186, Springer, 1997,
215-229.
- 174.
- D. Gunopulos, S. Saluja and H. Mannila: Discovering all most
specific sentences by randomized algorithms. Research Report,
Max-Planck-Institut für Informatik, Saarbrücken, 1996.
- 175.
- K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen and
H. Toivonen: Rule discovery in alarm databases. Report C-1996-7,
Department of Computer Science, University of Helsinki, 1996.
- 176.
- K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen and
H. Toivonen: Knowledge discovery from telecommunication network alarm
databases. In Proc. 12th International Conference on
Data Engineering, ICDE 96 (ed. S. Su), IEEE Computer Society Press, 1996,
115-122.
- 177.
- D. Heckerman, H. Mannila, D. Pregibon and R. Uthurusamy (eds.):
Proc. 3rd International Conference on Knowledge Discovery and Data
Mining, KDD '97, AAAI Press, 1997.
- 178.
- K. Korpimies: World-Wide Web Navigation (in Finnish). Suomen
Atk-kustannus Oy, 1995.
- 179.
- K. Korpimies and E. Ukkonen: Searching for general documents. To appear
in Proc. Conference on Flexible Query Answering Systems, FQAS '98,
Lecture Notes in Artificial Intelligence, Springer, 1998.
- 180.
- K. Lemström, J. Korte, P. Kuusi, P. Kyheröinen and P. Päiväkumpu: An
open platform for an image retrieval System. In Proc. 6th Scandinavian
Conference On Artificial Intelligence, SCAI '97 (ed. G. Grahne),
Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997,
277-278.
- 181.
- K. Lemström, P. Kuusi, P. Kanerva, S. Koponen, S. Männynsalo,
J. Riihimäki, J. Teinilä and T. Virtanen: A client-server tool for image
retrieval applications. In The Challenge of Image Retrieval (eds. J. P. Eakins, D. J. Harper and J. Jose), 1998.
- 182.
- K. Lemström, J. Korte, P. Kuusi, P. Kyheröinen and P. Päiväkumpu:
PICSearch - A platform for image content-based searching algorithms. In
Proc. 6th International Conference in Central Europe on Computer
Graphics and Visualisation, WSCG '98 (ed. V. Skala), 1998,
222-229.
- 183.
- H. Mannila:
From data to knowledge: Data mining and enrichment (in Finnish).
Tietoyhteys 1, 4 (1997), 4-5.
- 184.
- H. Mannila: Methods and problems in data mining. In Proc. 6th
International Conference on Database Theory, ICDT '97 (eds. F. Afrati and
P. Kolaitis), Lecture Notes in Computer Science 1186, Springer, 1997, 41-55.
- 185.
- H. Mannila: Inductive databases and condensed representations:
concepts for data mining. To appear in Proc. International Logic Program
Symposium, 1997.
- 186.
- H. Toivonen:
Data mining: Digging into mountains of data in the search for knowledge
(in Finnish). MikroPC, 12 (1997), 62-66.
- 187.
- H. Erkiö: The purpose of evaluations, their benefits, and methods
(in Finnish). In Design of graphical user interfaces (in Finnish, ed. A. Kalimo), Suomen Atk-kustannus Oy, 1996, 83-88.
- 188.
- H. Erkiö: Model-based evaluation methods (in Finnish). In
Design of graphical user interfaces (in Finnish, ed. A. Kalimo), Suomen
Atk-kustannus Oy, 1996, 113-123.
- 189.
- T. Elomaa:
Artificial intelligence does not match human intelligence (in Finnish).
Guest author column, Helsingin Sanomat, 20 March 1996, A2.
- 190.
- G. Grahne (ed.): Proc. 6th Scandinavian Conference on
Artificial Intelligence, SCAI '97, Frontiers in Artificial Intelligence and
Applications 40, IOS Press, 1997.
- 191.
- G. Grahne (ed.): Research Announcements of the 6th
Scandinavian Conference on Artificial Intelligence, SCAI '97, Report
C-1997-49, Department of Computer Science, University of Helsinki, 1997.
- 192.
- P. Myllymäki and H. Tirri: Prospects of Bayesian Networks
(in Finnish). Technology Review 58/98, The Technology Development
Centre (TEKES), 1998.
- 193.
- E. Koskimäki, J. Göös, P. Kontkanen, P. Myllymäki and H. Tirri:
Comparing soft computing methods in prediction of manufacturing data.
To appear in Proc. 11th International Conference on
Industrial and Engineering Applications of Artificial Intelligence &
Expert Systems, IEA-98-AIE, 1998.
- 194.
- S. Eloranta: On iterated belief change. In Proc. 6th
Scandinavian Conference on Artificial Intelligence (ed. G. Grahne),
Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997,
83-94.
- 195.
- R. Aarts and J. Rousu: Towards CBR for bioprocess planning. In
Proc. 3rd European Workshop on Advances in Case-Based Reasoning, EWCBR '96
(eds. I. Smith and B. Faltings), Lecture Notes in Artificial Intelligence
1168, Springer, 1996, 16-27.
- 196.
- R. Aarts and J. Rousu: Adaptation cost as a criterion for solution
evaluation. In Proc. 3rd European Workshop on Advances in Case-Based
Reasoning, EWCBR '96 (eds. I. Smith and B. Faltings) Lecture Notes in
Artificial Intelligence 1168, Springer, 1996, 354-361.
- 197.
- R. Aarts and J. Rousu: Qualitative knowledge to support reasoning
about cases. In Proc. 2nd International Conference in Case-Based
Reasoning, ICCBR '97, Lecture Notes in Artificial Intelligence 1266, Springer,
1997, 489-498.
- 198.
- H. Ahonen: Automatic generation of SGML content models. In
Proc. 6th International Conference on Electronic Publishing, Document
Manipulation and Typography, EP '96 (eds. A. Brown, A. Brüggemann-Klein and
A. Feng), Wiley Publishers, 1996, 195-206.
- 199.
- H. Ahonen: Disambiguation of SGML content models. In Proc.
International Workshop on Principles of Document Processing, PODP '96
(eds. C. Nicholas and D. Wood), Lecture Notes in Computer Science
1293, Springer, 1997, 27-37.
- 200.
- H. Ahonen:
Generation of SGML DTDs for tagged documents.
In Proc. SGML Finland 1996 (ed. J. Saarela),
SGML User's Group Finland, 1996, 40-46.
- 201.
- H. Ahonen:
Generating Grammars for Structured Documents Using
Grammatical Inference Methods. Ph.D. Thesis,
Report A-1996-4, Department of Computer Science, University
of Helsinki, 1996.
- 202.
- H. Ahonen, H. Mannila and E. Nikunen: Generating grammars for SGML
tagged texts lacking DTD. Mathematical and Computer Modelling 26, 1
(1997), 1-13.
- 203.
- A. Brazma, I. Jonassen, E. Ukkonen and J. Vilo: Discovering
patterns and subfamilies in biosequences. In Proc. 4th International
Conference on Intelligent Systems for Molecular Biology, ISMB '96, AAAI Press,
1996, 34-43.
- 204.
- A. Brazma, E. Ukkonen and J. Vilo: Discovering unbounded unions of
regular pattern languages from positive examples (extended abstract). In
Proc. 7th International Symposium on Algorithms and Computation, ISAAC '96, Lecture Notes in Computer Science 1178, Springer, 1996,
95-104.
- 205.
- A. Brazma, J. Vilo and E. Ukkonen: Finding transcription factor
binding site combinations in the yeast genome (extended abstract). In
Computer Science and Biology: Proc. German Conference on Bioinformatics,
GCB '97, Genome informatics: Function, Structure, Phylogeny, MIPS Munich
Information Center for Protein Sequences, 1997, 57-59.
- 206.
- A. Brazma, J. Vilo, E. Ukkonen and K. Valtonen: Data mining for
regulatory elements in yeast genome. In Proc. 5th International
Conference on Intelligent Systems for Molecular Biology, ISMB '97, AAAI Press,
1997, 65-74.
- 207.
- L. Dehaspe and H. Toivonen: Frequent query discovery: A
unifying ILP approach to association rule mining. Report CW-258,
Department of Computer Science, Katholieke Universiteit Leuven,
Belgium, 1998.
- 208.
- T. Elomaa: Tools and Techniques for Decision Tree Learning.
Ph.D. Thesis, Report A-1996-2,
Department of Computer Science, University of Helsinki, 1996.
- 209.
- T. Elomaa: Machine intelligence and learning (invited public
lecture). In Proc. 7th Finnish Artificial Intelligence Conference,
STeP '96: Genes, Nets and Symbols (eds. J. Alander, T. Honkela and
M. Jakobsson), Finnish Artificial Intelligence Society, 1996, 90-95.
- 210.
- T. Elomaa:
The vacuum-cleaner robot is not yet at sight. Commentary, Computing Section,
Helsingin Sanomat, 13 December 1996, D2.
- 211.
- T. Elomaa and J. Rousu: Finding optimal multi-splits for numerical
attributes in decision tree learning. In Proc. 7th Finnish Artificial
Intelligence Conference, STeP '96: Genes, Nets and Symbols (eds. J. Alander,
T. Honkela and M. Jakobsson), Finnish Artificial Intelligence Society, 1996,
104-111.
- 212.
- T. Elomaa and J. Rousu: Efficient multisplitting on numerical
data. In Proc. 1st European Symposium on Principles of Data Mining
and Knowledge Discovery, PKDD '97 (eds. J. Komorowski and J. Zytkow),
Lecture Notes in Artificial Intelligence 1263, Springer, 1997, 178-188.
- 213.
- T. Elomaa and J. Rousu: On the well-behavedness of important
attribute evaluation functions. In Proc. 6th Scandinavian Conference on
Artificial Intelligence (ed. G. Grahne), Frontiers in Artificial
Intelligence and Applications 40, IOS Press, 1997, 95-106.
- 214.
- T. Elomaa and J. Rousu: Well-behaved attribute evaluation functions
for numerical attributes. In Proc. 10th International Symposium on
Foundations of Intelligent Systems (eds. Z. Ras and A. Skowron), Lecture
Notes in Artificial Intelligence 1325, Springer, 1997, 147-156.
- 215.
- T. Elomaa and J. Rousu: General and efficient multisplitting of
numerical attributes. To appear in Machine Learning. (Report
C-1996-82, Department of Computer Science, University of Helsinki, 1996, and
Technical Note No. I.98.06, Institute for Systems, Informatics and Safety,
Joint Research Centre, European Commission, 1998.)
- 216.
- K. Fredriksson: Genetic algorithms and generative encoding of
neural networks for some benchmark classification problems. In Proc. 3rd
Nordic Workshop on Genetic Algorithms and their Applications, 3NWGA (ed. J. Alander), Finnish Artificial Intelligence Society, 1997, 123-134.
- 217.
- P. Grünwald, P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri:
Minimum encoding approaches for predictive modeling. To appear in Proc.
14th Conference on Uncertainty in Artificial Intelligence, UAI ´98, 1998.
- 218.
- D. P. Helmbold, J. Kivinen and M. K. Warmuth:
Worst-case loss bounds for sigmoided neurons. In Advances
in Neural Information Processing Systems 8 (eds. D. S. Touretzky,
M. C. Mozer and M. E. Hasselmo), MIT Press, 1996, 309-315.
- 219.
- M. Jaeger, H. Mannila and E. Weydert: Data mining as selective
theory extraction in probabilistic logic. In Proc. ACM SIGMOD Workshop on
Research Issues on Data Mining and Knowledge Discovery, SIGMOD '96 DMKD,
1996.
- 220.
- J. Kivinen and M. K. Warmuth:
Exponentiated gradient versus gradient descent for linear predictors.
Information and Computation, 132, 1 (1997), 1-63.
- 221.
- J. Kivinen and M. K. Warmuth: Relative loss bounds for
multidimensional regression problems. To appear in Advances in Neural
Information Processing Systems 1997, NIPS '97, 1997.
- 222.
- J. Kivinen, M. K. Warmuth and P. Auer:
The perceptron algorithm versus Winnow: Linear versus
logarithmic mistake bounds when few input variables are relevant.
Artificial Intelligence, 97, 1-2 (1997), 325-343.
- 223.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Bayes optimal
instance-based learning. In Proc. 10th European
Conference on Machine Learning, ECML '98 (eds. C. Nédellec and
C. Rouveirol), Lecture Notes in Artificial Intelligence 1398,
Springer, 1998, 77-88.
- 224.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Batch
classifications with discrete finite mixtures. In Proc. 10th European
Conference on Machine Learning, ECML '98 (eds. C. Nédellec and
C. Rouveirol), Lecture Notes in Artificial Intelligence 1398,
Springer, 1998, 89-94.
- 225.
- P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Bayesian
Classification and Feature Selection with BAYDA. In 10th European
Conference on Machine Learning, ECML '98: Demonstration and Poster Papers
(eds. C. Nédellec and C. Rouveirol), Report CSR-98-07, Technische Universität
Chemnitz, 1998.
- 226.
- P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald:
Comparing predictive inference methods for discrete domains. In
Proc. 6th International Workshop on Artificial Intelligence and
Statistics, 1997, 311-318.
- 227.
- P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald:
Bayesian and information-theoretic predictive distributions for
Bayesian networks. In Proc. 7th Belgian-Dutch Conference on
Machine Learning, BeNeLearn '97 (eds. W. Daelemans, P. Flach and
A. van den Bosch), 1997, 59-68.
- 228.
- P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald:
Bayesian and information-theoretic priors for Bayesian network
parameters. In Proc. 10th European
Conference on Machine Learning, ECML '98 (eds. C. Nédellec and
C. Rouveirol), Lecture Notes in Artificial Intelligence 1398,
Springer, 1998, 208-213.
- 229.
- P. Kontkanen, P. Myllymäki and H. Tirri: Some experimental results
with finite mixture models. In Proc. 1st European Conference on
Highly Structured Stochastic Systems, 1996, 112-115.
- 230.
- P. Kontkanen, P. Myllymäki and H. Tirri: Predictive data mining with
finite mixtures. In Proc. 2nd International Conference on
Knowledge Discovery and Data Mining, KDD '96, 1996, 176-182.
- 231.
- P. Kontkanen, P. Myllymäki and H. Tirri: Comparing Bayesian model
class selection criteria by discrete finite mixtures. In Proc. Conference
on Information, Statistics and Induction in Science, ISIS '96, (eds. D. L. Dowe, K. B. Korb and J. J. Oliver), World Scientific, 1996, 364-374.
- 232.
- P. Kontkanen, P. Myllymäki and H. Tirri: Experimenting with the
Cheeseman-Stutz evidence approximation for predictive modeling and data mining.
In Proc. 10th Annual Florida Artificial Intelligence International
Research Symposium, FLAIRS '97, 1997, 204-211.
- 233.
- P. Kontkanen, P. Myllymäki and H. Tirri: Constructing Bayesian
finite mixture models by the EM algorithm. Technical Report NC-TR-97-003,
ESPRIT Working Group on Neural and Computational Learning (NeuroCOLT), 1997.
- 234.
- H. Mannila: Data mining and machine learning. In Proc. 13th
International Conference on Machine Learning, ICML '96, Morgan Kaufmann, 1996,
555.
- 235.
- H. Mannila and H. Toivonen: Multiple uses of frequent sets and
condensed representations. In Proc. 2nd International
Conference on Knowledge Discovery and Data Mining, KDD '96, AAAI,
1996, 189-194.
- 236.
- H. Tirri, P. Kontkanen and P. Myllymäki: Probabilistic
instance-based learning. In Proc. 13th International Conference on
Machine Learning (ed. L. Saitta). Morgan Kaufmann, 1996, 507-515.
- 237.
- H. Tirri, P. Kontkanen and P. Myllymäki: A Bayesian framework for
case-based reasoning. In Advances in Case-Based Reasoning (eds. I. Smith
and B. Faltings). Lecture Notes in Artificial Intelligence 1168,
Springer, 1996, 413-427.
- 238.
- N. Bollobás, G. Das, D. Gunopoulos and H. Mannila: Time-series
similarity problems and well-separated geometric sets. In Proc.
13th Annual Symposium on Computational Geometry, ACM, 1997, 454-456.
- 239.
- R. Greiner and P. Orponen: Probably approximately optimal
satisficing strategies. Artificial Intelligence 82, 1-2 (1996),
21-44.
- 240.
- D. Gunopoulos, R. Khardon, H. Mannila and H. Toivonen: Data
mining, hypergraph transversals, and machine learning (extended
abstract). In Proc. 16th ACM SIGACT-SIGMOD-SIGART
Symposium on Principles of Database Systems, PODS '97, 1997, 209-216.
- 241.
- H. Mannila and H. Toivonen: On an algorithm for finding all
interesting sentences. In 13th European Meeting on Cybernetics and Systems
Research (ed. R. Trappl), vol. 2, Austrian Society for Cybernetic Studies,
1996, 973-978.
- 242.
- H. Mannila and H. Toivonen:
Levelwise search and borders of theories in knowledge discovery.
Data Mining and Knowledge Discovery 1, 3 (1997), 241-258.
- 243.
- K. Lemström, J. Tarhio and T. Takala: Color
dithering with n-best algorithm. In Proc. 4th International Conference
in Central Europe on Computer Graphics and Visualization, WSCG '96 (ed. N.
Thalmann and V. Skala), Department of Computer Science, University of West
Bohemia, 1996, 162-170.
- 244.
- O. Heinonen and H. Mannila: Attribute-oriented
induction and conceptual clustering. Report C-1996-2, Department of Computer
Science, University of Helsinki, 1996.
- 245.
- E. Arjas, H. Mannila, M. Salmenkivi, R. Suramo and H. Toivonen:
BASS: Bayesian analyzer of event sequences. In Proc. XII Symposium on
Computational Statistics, COMPSTAT '96, 1996, 199-204.
- 246.
- H. Toivonen, H. Mannila, M. Salmenkivi and K.-P. Laakso:
Bassist - a tool for MCMC simulation of statistical models. To appear
in 3rd International Congress of the Federation of European
Simulation Societies, EUROSIM '98, 1998.
- 247.
- H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola, P. Kilpeläinen
and G. Lindén: Design and implementation of a document assembly workbench. In
Proc. International Conference on Electronic Publishing, Artistic
Imaging, and Digital Typography, EP '98/RIDT '98 (eds. R. D. Hersch, J. André
and H. Brown), Lecture Notes in Computer Science 1375, 1998, 476-486.
- 248.
- H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola, P. Kilpeläinen,
G. Lindén and H. Mannila: Intelligent assembly of structured documents. Report
C-1996-40, Department of Computer Science, University of Helsinki, 1996.
- 249.
- H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola, P. Kilpeläinen,
G. Lindén and H. Mannila: Constructing tailored SGML documents. In
Proc. SGML Finland 1996 (ed. J. Saarela), SGML User's Group Finland, 1996,
106-116.
- 250.
- H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola and
M. Klemettinen: Analysis of document structures for element type
classification. In Preliminary Proc. 4th International Workshop on
Principles of Digital Document Processing, PODDP '98 (eds. C. Nicholas and
D. Wood), 1998.
- 251.
- H. Ahonen, B. Heikkinen, O. Heinonen and P. Kilpeläinen: A
system for assembling specialized textbooks from a pool of documents.
Report C-1997-22, Department of Computer Science, University of
Helsinki, 1997.
- 252.
- H. Ahonen, B. Heikkinen, O. Heinonen and P. Kilpeläinen: Assembling
documents from digital libraries. In Proc. 8th International
Conference on Database and Expert Systems Applications, DEXA '97 (eds. A. Hameurlain and A. M. Tjoa), Lecture Notes in Computer Science 1308,
Springer, 1997, 419-429.
- 253.
- H. Ahonen, B. Heikkinen, O. Heinonen and M. Klemettinen: Improving
the accessibility of SGML documents - A content-analytical approach. In
Proc. SGML Europe '97, Graphics Communications Association, 1997, 321-327.
- 254.
- H. Ahonen, B. Heikkinen, O. Heinonen and M. Klemettinen: Discovery
of reasonably-sized fragments using inter-paragraph similarities.
Report C-1997-67, Department of Computer Science, University of Helsinki,
1997.
- 255.
- P. Kilpeläinen:
The utilization of the content information of books (in Finnish).
Manuscript of a chapter in the final report of the SÄÄTÖ II project,
The Finnish National Board of Education, 1998.
- 256.
- G. Lindén:
Structured Document Transformations. Ph.D. Thesis,
Report A-1997-2, Department of Computer Science, University
of Helsinki, 1997.
- 257.
- A. Korhola, J. Weckström, H. Olander, H. Seppä, T. Blom, S. Sorvari,
J. Virkanen, H. J .B. Birks, H. Toivonen and H. Mannila: Climate changes as
recorded by ecologically sensitive arctic lakes in Fennoscandia. To appear in
Proc. International SCANTRAN Meeting: An IGBP Terrestrial Transect for
Scandinavia/Northern Europe, 1998.
- 258.
- M. Eerola, H. Mannila and M. Salmenkivi:
Frailty factors and time-dependent hazards in modelling ear infections in
children using BASSIST.
To appear in Proc. XIII Symposium on Computational Statistics,
COMPSTAT '98, 1998.
- 259.
- M. Huttunen, E. Ukkonen and B. Vehviläinen: Neural networks as a part
of watershed-model in ice-reduction of discharge observations. In Proc. Nordic Hydrological Conference, NHP rapport 0900-0267 nr. 40, Icelandic
Hydrological Committee, 1996, 286-293.
- 260.
- M. Huttunen, E. Ukkonen and B. Vehviläinen: Coding a conceptual model
into a neural network in modeling ice-correction. In Proc. Conference
Artificial Neural Networks in Engineering: Smart Engineering Systems: Neural
Networks, Fuzzy Logic and Evolutionary Programming, ANNIE '96, Intelligent
Engineering Systems through Artificial Neural Networks, ASME Press, 1996,
1001-1006
- 261.
- M. Huttunen, E. Ukkonen and B. Vehviläinen: Using trainable computing
networks in the optimization of lake regulation. In Proc. International
Conference on Neural Information Processing and Intelligent Information
Systems: Progress in Connectionist-Based Information Systems, vol. 2,
Springer, 1998, 975-978.
- 262.
- M. Huttunen, B. Vehviläinen and E. Ukkonen: Neural networks in the
ice-correction of discharge observations. Nordic Hydrology 28, 4/5
(1997), 283-296.
- 263.
- R. Krahe, H. Julkunen, H. Mannila, H. Lokki, V. Ollikainen,
J. Ignatius, A. de la Chapelle and J. Kere: Exclusion of three candidate
susceptibility regions on human chromosomes 1q31-q42, 5q23-q32 and 9p22-p21 for
systemic lupus erythematosus (SLE) in a Finnish founder population. In
Proc. 47th Annual Meeting of the American Society of Human Genetics, American
Journal of Human Genetics 61 (suppl.), A1638, 1997.
- 264.
- T. Kirkinen and H. Toivonen:
GIS-assisted data analysis - Finding meanings in complex spatial data
sets.
To appear in Proc. 26th Conference on Computer Applications in
Archaeology, CAA '98, 1998.
- 265.
- J. Laakso, H. Aaltonen, A. Leppävuori, H. Toivonen,
V. Kilpi, H. Mononen and J. Viitasalo:
Using laser radar in ski testing
(in Finnish). Report, Research Institute for Olympic Sports,
1997.
- 266.
- T. Eriksson, J. Kurhila and E. Sutinen: An agent-based framework for
special needs education. In Proc. 6th Scandinavian Conference on
Artificial Intelligence, SCAI '97 (ed. G. Grahne), Frontiers in Artificial
Intelligence and Applications 40, IOS Press, 1997, 270-271.
- 267.
- D. Joyce, J. Gerhardt-Powals, E. Koffman, W. Kreuzer, C. Laxer,
K. Loose, E. Sutinen and R. A. Whitehurst: Developing laboratories for the
SIGCSE Computing Laboratory Repository: Guidelines, recommendations, and sample
labs. In Working Group Reports and Supplemental Proc. on Integrating
Technology into Computer Science Education, ITiCSE '97, ACM, 1997, 1-12.
- 268.
- S.-P. Lahtinen, E. Sutinen, A.-P. Tuovinen and J. Tarhio: Learning
and problem solving assisted with animated objects. In Abstracts of the
European Conference on Educational Research in 1995, ECER '95,
University of Bath, 1995, 153.
- 269.
- M. Mäkelä: Experiences in computer uses in education (in Finnish).
Peda-forum: korkeakoulupedagoginen tiedotuslehti 3, 1 (1996),
3-5.
- 270.
- M. Mäkelä: Information technology - a tool and an obstacle in the
education of the future. In Information Technology in Educational
Management for the Schools of the Future (eds. A. Fung, A. Visscher,
B. Barta and D. Teather), Chapman & Hall, 1997, 23-30.
- 271.
- M. Mäkelä et al.: Impact of information and communication technology
on the management of future schools. In Information Technology in
Educational Management for the Schools of the Future (eds. A. Fung,
A. Visscher, B. Barta and D. Teather), Chapman & Hall, 1997, 185-188.
- 272.
- M. Parkkinen, P. Parkkinen and E. Sutinen: On the feasibility of
multimedia in a Tanzanian context. In Matematiikan ja luonnontieteiden
opetuksen tutkimuspäivien esitykset (ed. V. Meisalo), Research Report 162,
Department of Teacher Education, University of Helsinki, 1996, 173-179.
- 273.
- J. Haajanen, M. Pesonius, E. Sutinen, J. Tarhio, T. Teräsvirta and
P. Vanninen: Animation of user algorithms on the web. In Proc. IEEE
Symposium on Visual Languages, VL '97, IEEE Computer Society Press, 1997,
360-367.
- 274.
- J. Kurhila:
WWW supporting computer graphics studies (in Finnish).
In Proc. Research Seminar on Digital Media: Computer-Aided Instruction
(in Finnish), Helsinki University of Technology, 1997, 121-132.
- 275.
- J. Kurhila and M. Mäkelä: WWW as a source to support computer
graphics studies. Published 1997 at
http://www.cs.helsinki.fi/group/goa/artikkeli/article.html.
- 276.
- J. Kurhila and M. Mäkelä: Ready to use learning material from the
Web - a utopia or a reality? (in Finnish). Peda-forum:
korkeakoulupedagoginen tiedotuslehti 4, 2 (1997), 35-37.
- 277.
- S.-P. Lahtinen, T. Lamminjoki, V. Ollikainen, E. Sutinen, J. Tarhio,
and A.-P. Tuovinen: Animation technology as a method of learning to write
algorithms. In Matematiikan ja luonnontieteiden opetuksen
tutkimuspäivien esitykset (ed. V. Meisalo), Research Report 162,
Department of Teacher Education, University of Helsinki, 1996, 147-151.
- 278.
- S.-P. Lahtinen, T. Lamminjoki, E. Sutinen, J. Tarhio and A.-P.
Tuovinen: Towards automated animation of algorithms. In Proc. 4th
International Conference in Central Europe on Computer Graphics and
Visualization, WSCG '96 (ed. N. Thalmann and V. Skala), Department of
Computer Science, University of West Bohemia, 1996, 150-161.
- 279.
- S.-P. Lahtinen, V. Meisalo, E. Sutinen and J. Tarhio:
Unified challenges of algorithm design and problem solving.
In Matematiikan ja luonnontieteiden opetuksen
tutkimuspäivien esitykset (ed. V. Meisalo), Research Report 162,
Department of Teacher Education, University of Helsinki, 1996, 153-161.
- 280.
- S.-P. Lahtinen, A. Porttikivi, E. Sutinen and A.-P. Tuovinen:
Algorithm animation as a method of learning. In Uudet menetelmät ja
mahdollisuudet matemaattis-luonnontieteellisten aineiden oppimisessa (ed. J.
Enkenberg and K. Sormunen), University of Joensuu, 1994, 65-70.
- 281.
- S.-P. Lahtinen, E. Sutinen and J. Tarhio: Automated animation of
algorithms with Eliot. To appear in Journal of Visual Languages and
Computing.
- 282.
- J. Markkanen, E. Rautama, E. Sutinen, J. Tarhio and T. Teräsvirta:
Animation of algorithms with Eliot and Jeliot (demonstration). In Working
Group Reports and Supplemental Proc. on Integrating Technology into Computer
Science Education, ITiCSE '97, ACM, 1997, 152.
- 283.
- V. Meisalo, E. Rautama, E. Sutinen and J. Tarhio: Teaching
algorithms with animation: A case study using Eliot. In Proc. International Symposium on Learning Technology and Telematics in Education and
Training, LeTTET '96, University of Joensuu, 1997, 79-84.
- 284.
- V. Meisalo, E. Sutinen and J. Tarhio: CLAP: Teaching data structures
in a creative way. In Proc. Integrating Technology into Computer Science
Education, ITiCSE 97 (ed. G. Davies), ACM SIGCSE bulletin 29, 3
(1997), 117-119.
- 285.
- V. Meisalo, E. Sutinen and J. Tarhio: Impacts of interdisciplinary
dialogue to computer science education. To appear in Proc. IFIP WG 3.2.
Working Conference 1997: Computer Science as a Discipline and in other
Disciplines, IFIP, 1997.
- 286.
- V. Meisalo, E. Sutinen, J. Tarhio and T. Teräsvirta: Combining
algorithmic and creative problem solving on the Web. To appear in Proc. Teleteaching '98.
- 287.
- E. Rautama, E. Sutinen and J. Tarhio: Learning algorithms by
animation (in Finnish). Peda-Forum: korkeakoulupedagoginen tiedotuslehti
3, 2 (1996), 21
- 288.
- E. Rautama, E. Sutinen and J. Tarhio: From algorithm to animation
(in Finnish). Ote - opetus & teknologia 4, 6 (1996), 24-26.
- 289.
- E. Rautama, E. Sutinen and J. Tarhio: Excel as an algorithm
animation environment. Proc. Integrating Technology into Computer Science
Education, ITiCSE 97 (ed. G. Davies), ACM SIGCSE bulletin 29, 3
(1997), 24-26.
- 290.
- E. Rautama, E. Sutinen and J. Tarhio: Supporting learning process
with concept map scripts. Journal of Interactive Learning Research
8, 3/4 (1997), 407-420.
- 291.
- E. Sutinen and J. Tarhio: Eliot - what happens inside a program?. In
Proc. Interaktiivinen teknologia koulutuksessa, ITK '97 (eds. V.
Kuuliala et al.), Summer University of Hämeenlinna, 1997, 94-98.
- 292.
- E. Sutinen, J. Tarhio, S.-P. Lahtinen, A.-P. Tuovinen, E. Rautama
and V. Meisalo: Eliot - An algorithm animation environment. Report A-1997-4,
Department of Computer Science, University of Helsinki, 1997.
- 293.
- P. Kuuppelomäki: Critical computer science groups in the world (in
Finnish).
Tietotekniikan maailma 1 (1996), 34-35.
- 294.
- J. Vilo: Estonia's way into a computer society (in Finnish).
Tietotekniikan maailma 1 (1996), 23-25.
- 295.
- H. Ahonen:
Communications Decency Act: Network censorship or not? (in Finnish).
Tietotekniikan maailma 1 (1996), 2-7.
Next: Faculty
Up: Research
Previous: Transaction Management Support for