SOFSEM 2002: Theory and Practice of Informatics

SOFSEM 2002: Theory and Practice of Informatics PDF

Author: William I. Grosky

Publisher: Springer

Published: 2003-07-01

Total Pages: 298

ISBN-13: 3540361375

DOWNLOAD EBOOK →

Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22–29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.

High Performance Computing for Computational Science - VECPAR 2002

High Performance Computing for Computational Science - VECPAR 2002 PDF

Author: José M.L.M. Palma

Publisher: Springer Science & Business Media

Published: 2003-04-07

Total Pages: 828

ISBN-13: 9783540008521

DOWNLOAD EBOOK →

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR 2002, held in Porto, Portugal in June 2002. The 45 revised full papers presented together with 4 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on fluids and structures, data mining, computing in chemistry and biology, problem solving environments, computational linear and non-linear algebra, cluster computing, imaging, and software tools and environments.

ERCIM/CologNet 2002

ERCIM/CologNet 2002 PDF

Author: Barry O'Sullivan

Publisher: Springer Science & Business Media

Published: 2003-04-07

Total Pages: 209

ISBN-13: 3540009868

DOWNLOAD EBOOK →

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.

Design and Control of Workflow Processes

Design and Control of Workflow Processes PDF

Author: Hajo A. Reijers

Publisher: Springer

Published: 2003-07-01

Total Pages: 328

ISBN-13: 3540366156

DOWNLOAD EBOOK →

The motivation behind the conception of this monograph was to advance scientific knowledge about the design and control of workflow processes. A workflow pr- ess (or workflow for short) is a specific type of business process, a way of or- nizing work and resources. Workflows are commonly found within large admin- trative organizations such as banks, insurance companies, and governmental agencies. Carrying out the tasks of a workflow in a particular order is required to handle one type of case. Examples of cases are mortgage applications, customer complaints, and claims for unemployment benefits. A workflow used in handling mortgage applications may contain tasks for recording the application, specifying a mortgage proposal, and approving the final policy. The monograph concentrates on four workflow-related issues within the area of Business Process Management; the field of designing and controlling business processes. The first issue is how workflows can be adequately modeled. Workflow mod- ing is an indispensable activity to support any reasoning about workflows. Diff- ent purposes of workflow modeling can be distinguished, such as system ena- ment by Workflow Management Systems, knowledge management, costing, and budgeting. The focus of workflow modeling in this monograph is (a) to support simulation and analysis of workflows and (b) to specify a new workflow design. The main formalism used for the modeling of workflows is the Petri net. Many - isting notions to define several relevant properties have been adopted, such as the workflow net and the soundness notion.

Annual Review of Information Science and Technology

Annual Review of Information Science and Technology PDF

Author: Blaise Cronin

Publisher: Information Today, Inc.

Published: 2004

Total Pages: 712

ISBN-13: 9781573872096

DOWNLOAD EBOOK →

ARIST, published annually since 1966, is a landmark publication within the information science community. It surveys the landscape of information science and technology, providing an analytical, authoritative, and accessible overview of recent trends and significant developments. The range of topics varies considerably, reflecting the dynamism of the discipline and the diversity of theoretical and applied perspectives. While ARIST continues to cover key topics associated with "classical" information science (e.g., bibliometrics, information retrieval), editor Blaise Cronin is selectively expanding its footprint in an effort to connect information science more tightly with cognate academic and professional communities.

Computers Helping People with Special Needs

Computers Helping People with Special Needs PDF

Author: Joachim Klaus

Publisher: Springer

Published: 2011-04-05

Total Pages: 1213

ISBN-13: 3540278176

DOWNLOAD EBOOK →

The introduction to the 1st International Conference on Computers for Han- cappedPersons(Vienna,1989)byAMinTjoa(UniversityofVienna)andRoland Wagner(UniversityofLinz)?nishedwiththefollowingmissionstatementonthe “Future Direction on Computers for Handicapped Persons”: “The di?erent themes show that a lot of problems are solved by the usage of computer technology for helping handicapped persons, for instance for the blind and visually handicapped. A consequence of the discussed themes there are two directions which should be done in the next years. One direction is obvious. The tools must be improved and research and development work should be extended to all groups of handicapped (even if they are numerically not so large as for instancetheblindorvisuallyhandicappedpersons). Ontheothersideinthearea of social implications there is an increasing demand on social science studies on overall computer use among disabled persons. Because sources are in principle missing today about disabled persons work tasks, research in this ?eld must begin by trying to survey this aspect. Particular attention should be paid to the extent and character of computer use among the handicapped in work life. There are a lot of questions, which should be answered during the next years for reaching the aim of rehabilitation. ” Fifteen years later the 9th International Conference on Computers Helping People with Special Needs (Paris, 2004) o?ered a comprehensive and deepened view on general awareness,special research and individual applications conce- ing disabled people and their participation in our society.

Advanced Methods for Inconsistent Knowledge Management

Advanced Methods for Inconsistent Knowledge Management PDF

Author: Ngoc Thanh Nguyen

Publisher: Springer Science & Business Media

Published: 2007-09-12

Total Pages: 352

ISBN-13: 1846288894

DOWNLOAD EBOOK →

This book is a first. It fills a major gap in the market and provides a wide snapshot of intelligent technologies for inconsistency resolution. The need for this resolution of knowledge inconsistency arises in many practical applications of computer systems. This kind of inconsistency results from the use of various resources of knowledge in realizing practical tasks. These resources are often autonomous and use different mechanisms for processing knowledge about the same real world. This can lead to compatibility problems.

Computational Science – ICCS 2009

Computational Science – ICCS 2009 PDF

Author: Gabrielle Allen

Publisher: Springer Science & Business Media

Published: 2009-05-19

Total Pages: 940

ISBN-13: 3642019722

DOWNLOAD EBOOK →

The two-volume set LNCS 5544-5545 constitutes the refereed proceedings of the 9th International Conference on Computational Science, ICCS 2009, held in Baton Rouge, LA, USA in May 2008. The 60 revised papers of the main conference track presented together with the abstracts of 5 keynote talks and the 138 revised papers from 13 workshops were carefully reviewed and selected for inclusion in the three volumes. The general main track of ICSS 2009 was organized in about 20 parallel sessions addressing the following topics: e-Science Applications and Systems, Scheduling, Software Services and Tools, New Hardware and Its Applications, Computer Networks, Simulation of Complex Systems, Image Processing, Optimization Techniques, and Numerical Methods.

Lanterna Rally - Theme by Grace Themes