Advances in Informatics : Proceedings of the 7th Hellenic Conference on Informatics (Hci '99), University of Ioannina, Greece, 26-29 August 1999

by Fotiadis, Dimitrios I.; Nikolopoulos, Stavros D.

• ISBN13: 9789810241926
• ISBN10: 9810241925
• Format: Hardcover
• Copyright: 2000-07-01
• Publisher: WORLD SCIENTIFIC PUB CO INC

Summary

Proceedings of the 7th Hellenic Conference on Informatics, held at the University of Ioannina, Greece, on August 26-29, 1999. Addresses the state-of-the-art and future directions of informatics. Covers a wide range of subjects, from theoretical computer science, systems and scientific computing, and software engineering.

Table of Contents

Preface	v
Cutting Across the Network Layers in the Wireless Environment	1	(7)
A. Ephremides
The Malleable Document	8	(10)
W.W. Wadge
Fuzzy Optimization Model for QoS Routing and Bandwidth Allocation	18	(12)
E. Aboelela
C. Douligeris
Evaluation of Real-Time Software Design with the Aid of a Petri Net Template Model	30	(12)
D. Ananidou
G. Hassapis
D. Kleftouris
A Modal Logic Formalism for Scheduling Dags	42	(10)
T. Andronikos
S. Zachos
Usage-Based Charging for Internet Usage: A Case Study	52	(21)
T. Apostolopoulos
S. Cohen
C. Courcoubetis
X. Psiakki
DVAL: An Agent-Based Co-operation Support System in an Academic Environment	73	(10)
N.M. Avouris
N. Georgalas
A Systolic Approach to Loop Partitioning and Mapping into Fixed Size Distributed Memory Architectures	83	(14)
I. Drositis
N. Koziris
N. Papaspyrou
P. Tsanakas
The Structure of Sparse-Resultant Matrices	97	(14)
I.Z. Emiris
All-Pairs Nearest Neighbors in a Mobile Environment	111	(11)
D. Gunopulos
G. Kollios
V.J. Tsotras
Neurules: Integrating Symbolic Rules and Neurocomputing	122	(12)
I. Hatzilygeroudis
J. Prentzas
A Design Language and Tool for X-Machines Specification	134	(12)
P. Kapeti
P. Kefalas
Instruction-Based Prediction for Migratory Sharing in Shared-Memory Multiprocessors	146	(18)
S. Kaxiras
J.R. Goodman
On Optimizing Atlas I, A 10GBPS ATM Switch	164	(14)
G. Kornaros
D. Pneumatikatos
D. Mavroidis
P. Vatsolaki
G. Kalokairinos
C. Xanthaki
G. Dimitriadis
D. Serpanos
M. Katevenis
Many-Valued Autoepistemic Reasoning with Applications in Multi-Agent Situations	178	(10)
C.D. Koutras
S. Zachos
Quantum-Based Spatial Extension to the Relational Model	188	(12)
N.A. Lorentzos
J.R. Rios Viqueira
N. Tryfona
Fringe Analysis of 2-3 Trees with Lazy Parent Split	200	(12)
A. Manousaka
Y. Manolopoulos
An Evaluation of Stemming Algorithms with Modern Greek	212	(11)
S. Nikolaidis
T.Z. Kalamboukis
Path Coloring Problems in Graphs are Non-Approximable	223	(8)
C. Nomikos
An Approximation Algorithm for W-Coloring of Circular Arcs	231	(8)
C. Nomikos
A. Pagourtzis
S. Zachos
Determining the Maximum Solution is Cook[1]-Equivalent to Counting	239	(10)
A.T. Pagourtzis
K. Sharma
S. Zachos
Towards a Virtual Reality Intelligent Agent Language	249	(11)
T. Panayiotopoulos
G. Anastassakis
Facilitating the Definition of Programming Languages by Using Parametric Context-Free Grammars	260	(13)
N.S. Papaspyrou
V.C. Vescoukis
Using Machine Learning Techniques for Part-of-Speech Tagging in the Greek Language	273	(9)
G. Petasis
G. Paliouras
V. Karkaletsis
C.D. Spyropoulos
I. Androutsopoulos
Integrating Legacy Systems to the WWW: An XML-Based, Multi-Agent Approach	282	(12)
C. Petrou
S. Hadjiefthymiades
D. Martakos
Precedence Constrained Scheduling: A Case in P	294	(11)
K. Politopoulos
G.F. Georgakopoulos
P. Tsanakas
A Heuristic Based Approach to Planning in Strips Domains	305	(8)
I. Refanidis
I. Vlahavas
Circular Drawings of Telecommunication Networks	313	(11)
J.M. Six
I.G. Tollis
External Balanced Regular (x-BR) Trees: New Structures for Very Large Spatial Databases	324	(10)
M. Vassilakopoulos
Y. Manolopoulos
Lamps: Location Agents and Mobile-Pnni Scheme	334	(11)
E. Zervas
A. Kaloxylos
L. Merakos
Author Index	345