Computers - Computer Science

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in...

This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009. The 36 revised full papers presented together with 15 invited papers and 7 workshop papers were...

This book constitutes the refereed proceedings of the 29th Annual International Cryptology Conference, CRYPTO 2009, held in Santa Barbara, CA, USA in August 2009. The 38 revised full papers presented were carefully reviewed and selected from 213 submissions. Addressing all current foundational, theoretical and...

This volume contains the papers selected for presentation at the 4th Brazilian Sym- sium on Bioinformatics, BSB 2009, which was held in Porto Alegre, Brazil, during August 29-31, 2009. The BSB symposium had its origins in the Brazilian Workshop on Bioinformatics (WOB). WOB had...

The 14th International Conference on Implementation and Application of - tomata (CIAA 2009) was held in NICTA's Neville Roach Laboratory at the University of New South Wales, Sydney, Australia during July 14-17, 2009. This volume of Lecture Notes in Computer Science contains the papers...

The papers in this volume were selected for presentation at the 15th Annual InternationalComputing and CombinatoricsConference (COCOON 2009), held during July 13-15, 2009 in Niagara Falls, New York, USA. Previous meetings of this conference were held in Xian (1995), Hong Kong (1996), Shanghai (1997),...

On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 6th GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Since 2004, DIMVA annually brings together leading researchers and practitioners from academia, government...

This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis?ability Testing (SAT) started in 1996...

Since 1993 the conference Developments in Language Theory (DLT) has been held in Europe every odd year and, since 2002, outside Europe every even year. The 13th conference in this series was DLT 2009. It took place in Stuttgart fromJune30to July3.PreviousmeetingsoccurredinTurku(1993), Magdeburg (1995), Thessaloniki(1997),...

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics...

Anticipatory behavior in adaptive learning systems continues attracting attention of researchers in many areas, including cognitive systems, neuroscience, psychology, and machine learning. This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Anticipatory Behavior in Adaptive Learning Systems, ABiALS 2008,...

th These proceedings contain refereed papers presented at the 7 WSOM held at the Casa Monica Hotel, St. Augustine, Florida, June 8-10, 2009. We designed the wo- shop to serve as a regular forum for researchers in academia and industry who are interested in...

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2008, held in Warsaw, Poland, in November 2008. The 48 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized...

Thepapersinthis volumewerepresentedatthe5thInternationalConferenceon Algorithmic Aspects in Information and Management (AAIM 2009), held June 15-17, 2009, in San Francisco, California. The topics cover mostly algorithmic applications in information management and management science. A total of 41 papers were submitted to the conference.After an on-line paper review...

This book constitutes the refereed proceedings of the 10th International Symposium on Smart Graphics, SG 2009, held in Salamanca, Spain in May 2009. The 15 revised full papers together with 8 short papers and 2 demonstrations presented were carefully reviewed and selected. The papers...

This book constitutes the refereed proceedings of the First International on Bioinformatics and Computational Biology, BICoB 2007, held in New Orleans, LA, USA, in April 2007. The 30 revised full papers presented together with 10 invited lectures were carefully reviewed and selected from 72...

This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbrücken, Germany, in March 2009. The 21 revised full papers presented together with the 3 position papers were carefully reviewed and selected from numerous submissions. The...

This book constitutes the refereed proceedings of the Third International Workshop on Algorithms and Computation, WALCOM 2009, held in Kolkata, India, in February 2009. The 30 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 102 submissions. The...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119...

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC 2007, held in Sendai, Japan, in December 2007. The 77 revised full papers presented together with two invited talks were carefully reviewed and selected from 220 submissions. The...

This volume results from the regular sessions of the Second International Workshop of the Moscow ACM SIGMOD Chapter "Advances in Databases and Information Systems" (ADBIS'95) that took place 27th-30th June 1995, in Moscow, Russia. ADBIS'95 continues a series of annual Workshops on Advances in...

Many books describe the application of heuristic optimization methods to a wide variety of optimization problems. However, the process of developing an efficient optimization method for the specific problem at hand seems to be considered a "black art", the domain of optimization specialists. This...

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers...

Fuzzy Sets and Their Extensions: Representation, Aggregation and Models Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision Fuzzy sets are now more than 40 years old, and have come of age. However, the development of fuzzy set theory at...

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of...

For the fourth time, the Leibniz Supercomputing Centre (LRZ) and the Com- tence Network for Technical, Scienti c High Performance Computing in Bavaria (KONWIHR) publishes the results from scienti c projects conducted on the c- puter systems HLRB I and II (High Performance Computer...

"Data Analysis" in the broadest sense is the general term for a field of activities of ever-increasing importance in a time called the information age. It covers new areas with such trendy labels as, e.g., data mining or web mining as well as traditional...

ThisvolumecontainsallthepaperspresentedattheInternationalConferenceon Algorithmic Learning Theory 1999 (ALT'99), held at Waseda University Int- nationalConferenceCenter, Tokyo, Japan, December 6?8,1999.Theconference was sponsored by the Japanese Society for Arti cial Intelligence (JSAI). In response to the call for papers, 51 papers on all aspects of algorithmic learning theory and...

These are the proceedings of CHES'99, the rst workshop on Cryptographic Hardware and Embedded Systems. As it becomes more obvious that strong security will be an important part of the next generation of communication, computer, and electronic consumer devices, we felt that a new...

This volume contains the papers selected for presentation at the Seventh Int- national Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (RSFDGrC'99) held in the Yamaguchi Resort Center, Ube, Y- aguchi, Japan, November 9-11, 1999. The workshop was organized by Inter-...

This work considers practical parallel list-ranking algorithms. The model for which programs are written is a single-program multiple-data (SPMD) \bri- ingmodel". Thismodel isdesignated asa programmer'smodelfora ne-grained computation framework called Explicit Multi-Threading (XMT), which was - troduced in [VDBN98]; the XMT framework covers the spectrum...

This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also published as Lecture Notes in Computer Science, Volumes 1023 (Bangkok, 1995), 1179 (Singapore, 1996), and 1345...

This book constitutes the refereed proceedings of the 18th Annual International Cryptology Conference, CRYPTO'98, held in Santa Barbara, California, USA, in August 1998. The book presents 33 revised full papers selected from a total of 144 submissions received. Also included are two invited presentations....

This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT'98), held at the European education centre Europ]aisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. The Conference was sponsored by the Japanese Society for Arti cial...

The papers in this volume were selected for presentation at the Fourth Annual International Computing and Combinatorics Conference (COCOON'98), held on August 12-14, 1998, in Taipei. The topics cover most aspects of theoretical computer science and combinatorics related to computing. Submissions to the conference...

This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are new universal network protocols...

This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, in April 1998.The 28 revised full papers presented together with five invited surveys were carefully selected from a total of 53 submissions based on...

This book constitutes the strictly refereed proceedings of the Second International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'98, held in Las Vegas, Nevada, USA, in January/February 1998.The 18 revised full papers presented were selected from 38 submissions on the basis...

This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions. The topics covered include planarity,...

This book constitutes the refereed proceedings of the 7th International Workshop on Discrete Geometry for Computer Imagery, DGCI '97, held in Montpellier, France, in December 1997. The volume presents 17 revised full papers together with three invited full papers. The contributions are organized in...

This book constitutes the refereed proceedings of the 6th International Conference on Cryptography and Coding held at the Institute of Mathematics and its Applications (IMA) in Cirencester, UK, in December 1997. The 35 revised full papers presented emphasize the links and commonality between the...

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book...

This book constitutes the refereed proceedings of the 5th Annual International European Symposium on Algorithms, ESA'97, held in Graz, Austria, September 1997.The 38 revised full papers presented were selected from 112 submitted papers. The papers address a broad spectrum of theoretical and applicational aspects...

This book constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland, in September 1997.The 34 revised full papers presented in the volume were selected from a total of 72 submissions. Also included are six...

This book constitutes the refereed proceedings of the First European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97, held in Trondheim, Norway, in June 1997.The volume presents a total of 38 revised full papers together with abstracts of one invited talk...

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also...

Proceedings of the 6th International IFIP-Conference Bonn, Germany, May 24 - 27, 1997Author: A. Frances GrundyISBN-10: 3540626107ISBN-13: 9783540626107Publisher: SpringerLanguage: EnglishPublished: 05/20/1997Pages: 494Format: PaperbackWeight: 1.58lbsSize: 9.21h x 6.14w x 1.04d

This book constitutes the refereed proceedings of the Third European Conference on Computational Learning Theory, EuroCOLT'97, held in Jerusalem, Israel, in March 1997.The book presents 25 revised full papers carefully selected from a total of 36 high-quality submissions. The volume spans the whole spectrum...

This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '96, held in Cadenabbia, Italy, in June 1996.The 30 revised full papers presented in the volume were selected from a total of 65 submissions. This...

This book constitutes the refereed proceedings of the 7th International Workshop on Algorithmic Learning Theory, ALT '96, held in Sydney, Australia, in October 1996.The 16 revised full papers presented were selected from 41 submissions; also included are eight short papers as well as four...