Contents of Fundamenta Informaticae Volume 90


Number 1-2,  2009

Number 3,  2009

Number 4,  2009

 


Contents of Volume 90, Number 1-2, 2009

Click on title for abstract


An Efficient Computation of the Equation K-automaton of a Regular K-expression
Jean-Marc Champarnaud,  Faissal Ouardi,  Djelloul Ziadi

A Fragile Digital Image Authentication Scheme Inspired by Wet Paper Codes
Chin-Chen Chang,  Yung-Chen Chou

Rough Set Algebras as Description Domains
Jānis Cīrulis

A General Similarity Framework for Horn Clause Logic
S. Ferilli,  T.M.A. Basile,  M. Biba,  N. Di Mauro,  F. Esposito

Approximate Sorting
Joachim Giesen,  Eva Schuberth,  Milo╣ StojakoviŠ

Indexing of Spatio-Temporal Telemetric Data Based on Adaptive Multi-Dimensional Bucket Index
Marcin Gorawski,  Adam Dyga

A Note on Axiom System for SBL¬-algebras
Radomír Hala╣

Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages
Yo-Sub Han,  Kai Salomaa,  Derick Wood

Some Symmetry Based Classifiers
Sriparna Saha,  Sanghamitra Bandyopadhyay

Novel Watermarking Authentication Schemes for Binary Images Based on Dual-Pair Block Pixel Patterns
Chung-Chuan Wang,  Chin-Chen Chang,  Jinn-Ke Jan

Concept Lattices of Subcontexts of a Context
Xia Wang,  Wenxiu Zhang

Extractive Support Vector Algorithm on Support Vector Machines for Image Restoration
Chih-Chia Yao,  Pao-Ta Yu, Ruo-Wei Hung

New Construction of Short Hierarchical ID-Based Signature in the Standard Model
Leyou Zhang,  Yupu Hu,  Qing Wu


Contents of Volume 90, Number 3, 2009

Click on title for abstract


Preface: Cognitive Informatics, Cognitive Computing,  and Their Denotational Mathematical Foundations (I)
Yingxu Wang,  Du Zhang,  Shusaku Tsumoto

A Doctrine of Cognitive Informatics (CI)
Yingxu Wang, James A. Anderson,  Christine Chan, Yiyu Yao, Witold Kinsner, Jean-Claude Latombe,  Dilip Patel, Witold Pedrycz,  Philip Sheu, Jeffrey Tsai,  Lotfi A. Zadeh,  Du Zhang

A Computational Model of Language Acquisition: the Emergence of Words
Louis ten Bosch,  Hugo Van Hamme,   Lou Boves,  Roger K. Moore

Statistical Independence and Determinants in a Contingency Table - Interpretation of Pearson Residuals based on Linear Algebra  
Shusaku Tsumoto and Shoji Hirano

A Digital Image Encryption Algorithm Based on Hyper-chaotic Cellular Neural Network
Jun Peng, Du Zhang,  Xiaofeng Liao

Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Yingxu Wang

Testing Semantics for RTPA
Luis Llana and Manuel Núñez

A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages
Ali Kamandi,  Jafar Habibi


Contents of Volume 90, Number 4, 2009

Click on title for abstract


Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Yingxu Wang,  Du Zhang,  Shusaku Tsumoto

A Formal Syntax of Natural Languages and the Deductive Grammar
Yingxu Wang

Investigating Accuracies of Classifications for Randomized Imbalanced Class Distributions
Hidenao Abe and Shusaku Tsumoto

Object Segmentation in Video via Graph Cut Built on Superpixels
Bogdan Kwolek

3DM: Domain-oriented Data-driven Data Mining
Guoyin Wang and Yan Wang

Contingency Matrix Theory II: Degree of Dependence as Granularity
Shusaku Tsumoto and Shoji Hirano

Toward Formal Models of the Theoretical Framework of Fundamental Economics
Yingxu Wang