Search results

This book contains the papers presented at the Eurographics Symposium on Geometry Processing, organized by the Eurographics Association.

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in...

This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, Utrecht, The Netherlands, 2001. This meeting isa forum for researchers and practitioners working on various aspects of integer programming and combi- torial optimization. The aim is to present recent developments in theory, com- tation, and application of integer programming and combinatorial optimization. Topics include, but are not limited to: app...

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Bei der Diskretisierung von Randwertaufgaben und Integralgleichungen entstehen grosse, eventuell auch voll besetzte Matrizen. In dem Band stellt der Autor eine neuartige Methode dar, die es erstmals erlaubt, solche Matrizen nicht nur effizient zu speichern, sondern auch alle Matrixoperationen einschliesslich der Matrixinversion bzw. der Dreieckszerlegung approximativ durchzufuhren. Anwendung findet diese Technik nicht nur bei der Loesung grosser Gleichungssysteme, sondern auch bei Matrixgleichun...

This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be...

PHP is one of the most popular server-side scripting languages available. Its powerful and easy to learn. Combined with MySQL, a fast, cross-platform, and free open source database, it makes a very effective tool for developing database-driven web sites. This book is all about developing PHP/ MySQL web sites with Macromedia Dreamweaver MX, the premier visual web site design tool. It will show you how to use Dreamweaver MX to rapidly develop database-driven PHP web applications with the minimum o...

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxon...

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issue...

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Spec...

This guide helps PHP developers take advantage of the stability and features of design patterns Design patterns are the cornerstones of building solid, stable, flexible, and feature-rich Web applications. This guide enables PHP developers to take advantage of everything they offer. If you are unfamiliar with design patterns, this book explains what you need to know. Both novice and veteran PHP developers will benefit from the alphabetical list of design patterns and code examples showing how to...