Learn IT - Springer

Robust Signal Processing for Wireless Communications (Foundations in Signal Processing, Communications and Networking)

Springer, 2007

Optimization of adaptive signal processing algorithms for wireless communications is based on a model of the underlying propagation channel. In practice, this model is never known perfectly. For example, its parameters have to be estimated and are only known with significant errors.

In this book, a systematic treatment of this practical design...

High Performance Computing on Vector Systems 2007

Springer, 2007

The book presents the state-of-the-art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of vector-based systems and heterogeneous architectures. The application contributions cover computational fluid dynamics,...

Visualization for Information Retrieval (The Information Retrieval Series)

Springer, 2007

The amount of digitized information available on the Internet, in digital libraries, and other forms of information systems grows at an exponential rate, while becoming more complex and more dynamic. As a consequence, information organization, information retrieval and the presentation of retrieval results have become more and more difficult....

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling

Springer, 2007

This book constitutes the refereed proceedings of the 26th International Conference on Conceptual Modeling, ER 2007, held in Auckland, New Zealand, in November 2007.

The 37 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on...

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia

Springer, 2004

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.

This book presents revised and extended versions of 11...

Computational Science - ICCS 2004: 4th International Conference, KrakГіw, Poland, June 6-9, 2004, Proceedings, Part I

Springer, 2004

The four-volume set LNCS 3036, LNCS 3037, LNCS 3038 and LNCS 3039 constitutes the refereed proceedings of the 4th International Conference on Computational Science, ICCS 2004, held in Kraków, Poland in June 2004.

The four volumes present more than 550 reviewed contributed and invited papers of the main conference and its 30 workshops....

Model Checking Software

Springer, 2004

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are...

Advanced Web Technologies and Applications

Springer, 2004

This book constitutes the refereed proceedings of the 6th Asia-Pacific Web Conference, APWeb 2004, held in Hangzhou, China, in April 2004.

The 60 revised full papers, 24 revised short papers, 15 revised poster papers, and 3 revised industrial papers presented together with 3 keynote papers and 3 invited papers were carefully reviewed and...

Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.

The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections...

Generic Model Management: Concepts and Algorithms (Lecture Notes in Computer Science)

Springer, 2004

Many challenging problems in information systems engineering involve the manipulation of complex metadata artifacts or models, such as database schema, interface specifications, or object diagrams, and mappings between models. Applications solving metadata manipulation problems are complex and hard to build. The goal of generic model management is...

Granular Computing: At the Junction of Rough Sets and Fuzzy Sets (Studies in Fuzziness and Soft Computing)

Springer, 2008

Since their very inception, both fuzzy and rough set theories have earned a sound, well-deserved reputation owing to their intrinsic capabilities to model uncertainty coming from the real world. The increasing amount of investigations on both subjects reported every year in the literature vouches for the dynamics of the area and its rapid...

Computational Intelligence in Bioinformatics (Studies in Computational Intelligence)

Springer, 2008

Bioinformatics involve the creation and advancement of algorithms using techniques including computational intelligence, applied mathematics and statistics, informatics, and biochemistry to solve biological problems usually on the molecular level. Major research efforts in the field include sequence analysis, gene finding, genome annotation,...

Result Page: 413 412 411 410 409 408 407 406 405 404 403 402 401 400 399 398 397 396 395