Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Purchase individual online access for 1 year to this journal.
Price: EUR 410.00Impact Factor 2024: 0.4
Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:
- solutions by mathematical methods of problems emerging in computer science
- solutions of mathematical problems inspired by computer science.
Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, & algebraic and categorical methods.
Authors: Bocharov, Igor | Lukin, Pavel
Article Type: Research Article
Abstract: The article discusses an application of Kullback-Leibler divergence to the recognition of speech signals and suggests three algorithms implementing this divergence criterion: correlation algorithm, spectral algorithm and filter algorithm. Discussion covers an original approach to the problem of speech variability and is illustrated with results of experimental speech signal modeling. The article gives a number of recommendations on the choice of appropriate model parameters and provides a comparison to some other methods of …speech recognition. Show more
Keywords: speech recognition, speech variability, information divergence
Citation: Fundamenta Informaticae, vol. 68, no. 4, pp. 303-313, 2005
Authors: Lin, Chih-Yang | Chang, Chin-Chen | Lin, Chia-Chen
Article Type: Research Article
Abstract: Density-based clustering can identify arbitrary data shapes and noises. Achieving good clustering performance necessitates regulating the appropriate parameters in the density-based clustering. To select suitable parameters successfully, this study proposes an interactive idea called GADAC to choose suitable parameters and accept the diverse radii for clustering. Adopting the diverse radii is the original idea employed to the density-based clustering, where the radii can be adjusted by the genetic algorithmto cover the clusters …more accurately. Experimental results demonstrate that the noise and all clusters in any data shapes can be identified precisely in the proposed scheme. Additionally, the shape covering in the proposed scheme is more accurate than that in DBSCAN. Show more
Keywords: Clustering algorithms, genetic algorithms, DBSCAN
Citation: Fundamenta Informaticae, vol. 68, no. 4, pp. 315-331, 2005
Authors: Poranen, Timo
Article Type: Research Article
Abstract: The optimal linear arrangement problem is defined as follows: given a graph G, find a linear ordering for the vertices of G on a line such that the sum of the edge lengths is minimized over all orderings. The problem is NP-complete and it has many applications in graph drawing and in VLSI circuit design. We introduce a genetic hillclimbing algorithm for the optimal linear arrangement problem. We compare the quality of the solutions and running times …of our algorithm to those obtained by simulated annealing algorithms. To obtain comparable results, we use a benchmark graph suite for the problem. Our experiments show that there are graph classes for which the optimal linear arrangement problem can be efficiently approximated using our genetic hillclimbing algorithm but not using simulated annealing based algorithms. For hypercubes, binary trees and bipartite graphs, the solution quality is better and the running times are shorter than with simulated annealing algorithms. Also the average results are better. On the other hand, there also are graph classes for which simulated annealing algorithms work better. Show more
Keywords: Genetic algorithm, optimization, hillclimbing, optimal linear arrangement problem
Citation: Fundamenta Informaticae, vol. 68, no. 4, pp. 333-356, 2005
Authors: Qi, Guilin | Milligan, Peter | Sage, Paul
Article Type: Research Article
Abstract: Incidence calculus is a probabilistic logic which possesses both numerical and symbolic approaches. However, Liu in [5] pointed out that the original incidence calculus had some drawbacks and she established a generalized incidence calculus theory (GICT) based on Łukasiewicz's three-valued logic to improve it. In a GICT, an incidence function is defined to relate each proposition ϕ in the axioms of the theory to a set of possible worlds in which ϕ has truth value true. …But the incidence function only represents those absolute true states of propositions, so it can not deal with the uncertain states. In this paper, we use two incidence functions i_* and i^* to relate the axioms to the sets of possible worlds. For an axiom ϕ, i_* (ϕ) is to be thought of as the set of possible worlds in which ϕ has truth value true, while i^* (ϕ) is the set of possible worlds in which ϕ is true or undeterminable. Since i^* can represent the undeterminable state, our newly defined theory is more efficient to handle vague information than GICT. Show more
Keywords: probabilistic logic, incidence calculus, basic incidence assignment
Citation: Fundamenta Informaticae, vol. 68, no. 4, pp. 357-378, 2005
Authors: Sydow, Marcin
Article Type: Research Article
Abstract: The World Wide Web with its billions of hyperlinked documents is a huge and important resource of information. There is a necessity of filtering this information. Link analysis of the Web graph turned out to be a powerful tool for automatically identifying authoritative documents. One of the best examples is the PageRank algorithm used in Google [1] to rank search results. In this paper we extend the model underlying the PageRank algorithm by incorporating …"back button" usage modeling in order to make the model less simplistic. We explain the existence and uniqueness of the ranking induced by the extended model. We also develop and implement an efficient approximation method for computing the novel ranking and present succesful experimental results made on 80- and 50- million page samples of the real Web. Show more
Keywords: Web Information Retrieval, Link Analysis, PageRank, Back Button Modeling
Citation: Fundamenta Informaticae, vol. 68, no. 4, pp. 379-398, 2005
Authors: Wu, Hsien-Chu | Hwang, Min-Shiang | Liu, Chia-Hsin
Article Type: Research Article
Abstract: Password authentication, which is widely used for authenticated method, also is important protocol by requiring a username and password before being allowed access to resources. In 2001, Lin et al. proposed the optimal strong-password authentication protocol, called (OSPA) which is a one-time password method by verifying with the different verifier every time for affirming its identity. However, Chen-Ku and Tsuji-Shimizu pointed respectively out that OSPA is vulnerable to the stolen-verifier attack and impersonation …attack. In this paper, we shall propose the improved protocol secure against the known attacks to enhance the security Show more
Keywords: Authentication, cryptography, hash function, password
Citation: Fundamenta Informaticae, vol. 68, no. 4, pp. 399-406, 2005
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]