Advances in Computing and Information - ICCI '91 - neues Buch

EAN (ISBN-13): 9783540473596
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-08T00:53:37+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-31T14:42:14+01:00 (Vienna)
ISBN/EAN: 9783540473596

ISBN - alternative Schreibweisen:
978-3-540-47359-6

---

Daten vom Verlag:

Autor/in: Frank Dehne; Frantisek Fiala; Waldemar W. Koczkodaj
Titel: Lecture Notes in Computer Science; Advances in Computing and Information - ICCI '91 - International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings
Verlag: Springer; Springer Berlin
750 Seiten
Erscheinungsjahr: 2005-07-13
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
VIII, 750 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Rechnerarchitektur und Logik-Entwurf; Verstehen; algorithm; algorithms; artificial intelligence; complexity; distributed computing; expert system; information system; intelligence; algorithm analysis and problem complexity; C; Processor Architectures; Artificial Intelligence; Models of Computation; Computer and Information Systems Applications; Algorithms; Computer Science; Künstliche Intelligenz; Theoretische Informatik; Angewandte Informatik; Algorithmen und Datenstrukturen; BC

What's wrong with formal programming methods?.- Computer Science and communications protocols: Research relationships.- Reaping the benefits of mass production with massively parallel computing.- On the quickest path problem.- Practical adaptive sorting.- Lower bounds for algebraic computation trees of functions with finite domains.- Approximation algorithms for the Bandwidth Minimization Problem for a large class of trees.- The Interpolation-Based Bintree and its application to graphics.- On the k-coloring of intervals.- Folding a triangulated simple polygon: Structural and algorithmic results.- A relationship between self-organizing lists and binary search trees.- How costly can red-black trees be?.- Balance in AVL trees.- A tight lower bound for selection in sorted X+Y.- Greedy triangulation approximates the optimum and can be implemented in linear time in the average case.- Generating random graphs efficiently.- Linear extensions with backtracking.- Storing shortest paths for a polyhedron.- An improved join dependency for efficient constraint checking.- On the power of query-independent compilation.- Parallel transitive closure computation in highly scalable multiprocessors.- Methods and tools for integrating database systems and object-oriented programming systems.- Incremental database design revisited.- Partial document ranking by heuristic methods.- Context inheritance and content inheritance in an object-oriented data model.- Graphical specification of recursive queries.- On designing relational database schemes for efficient query processing.- The mean value approach to performance evaluation of time-stamp ordering algorithms.- A backend text retrieval machine for signature-based document ranking.- Partitioning and scheduling of parallel functional programs using complexity information.- Subtree availability in binary tree architectures.- An optimal parallel algorithm for the vertical segment visibility reporting problem.- A fault-tolerant binary tree architecture.- Unordered tree contraction.- Conflict-free sorting algorithms under single-channel and multi-channel broadcast communication models.- Parallel routing and sorting on the pancake network.- Practical parallel algorithms for chordal graphs.- Logarithmic time NC algorithms for comparability graphs and circle graphs.- Compact hypercubes: Properties and recognition.- Increasing communication bandwidth on hypercube.- Programming a parallel sort using distributed procedure calls.- A note on off-line permutation routing on a mesh-connected processor array.- A fully-pipelined solutions constructor for dynamic programming problems.- On the fault-tolerance of quasi-minimal cayley networks.- Some fast parallel algorithms for parentheses matching.- A simple optimal parallel algorithm to solve the lowest common ancestor problem.- Extended cycle shrinking: A restructuring method for parallel compilation.- Sequential and distributed algorithms for the all pairs quickest path problem.- An efficient approximation algorithm for hypercube scheduling.- An optimal parallel algorithm to reconstruct a binary tree from its traversals.- An efficient multiprocessor architecture for image processing in VLSI.- Generalized fault tolerance properties of star graphs.- A formal description of the IC* model of parallel computation.- An efficient algorithm for quiescence detection in a distributed system.- Interval arithmetic for computing performance guarantees in client-server software.- Enhanced reliability in scheduling critical tasks for hard real-time distributed systems.- A design and modeling environment to develop real-time, distributed software systems.- On the management of remote procedure call transactions.- Simple atomic snapshots a linear complexity solution with unbounded time-stamps.- A distributed scheduling algorithm for heterogeneous real-time systems.- A distributed solution to the k-out of-M resources allocation problem.- Efficient distributed resource scheduling for adaptive real-time operation support.- Mapping of fault-tolerant permutations in omega interconnection network.- Artificial neural networks for predicting silicon content in raw iron from blast furnaces.- A chemical reactor selection expert system created by training an artificial neural network.- A modeling technique for generating causal explanations of physical systems.- Planning in conceptual networks.- Empirical study of the meaning of the hedge “VERY”.- Kernel knowledge versus belt knowledge in default reasoning: A logical approach.- Neural network processing elements as a new generation of ”flip-flops”.- A proof-theoretic framework for nonmonotonic reasoning and logic programming.- On semantics, syntactics and fixpoints of general programs.- A framework for variable-resolution vision.- An RMS for temporal reasoning with abstraction.
These ICCI '91 proceedings present original results in research, development, and applications in computing and information processing. Topics: algorithms and complexity, databases and information systems, parallel processing and systems, distributed computing and systems, expert systems and AI.