Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

VECPAR is a series of international conferences dedicated to the promotion and advancement of all aspects of high-performance computing for computational science, as an industrial technique and academic discipline, extending the fr- tier of both the state of the art and the state of practice. The audience for and participants in VECPAR are seen as researchers in academic departments, g- ernment laboratories and industrial organizations. There is now a permanent website for the series, http://vecpar.fe.up.pt, where the history of the conf- ences is described. ThesixtheditionofVECPARwasthe?rsttimetheconferencewascelebrated outside Porto - at the Universitad Politecnica de Valencia (Spain), June 28-30, 2004. The whole conference programme consisted of 6 invited talks, 61 papers and26posters,outof130contributionsthatwereinitiallysubmitted.Themajor themes were divided into large-scale numerical and non-numerical simulations, parallel and grid computing, biosciences, numerical algorithms, data mining and visualization. This postconference book includes the best 48 papers and 5 invited talks presented during the three days of the conference. The book is organized into 6 chapters, with a prominent position reserved for the invited talks and the Best Student Paper. As a whole it appeals to a wide research community, from those involved in the engineering applications to those interested in the actual details of the hardware or software implementations, in line with what, in these days, tends to be considered as computational science and engineering (CSE).

Microprocessors. --- Software engineering. --- Computers. --- Computer communication systems. --- Computer science—Mathematics. --- Processor Architectures. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Computer Communication Networks. --- Mathematics of Computing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The papers in this volume were presented at the 9th Workshop on Algorithms and Data Structures (WADS 2005). The workshop took place during August 15 - 17, 2005, at the University of Waterloo, Waterloo, Canada. The workshop alternateswith the ScandinavianWorkshopon Algorithm Theory(SWAT), c- tinuing the traditionof SWAT and WADS startingwith SWAT 1988and WADS 1989. From 90 submissions, the Program Committee selected 37 papers for p- sentation at the workshop. In addition, invited lectures were given by the f- lowing distinguished researchers: Allan Borodin and Max J. Egenhofer. OnbehalfoftheProgramCommittee,wewouldliketoexpressoursincere- preciation to the many persons whose e?ort contributed to making WADS 2005 a success. These include the invited speakers,members of the ste- ing and ProgramCommittees, the authors who submitted papers, and the many referees who assisted the ProgramCommittee. We are indebted to Robert Kane forinstallingandmodifyingthesubmissionsoftware,maintainingthesubmission server and interacting with authors as well as for helping with the preparation of the program. August 2005 Frank Dehne, Alejandro Lop ´ ez-Ortiz, and Jorg-R ¨ u ¨diger Sack WADS Organization Organizing Institutions Steering Committee Frank Dehne Carleton University, Canada Ian Munro University of Waterloo, Canada J¨ org-Rudig ¨ er Sack Carleton University, Canada Roberto Tamassia Brown University, Canada Program Co-chairs Frank Dehne Carleton University, Canada Alejandro Lop ´ ez-Ortiz University of Waterloo, Canada J¨ org-Rudig ¨ er Sack Carleton University, Canada Conference Chair Alejandro Lop ´ ez-Ortiz University of Waterloo, Canada Program Committee Pankaj Agarwal Duke University, USA Michael Atkinson University of Otago, New Zealand Gill Barequet Technion, Israel Mark de Berg Tech.

Algorithms. --- Data structures (Computer science). --- Computer science—Mathematics. --- Computer graphics. --- Numerical analysis. --- Algorithm Analysis and Problem Complexity. --- Data Structures. --- Discrete Mathematics in Computer Science. --- Computer Graphics. --- Numeric Computing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, José Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jörg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), and Andrzej Tarlecki. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and co- ductive methods; modal logics; relational systems and term rewriting.

Computers. --- Computer logic. --- Mathematical logic. --- Software engineering. --- Computer science—Mathematics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Symbolic and Algebraic Manipulation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discrete mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scientific disciplines. Both fields deeply cross fertilize each other. One of the persons who particularly contributed to building bridges between these and many other areas is László Lovász, a scholar whose outstanding scientific work has defined and shaped many research directions in the last 40 years. A number of friends and colleagues, all top authorities in their fields of expertise and all invited plenary speakers at one of two conferences in August 2008 in Hungary, both celebrating Lovász’s 60th birthday, have contributed their latest research papers to this volume. This collection of articles offers an excellent view on the state of combinatorics and related topics and will be of interest for experienced specialists as well as young researchers.

Mathematics. --- Combinatorics. --- Number Theory. --- Numeric Computing. --- Discrete Mathematics in Computer Science. --- Electronic data processing. --- Computational complexity. --- Number theory. --- Mathématiques --- Informatique --- Complexité de calcul (Informatique) --- Théorie des nombres --- Combinatorial analysis -- Congresses. --- Computer science -- Mathematics -- Congresses. --- Lovász, László, 1948-. --- Mathematics --- Algebra --- Physical Sciences & Mathematics --- Computer science --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computers. --- Numerical analysis. --- Discrete mathematics. --- Discrete Mathematics. --- Theory of Computation. --- Information theory. --- Complexity, Computational --- Machine theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Number study --- Numbers, Theory of --- Communication theory --- Communication --- Cybernetics --- Combinatorics --- Mathematical analysis --- Automation --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Computer science. --- Numerical Analysis. --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Visual perception refers to the ability of understanding the visual information that is provided by the environment. Such a mechanism integrates several human abilities and was studied by many researchers with different scientific origins including philosophy, physiology, biology, neurobiology, mathematics and engineering. In particular in the recent years an effort to understand, formalize and finally reproduce mechanical visual perception systems able to see and understand the environment using computational theories was made by mathematicians, statisticians and engineers. Such a task connects visual tasks with optimization processes and the answer to the visual perception task corresponds to the lowest potential of a task-driven objective function. In this edited volume we present the most prominent mathematical models that are considered in computational vision. To this end, tasks of increasing complexity are considered and we present the state-of-the-art methods to cope with such tasks. The volume consists of six thematic areas that provide answers to the most dominant questions of computational vision: Image reconstruction, Segmentation and object extraction, Shape modeling and registration, Motion analysis and tracking, 3D from images, geometry and reconstruction Applications in medical image analysis.

Computer vision --- Mathematical models --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Computer simulation. --- Computer vision. --- Computer science. --- Simulation and Modeling. --- Mathematical Modeling and Industrial Mathematics. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Math Applications in Computer Science. --- Informatics --- Science --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Simulation methods --- Model-integrated computing --- 681.3*I54 --- 681.3*I54 Applications: computer vision; signal processing; text processing; waveform analysis (Pattern recognition) --- Applications: computer vision; signal processing; text processing; waveform analysis (Pattern recognition) --- Mathematical models. --- Optical data processing. --- Computer science—Mathematics. --- Optical computing --- Visual data processing --- Bionics --- Electronic data processing --- Integrated optics --- Photonics --- Computers --- Models, Mathematical --- Optical equipment