Computers - Computer Science

The year 2009 celebrates the bicentenary of Darwin's birth and the 150th - niversary of the publication of his seminal work, On the Origin of Species.If this makes 2009 a special year for the research community working in biology and evolution, the ?eld of...

Special Section on High-Performance Embedded Architectures and Compilers.- Recruiting Decay for Dynamic Power Reduction in Set-Associative Caches.- Compiler-Assisted Memory Encryption for Embedded Processors.- Branch Predictor Warmup for Sampled Simulation through Branch History Matching.- Data Cache Techniques to Save Power and Deliver High Performance in...

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2009, CT-RSA 2009, held in San Francisco, CA, USA in April 2009. The 31 revised full papers presented were carefully reviewed and selected from 93 submissions. The papers are organized...

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Following a very thorough review process,...

Geometric Computing.- Abstracts of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing.- From Segmented Images to Good Quality Meshes Using Delaunay Refinement.- Information Geometry and Applications.- Discrete Curvature Flows for Surfaces and 3-Manifolds.- Information Geometry and Its Applications: Convex Function and Dually...

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Numerical Analysis and Its Applications, NAA 2008, held in Lozenetz, Bulgaria in June 2008. The 61 revised full papers presented together with 13 invited papers were carefully selected during two...

This book constitutes the refereed proceedings of the Second Euro-NF International Conference, NET-COOP 2008 held in Paris, France, in September 2008. The 13 revised full papers presented were carefully reviewed and selected from a total of 27 submissions. The papers are organized in topical...

This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009. The 9 papers presented were carefully selected and reviewed for inclusion in the book. The result is a collection of high-quality papers discussing current...

This book includes selected papers from VISIGRAPP 2007, the Joint Conference on Computer Vision and Computer Graphics, comprising two component conferences, namely, the International Conference on Computer Vision Theory and Applications (VISAPP) and the International Conference on Computer Graphics Theory and App- cations (GRAPP),...

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected...

Author: Jürgen BrankeISBN-10: 3540889078ISBN-13: 9783540889076Publisher: SpringerLanguage: EnglishPublished: 10/15/2008Pages: 470Format: PaperbackWeight: 1.60lbsSize: 9.20h x 6.10w x 1.10d

This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvià, Mallorca, Spain, in September 2008. The 45 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover...

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two...

These are the proceedings of Eurocrypt 2008, the 27th Annual IACR Eu- crypt Conference. The conference was sponsored by the International Asso- ation for Cryptologic Research (www.iacr.org), this year in cooperation with Tubitak (www.tubitak.gov.tr). The Eurocrypt 2008 Program Committee (PC) consisted of 28 members...

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22-24,2008.The annual workshop on hybrid systems focuses on researchin - bedded, reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial...

This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo ]rthon an Island in Lake Chiem...

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW 2007, held in Lanzhou, China in August 2007. Topics covered in the papers include bioinformatics, discrete structures, geometric information processing and communication, games and incentive analysis, graph algorithms,...

This book constitutes the refereed proceedings of the Second International Conference on Pattern Recognition and Machine Intelligence, PReMI 2007, held in Kolkata, India in December 2007. The papers are organized in topical sections on pattern recognition, image analysis, soft computing and applications, data mining...

This volume contains the papers presented at AI 2007: The 20th Australian Joint Conference on Arti?cial Intelligence held during December 2-6, 2007 on the Gold Coast, Queensland, Australia. AI 2007 attracted 194 submissions (full papers) from 34 countries. The review process was held in...

This title is part of a two volume set that constitutes the refereed proceedings of the 8th Asian Conference on Computer Vision, ACCV 2007. Coverage in this volume includes shape and texture, face and gesture, camera networks, face/gesture/action detection and recognition, learning, motion and...

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on...

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference in Freiburg, 2001. The European Conference on Machine Learning (ECML) traces its origins to 1986, when the ?rst European Working...

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of...

Weareproudtopresenttheproceedingsoftheseventhbiennialconferenceinthe Intelligent Data Analysis series. The conference took place in Ljubljana, Slo- nia, September 6-8, 2007. IDA continues to expand its scope, quality and size. It started as a small side-symposium as part of a larger conference in 1995 in Baden-Baden(Germany).It quickly attractedmoreinterest in...

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference in Freiburg, 2001. The European Conference on Machine Learning (ECML) traces its origins to 1986, when the ?rst European Working...

This book constitutes the refereed proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007. Coverage includes knowledge representation and reasoning, multiagent systems, distributed AI, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and...

This book constitutes the refereed proceedings of the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007, held in Niagara Falls, Canada, in August 2007. The 83 revised full papers presented together with three keynote are cover algorithms and applications, architectures...

This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory, including automata and formal languages, design and analysis of...

This volume contains the papers presented at the Sixth International Conference on Energy Minimization Methods on Computer Vision and Pattern Recognition (EMMCVPR 2007), held at the Lotus Hill Institute, Ezhou, Hubei, China, August 27-29, 2007. The motivation for this conference is the realization that...

The papers contained in this volume were presented at the 18th Annual S- posium on Combinatorial Pattern Matching (CPM 2007) held at the University of Western Ontario, in London, Ontario, Canada from July 9 to 11, 2007. All the papers presented at the conference...

The International Symposium on Smart Graphics 2007 was held during June 25-27, 2007 in Kyoto, Japan. It was the eighth event in a series which originally started in 2000 as a AAAI Spring Symposium and has taken place every year since then in Europe...

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication. Data hiding and cryptographic techniques are often...

The second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2007, held in La Manga del Mar Menor, Spain in June 2007. It contains all the contributions connected...

Parallel and distributed computing in the 1980s and 1990s had great in?uence onapplication developmentin science, engineering andbusiness computing. The improvements in computation and communication capabilities have enabled the creation of demanding applications in critical domains such as the environment, health, aerospace, and other areas...

This book constitutes the refereed proceedings of the Third International Conference on Algorithmic Aspects in Information and Management, AAIM 2007, held in Portland, OR, USA in June 2007. It covers graph algorithms, combinatorics, scheduling, graph theory, network algorithms, game theory, option theory, computational geometry,...

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of Satis?ability Testing (SAT) originated in 1996 as a series of workshops "on Satis?ability." By the third meeting...

This book constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2007, held in Valencia, Spain in April 2007. The 21 revised full papers cover evolutionary algorithms as well as various other metaheuristics, like scatter search, tabu...

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. It publishes original research on systems targeted at specific computing tasks as well as systems with broad...

This book constitutes the thoroughly refereed post-proceedings of NMA 2006 held in Borovets, Bulgaria. Coverage in the 84 revised full papers includes numerical methods for hyperbolic problems, robust preconditioning solution methods, metaheuristics for optimization problems, uncertain/control systems and reliable numerics, interpolation and quadrature processes,...

This book constitutes the refereed proceedings of the 4th Theory of Cryptography Conference, TCC 2007, held in Amsterdam, The Netherlands in February 2007. The 31 revised full papers cover encryption, universally composable security, arguments and zero knowledge, notions of security, obfuscation, secret sharing and...

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully...

This book constitutes the refereed proceedings of the 11th International Conference on Database Theory, ICDT 2007, held in Spain in January 2007. The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages,...

This volume contains the proceedings of EWSN 2007, the fourth European c- ference on Wireless Sensor Networks. The conference took place at TU Delft, January 29-31, 2007. Its objective was to provide a forum where researchers with di?erent experience and background, from hardware to...

This book investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis, the Inductive Method in the theorem prover Isabelle, turns out to...

This book constitutes the refereed proceedings of the 13th International Conference on High-Performance Computing, HiPC 2006, held in Bangalore, India, December 2006. Coverage in this volume includes scheduling and load balancing, network and distributed algorithms, application software, network services, ad-hoc networks, systems software, sensor...

Invited Talks.- Region Analysis and a ?-Calculus with Groups.- Abstract Data Types in Computer Algebra.- What Do We Learn from Experimental Algorithmics?.- And/Or Hierarchies and Round Abstraction.- Computational Politics: Electoral Systems.- 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey.- On Algorithms and...

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total...

th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science), - ganized under the auspices of the Indian Association for Research in Computing Science (http: //www. imsc. ernet. in/ iarcs). This year's conference attracted 84...

This volume contains the papers presented at the3rd International Wo- shoponRandomizationandApproximationTechniquesinComputer Science (RANDOM'99) and the 2nd International Workshop on - proximation Algorithms for Combinatorial Optimization Problems (APPROX'99), which took place concurrently at the University of California, Berkeley, from August 8-11, 1999. RANDOM'99 is concerned...

This book constitutes, together with its compagnion LNCS 1607, the refereed proceedings of the International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, held in Alicante, Spain in June 1999.The 89 revised papers presented were carefully reviewed and selected for inclusion in the book....