## Advances in InformaticsThis volume addresses the state-of-the-art and future directions of informatics. Several senior researchers and graduate students present their research and work here. The purpose of the book is to disseminate the latest scientific, engineering and technical information in various fields of informatics. It covers a wide range of subjects, from theoretical computer science, software engineering, systems and scientific computing to networking and applied research. The book can be used either as a reference for related scientific work or as educational material for advanced computer science courses. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Preface | 1 |

Fuzzy Optimization Model for QoS Routing and Bandwidth | 18 |

A Modal Logic Formalism for Scheduling Dags | 42 |

An AgentBased Cooperation Support System in | 73 |

The Structure of SparseResultant Matrices | 97 |

AllPairs Nearest Neighbors in a Mobile Environment | 111 |

A Design Language and Tool for XMachines Specification | 134 |

On Optimizing Atlas I A 10GBPS ATM Switch | 164 |

Fringe Analysis of 23 Trees with Lazy Parent Split | 200 |

Path Coloring Problems in Graphs are NonApproximable | 223 |

Determining the Maximum Solution is CooklEquivalent | 239 |

Facilitating the Definition of Programming Languages by Using | 260 |

Using Machine Learning Techniques for PartofSpeech Tagging | 273 |

A Case in P | 294 |

Circular Drawings of Telecommunication Networks | 313 |

333 | |

### Other editions - View all

### Common terms and phrases

agent algebra application architecture arcs articulation point assigned ATLAS ATLAS II autoepistemic logic B-trees bandwidth biconnected component biconnected graphs Brill tagger cache block circular colors complexity Computer Science consider corpus corresponding cost data types database defined definition denote documents domain DVAL edges elastic buffer evaluation example execution Figure formal functions GR-NET graph Greek language h-line heuristic Heyting algebra IEEE implementation index space input instruction-based prediction Integrator language load logic many-valued method migratory sharing modal Modal Logic NDTM neurule newstem node NP-complete operations optimization parameters path performance PNNI polynomial predictor problem Proc processor protocol quadtree query resultant matrix routing rules schedule scheme semantics sparse resultant spatial objects specific stemming algorithms step structure switch symbolic Table task Theorem traffic transformed trees with LPS update variable vector x-BR X-Machine