Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Numerical analysis --- Algorithmes (Ordinateur) --- Algoritmen (Computer) --- Computer algorithms --- Ordinateurs simultanés --- Parallel computers --- Simultaancomputers --- Parallel algorithms --- Parallel algorithms. --- Computer algorithms. --- Parallel computers.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Numerical analysis --- Computer science --- Computer algorithms --- Algorithmes --- Computer algorithms. --- 519.682 --- 681.3*F2 --- Algorithms --- Programming languages. Metalanguages --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 519.682 Programming languages. Metalanguages --- Algorithmes (Ordinateur) --- Algoritmen (Computer)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and programs usually derive their output directly from their input. This book investigates the concept of incremental computation and dynamic algorithms in general and provides a variety of new results, especially for computational problems from graph theory: the author presents e.g. efficient incremental algorithms for several shortest-path problems as well as incremental algorithms for the circuit value annotation problem and for various computations in reducible flow graphs.

Algorithmes (Ordinateur) --- Algoritmen (Computer) --- Computer algorithms --- Data processing [Electronic ] --- Electronic data processing --- Elektronische gegevensverwerking --- Gegevensverwerking [Electronische ] --- Grafentheorie --- Graph theory --- Graphes [Théorie des ] --- Théorie des graphes --- Traitement électronique des données --- Electronic data processing. --- Computer algorithms. --- Computer software. --- Combinatorics. --- Computer science. --- Operating systems (Computers). --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Operating systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.

AI(Artificial intelligence) --- Algorithmes (Ordinateur) --- Algoritmen (Computer) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Computer algorithms --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Machine intelligence --- Temps --- Thinking [Artificial ] --- Tijd --- Time --- Computer algorithms. --- Time. --- Artificial intelligence. --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Computer science. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- AI (Artificial intelligence) --- Intelligence, Artificial --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algorithms are a central concept in computer science. The German Science Foundation (DFG) started a special joint initiative on data structures and efficient algorithms in 1986 with the aim of encouraging collaborative research on algorithms. For a period of five years about a dozen projects were funded with an emphasis on algorithms and data structures for geometric problems, on the one hand, and parallel and distributed algorithms, on the other. This volume contains 18 papers that are intended to give an impression of the achievements of this joint research initiative. The first group of papers addresses research on fundamental data structures, computational geometry, graph algorithms, computer graphics, and spatial databases. The second group of papers centers on the following problems: the design of parallel architectures and routing strategies, simulation of parallel machines, and the design of distributed algorithms for solving difficult problems.

Algorithmes (Ordinateur) --- Algoritmen (Computer) --- Computer algorithms --- Data structures (Computer science) --- Données [Structures de ] (Informatique) --- Gegevensstructuren (Informatica) --- Structures de données (Informatique) --- 681.3*H28 --- -Data structures (Computer science) --- -681.3*A0 --- Algorithms --- Database applications --- Congresses --- General --- Congresses. --- 681.3*A0 General --- 681.3*H28 Database applications --- 681.3*A0 --- Information theory. --- Computer science. --- Computer network architectures. --- Computer software. --- Computer graphics. --- Data structures (Computer scienc. --- Theory of Computation. --- Programming Techniques. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Computer Graphics. --- Data Structures. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Digital techniques