Books in category Computer Science

Graph-Theoretic Concepts in Computer Science

Author: Brandstadt, A. ;Le, V. B.
Publisher : Springer
ISBN : 9783540427070

Automata Implementation

Author: Boldt, O. ;Juergensen, H.
Publisher : Springer
ISBN : 9783540428121

Algorithmic Number Theory

Author: Bosma, Wieb
Publisher : Springer
ISBN : 9783540676959

Interactive Systems. Design, Specification, and Verification

Author: Palanque, Philippe et al
Publisher : Springer
ISBN : 9783540416630

Algorithm Theory - Swat '96: 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings

Author:
Publisher : Springer
ISBN : 9783540614227

Combinatorial Pattern Matching: 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings

Author: Amir, A. ;Landau, G.
Publisher : Springer
ISBN : 9783540422716

Combining First-Order Logic and Logic Programming Using Fol-Programs

Author: Felderer, Michael
Publisher : VDM Verlag
ISBN : 9783639033250

Constrained Optimization in the Calculus of Variations and Optimal Control Theory

Author:
Publisher : Springer
ISBN : 9780412742309

Automatic Keyword Extraction

Author: Hulth, Anette
Publisher : VDM Verlag
ISBN : 9783639038552

Latent Semantic Indexing and Information Retrieval

Author: Gei, Johanna
Publisher : VDM Verlag
ISBN : 9783639003949
Most common search engines have serious problems returning all the documents which are important to a given user query because they can not disambiguate ambiguous terms or find documents which only include synonyms of the query terms. A promising approach to overcome these shortcomings gives Latent Semantic Indexing (LSI). This indexing scheme uses Singular Value Decomposition (SVD) to reveal the

Volume Hatching for Illustrative Visualization

Author: Gerl, Moritz
Publisher : VDM Verlag
ISBN : 9783836459785
Hand-drawn illustrations are a traditional manner of conveying visual information in an abstract and aesthetic way. This work is dedicated to the automated generation of hand-drawn style hatching drawings from volumetric data. Based on a graphics-hardware accelerated determination of shape and lighting features, hatching strokes are generated in image space. An approach depicting contours with mul

Measure Theory and Probability Theory

Author: Athreya, Krishna B. ;Lahiri, Soumen N.
Publisher : NOT AVAIL
ISBN : 9780387329031
This is a graduate level textbook on measure theory and probability theory. The book can be used as a text for a two semester sequence of courses in measure theory and probability theory, with an option to include supplemental material on stochastic processes and special topics. It is intended primarily for first year Ph.D. students in mathematics and statistics although mathematically advanced st

Operating System Services for Task-Specific Power Management - Novel Approaches to Energy - Aware Embedded Linux

Author: Wei, Andreas
Publisher : VDM Verlag
ISBN : 9783836425636

Hierarchical Strategy Learning for Flux Agents

Author: Skubch, Hendrik
Publisher : VDM Verlag
ISBN : 9783836452717

Scalable Authoring of Diagnostic Case Based Training Systems

Author: Betz, Christian
Publisher : VDM Verlag
ISBN : 9783836449731

Fundamentals of Computation Theory: International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings

Author:
Publisher : Springer
ISBN : 9783540514985
This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Eff

Invariants: A Generative Approach to Programming

Author: Zingaro, Daniel
Publisher : College Publications
ISBN : 9781904987833

Password Management for Distributed Environments

Author: De Luca, Marco
Publisher : VDM Verlag
ISBN : 9783836437325
Authentication is a very old problem. The history of mankind has seen many solutions to this problem, such as relying on guards, spoken passwords, hard-to-forge seals, key-operated mechanical locks and so on. With today''s computer based systems, unattended authentication with as little human interaction as possible is essential. This book briefly recalls the main concepts of cryptography and auth

Increasing Performance of Wireless Communications Systems

Author: Conder, Phillip
Publisher : VDM Verlag
ISBN : 9783639045468

Techniques to Mitigate the Effects of Congenital Faults in Processors

Author: Sarangi, Smruti ;Torrellas, Josep
Publisher : VDM Verlag
ISBN : 9783639046373