Computers - Computer Science

This book constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 21 revised full papers presented together with...

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...

This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7 9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested...

Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspects of parallel and distributed computing. th Euro-Par 2009 was the 15 edition in this conference series. Througout the years, the Euro-Par conferences have always attracted high-quality...

The ILP conference series has been the premier forum for work on logic-based approaches to machine learning for almost two decades. The 19th International Conference on Inductive Logic Programming, which was organized in Leuven, July2-4,2009, continuedthistraditionbutalsoreachedouttoothercommunities as it was colocated with SRL-2009 - the...

Fast Software Encryption (FSE) 2010, the 17th in a series of workshopson s- metriccryptography, washeldinSeoul, Korea, duringFebruary7 10,2010.Since 2002, theFSE workshophasbeensponsoredbythe InternationalAssociationfor Cryptologic Research (IACR). The ?rst FSE workshop was held in Cambridge, UK (1993), followed by workshops in Leuven, Belgium (1994), Cambridge, UK...

The annual Australasian Conference on Information Security and Privacy is the premier Australian academic conference in its ?eld, showcasing research from around the globe on a range of topics. ACISP 2010 was held during July 5-7, 2010, at Macquarie University in Sydney, Australia. There...

It is our great pleasure to welcome you to the Third International Workshop on Future Multimedia Networking(FMN). Followingprevioussuccessfulworkshops (held in Cardi?, Wales in 2008, and in Coimbra, Portugal in 2009), this year s workshopcontinuedthe traditionofbeingapremierforumthatgivesresearchers and practitioners a unique opportunity to share their experiences...

ICIAR 2010, the International Conference on Image Analysis and Recognition, held in Povoa do Varzim, Portugal, June 21-23, was seventh in the ICIAR - ries of annual conferences alternating between Europe and North America. The idea oforganizingtheseconferenceswasto fosterthecollaborationandexchange between researchersand scientists in the broad...

Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry professionals. The goal of these co-located conferences is to bring together researchers from academia and industry as well...

Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry professionals. The goal of these co-located conferences is to bring together researchers from academia and industry as well...

This volume constitutes the proceedings of the 10th International Conference on Arti?cial Intelligence and Soft Computing, ICAISC 2010, held in Zakopane, PolandduringJune13-17,2010. TheconferencewasorganizedbythePolishN- ral Network Society in cooperation with the Academy of Management in L od z (SWSPiZ), the Department of Computer Engineering at...

This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. The 30 papers presented were carefully reviewed and selected from 62 submissions. The scope of topics of the symposium was quite...

The background to IDA 2010, the 9th International Symposium on Intelligent DataAnalysis(IDA), is ratherunusual. Previously, thesymposiawereheldbi- nially at European venues. Over this time, the IDA Symposium had established an identity, a dedicated group of Program Committee members, and a regular audience. However, this success...

The 13th International Conference on Practice and Theory in Public Key Cryp- tography(PKC2010)washeldMay26 28,2010, attheEcoleNormaleSup erieure (ENS) in Paris, France. PKC 2010 was sponsored by the International Associ- ation for Cryptologic Research (IACR), in cooperation with the Ecole Normale Sup erieure (ENS) and the...

This volume contains a selection of papers presented at the 10th Workshop on Membrane Computing, WMC 2009, which took place in Curtea de Arge, s, Romania, during August 24-27, 2009. The?rstthreeWorkshopsonMembraneComputingwereorganizedinCurtea de Arge, s, Romania - they took place in August 2000 (with the...

th This two-volume set constitutes the Proceedings of the 16 International Conference on Neural Information Processing (ICONIP 2009), held in Bangkok, Thailand, during December 1-5, 2009. ICONIP is a world-renowned international conference that is held annually in the Asia-Pacific region. This prestigious event is...

It is with greatpleasure that we present the proceedings of the 5th International Symposium on Visual Computing (ISVC 2009), which was held in Las Vegas, Nevada. ISVC o?ers a common umbrella for the four main areas of visual c- puting includingvision, graphics, visualization, andvirtualreality.Thegoalisto...

The discussions and plans on all scienti?c, advisory, and political levels to realize an even larger "European Supercomputer" in Germany, where the hardware costs alone will be hundreds of millions Euro - much more than in the past - are getting closer to realization....

Classical Sobolev spaces, based on Lebesgue spaces on an underlying domain with smooth boundary, are not only of considerable intrinsic interest but have for many years proved to be indispensible in the study of partial differential equations and variational problems. Many developments of the...

The annual International Conference on Access Networks (AccessNets) aims to provide a forum that brings together researchers and scientists from academia as well as man- ers and engineers from industry to meet and exchange ideas and recent work on all aspects of access networks....

This book constitutes the refereed proceedings of the 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, held in Nice, France in September/October 2009. The 35 revised full papers, 17 short papers, and 35 posters presented were carefully reviewed and selected from 136 paper...

This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory, SAGT 2009, held in Paphos, Cyprus, in October 2009. The 29 revised full papes presented together with 3 invited lectures were carefully reviewed and selected from 55 submissions. The...

Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processed among autonomous units acting in distributed environments. The needs for CCI techniques...

This volume is part of the two-volume proceedings of the 19th International Conf- ence on Artificial Neural Networks (ICANN 2009), which was held in Cyprus during September 14-17, 2009. The ICANN conference is an annual meeting sp- sored by the European Neural Network Society...

The 6th InternationalConference on Cooperative Design, Visualization and - gineering CDVE 2009 was held in central Europe - Luxembourg. Participants from ?ve continents came together to celebrate this annual event. Thepaperspublishedintheconferenceinthisvolumere?ectthenewprogress in the following aspect. Research in developing cooperative applications is currently focusing on...

CHES 2009, the 11th workshop on Cryptographic Hardware and Embedded Systems, was held in Lausanne, Switzerland, September 6-9, 2009. The wo- shop was sponsored by the International Association for Cryptologic Research (IACR). The workshop attracted a record number of 148 submissions from 29 co-...

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring - gether researchers and practitioners from both academia and...

This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1-4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This year the CONCUR conference was in its 20th...

This book constitutes the refereed proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, held in Verona, Italy, July 1-3, 2009. There are 76 revised full papers presented together with 3 invited lectures by three outstanding...

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating...

Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused on the various aspects of advances in information security and assurance. The concept of security and assurance is emerging rapidly as an...

Workshop on Geographical Analysis, Urban Modeling, Spatial statistics (GEO-AN-MOD 2009).- Using Causality Relationships for a Progressive Management of Hazardous Phenomena with Sensor Networks.- Design and Development of an Intelligent Extension for Mapping Landslide Susceptibility Using Artificial Neural Network.- Integrating Fuzzy Logic and GIS Analysis...

The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of...

Full Papers.- 3D CMOL Crossnet for Neuromorphic Network Applications.- Structural Fault Modelling in Nano Devices.- Proposal for Memristors in Signal Processing.- Normal and Reverse Temperature Dependence in Variation-Tolerant Nanoscale Systems with High-k Dielectrics and Metal Gates.- NEMS Capacitive Sensors for Highly Sensitive, Label-Free Nucleic-Acid...

"There is something fascinating about science. One gets such wholesale returns of conjecture out of such a tri?ing investment of fact. " Mark Twain, Life on the Mississippi The challenges in succeeding with computational science are numerous and deeply a?ect all disciplines. NSF's 2006...

This volume contains the papers presented at the 8th International Symposium on Experimental Algorithms (SEA 2009).The symposium was held at the Te- nische Universit] at Dortmund, Germany, during June 4-6, 2009. The main theme of the SEA series is the role of experimentation and...

"There is something fascinating about science. One gets such wholesale returns of conjecture out of such a tri?ing investment of fact. " Mark Twain, Life on the Mississippi The challenges in succeeding with computational science are numerous and deeply a?ect all disciplines. NSF's 2006...

This book constitutes the refereed proceedings of the 7th International Conference on Applied Cryptography and Network Security, ACNS 2009, held in Paris-Rocquencourt, France, in June 2009. The 32 revised full papers presented were carefully reviewed and selected from 150 submissions. The papers are organized...

Languages: From Formal to Natural.- Modular Verification of Recursive Programs.- Semi-formal Evaluation of Conversational Characters.- Scope Dominance with Generalized Quantifiers.- Nonassociative Lambek Calculus with Additives and Context-Free Languages.- On Lazy Commutation.- Aspect Oriented Approach for Capturing and Verifying Distributed Properties.- No i-Sums for Nissim...

Currently, we see a variety of tools and techniques for specifying and implementing business processes. The problem is that there are still gaps and tensions between the different disciplines needed to improve business process execution and improvement in enterprises. Business process modeling, workflow execution...

This book constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tübingen, Germany, in April 2009 colocated with the Evo* 2009 events. The 17 revised full papers were carefully reviewed...

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...