SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540413486, 9783540444114

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Massively Parallel Pattern Recognition with Link Failures

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_28 ◽

2000 ◽

pp. 392-401 ◽

Cited By ~ 1

Author(s):

Martin Kutrib ◽

Jan-Thomas Löwe

Keyword(s):

Pattern Recognition ◽

Massively Parallel ◽

Link Failures ◽

Parallel Pattern

Download Full-text

Algorithms for Rational Agents

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_5 ◽

2000 ◽

pp. 56-70 ◽

Cited By ~ 7

Author(s):

Amir Ronen

Keyword(s):

Rational Agents

Download Full-text

BioInformatics: Databases + Data Mining

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_4 ◽

2000 ◽

pp. 54-55

Author(s):

Arno Siebes

Keyword(s):

Data Mining ◽

Bioinformatics Databases

Download Full-text

Robust Implementation of Finite Automata by Recurrent RBF Networks

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_32 ◽

2000 ◽

pp. 431-439 ◽

Cited By ~ 1

Author(s):

Michal Šorel ◽

Jiří Šíma

Keyword(s):

Finite Automata ◽

Rbf Networks ◽

Robust Implementation

Download Full-text

Use of Dependency Microcontexts in Information Retrieval

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_23 ◽

2000 ◽

pp. 347-355 ◽

Cited By ~ 1

Author(s):

Martin Holub

Keyword(s):

Information Retrieval

Download Full-text

Finitary Observations in Regular Algebras

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_29 ◽

2000 ◽

pp. 402-410

Author(s):

Slawomir Lasota

Keyword(s):

Regular Algebras

Download Full-text

Quantum Pushdown Automata

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_22 ◽

2000 ◽

pp. 336-346 ◽

Cited By ~ 9

Author(s):

Marats Golovkins

Keyword(s):

Pushdown Automata

Download Full-text

An Automatic Composition Algorithm for Functional Logic Programs

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_17 ◽

2000 ◽

pp. 289-297 ◽

Cited By ~ 5

Author(s):

María Alpuente ◽

Moreno Falaschi ◽

Ginés Moreno ◽

Germán Vidal

Keyword(s):

Logic Programs ◽

Functional Logic ◽

Automatic Composition

Download Full-text

Domain Engineering: A Software Engineering Discipline in Need of Research

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_1 ◽

2000 ◽

pp. 1-17 ◽

Cited By ~ 8

Author(s):

Dines Bjørner

Keyword(s):

Software Engineering ◽

Domain Engineering ◽

Engineering Discipline

Download Full-text

Autonomous Components

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-44411-4_26 ◽

2000 ◽

pp. 375-383 ◽

Cited By ~ 6

Author(s):

Jaroslav Král ◽

Michal Žemlička

Download Full-text

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Massively Parallel Pattern Recognition with Link Failures

Algorithms for Rational Agents

BioInformatics: Databases + Data Mining

Robust Implementation of Finite Automata by Recurrent RBF Networks

Use of Dependency Microcontexts in Information Retrieval

Finitary Observations in Regular Algebras

Quantum Pushdown Automata

An Automatic Composition Algorithm for Functional Logic Programs

Domain Engineering: A Software Engineering Discipline in Need of Research

Autonomous Components

SOFSEM 2000: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications