Contents of Fundamenta Informaticae Volume 69

Number 1-2, Winter 2005-2006

Number 3, Winter 2005-2006

Number 4, Winter 2005-2006

Contents of Volume 69, Number 1-2, Winter 2005-2006

Click on title for abstract


Redundant Call Elimination via Tupling
Wei-Ngan Chin, Siau-Cheng Khoo and Neil Jones

Higher Order Deforestation
Geoff W. Hamilton

The Impact of seq on Free Theorems-Based Program Transformations
Patricia Johann and Janis Voigtländer

Implementing Typeful Program Transformations
Chiyan Chen, Rui Shi and Hongwei Xi

Program Transformation with Scoped Dynamic Rewrite Rules
Martin Bravenboer, Arthur van Dam, Karina Olmos and Eelco Visser

Control Generation by Program Transformation
Andy King and Jonathan C. Martin

A Multiple-Clause Folding Rule Using Instantiation and Generalization
David A. Rosenblueth

Contents of Volume 69, Number 3, Winter 2005-2006

Click on title for abstract

Supporting Action-at-a-distance in Situated Cellular Agents
Stefania Bandini, Giancarlo Mauri and Giuseppe Vizzari

Efficient Parallel Query Processing by Graph Ranking
Dariusz Dereniowski and Marek Kubale

Similarity MV-algebras
B. Gerla and I. Leu stean

Regular Expressions for Languages over Infinite Alphabets
Michael Kaminski and Tony Tan

An Image Retrieval System Based on the Color, Areas, and Perimeters of Objects
Ching-Lin Wang, Ren-Hung Hwang, Yung-Kuan Chan, Chih-Ya Chen and Chuan-Chung Cheng

The Axiomatization of the Rough Set Upper Approximation Operations
Gui-Long Liu

On k-NN Method with Preprocessing
Zbigniew Suraj and Pawel Delimata

69 (4)~2006

Contents of Volume 69, Number 4, Winter 2005-2006

Click on title for abstract

On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Davide Ciucci

Multistrategy Operators for Relational Learning and Their Cooperation
Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Teresa M.A. Basile and Nicola Di Mauro

Eliptic Curve Based Threshold Proxy Signature Scheme with Known Signers
Jacek Pomykała and Sławomir Barabasz

On minimal models of the Region Connection Calculus
Lirong Xia and Sanjiang Li