الصفحة 11
الصفحة 11
Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
Applications and Innovations in Intelligent Systems XV ; Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007.
Application and Theory of Petri Nets 2002 ; 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.
An Introduction to Network Programming with Java
This book provides an overview of Java … . Each chapter is supplemented with practical programming exercises.The combination of code templates with good supporting discussions allows a competent Java programmer to rapidly expand his or her skill base to include network programming.
An Introduction to Formal Languages and Automata
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation
Algorithms and data structures : The Basic Toolbox
This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language.
Algorithmic Learning in a Random World
This new monograph integrates mathematical theory and revealing experimental work. It demonstrates mathematically the validity of the reliability claimed by conformal predictors when they are applied to independent and identically distributed data, and it confirms experimentally that the accuracy is sufficient for many practical problems. Later chapters generalize these results to models called repetitive structures, which originate in the algorithmic theory of randomness and statistical physics. The approach is flexible enough to incorporate most existing methods of machine learning, including newer methods such as boosting and support vector machines and older methods such as nearest neighbors and the bootstrap.
Algorithmic Game Theory ; 1st International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Algorithmic Game Theory, SAGT 2008, held in Paderborn, Germany, in April/May 2008.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
Agent-oriented information systems II ; 6th International bi-conference workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, revised selected papers
Information systems have become the backbone of all kinds of organizations - day. In almost every sector – manufacturing, education, health care, government and businesses large and small – information systems are relied upon for - eryday work, communication, information gathering and decision-making. Yet, the in?exibilities in current technologies and methods have also resulted in poor performance, incompatibilities and obstacles to change. As many organizations are reinventing themselves to meet the challenges of global competition and e-commerce, there is increasing pressure to develop and deploy new technologies that are ?exible, robust and responsive to rapid and unexpected change. Agent concepts hold great promise for responding to the new realities of - formation systems. They o?er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, intentions, etc., all of which need conc- tual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
Agent communication ; International workshop on agent communication, AC 2004, New York, NY, July 19, 2004
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents has been one of the major topics of research in multiagent systems. The current work can therefore build on a number of previous Workshops of which the proceedings have been published in earlier volumes in this series. The basis of this collection is formed by the accepted submissions of the Workshop on Agent Communication held in c- junction with the AAMAS Conference in July 2004 in New York. the current collection comprises a very good and quite complete overview of the state of the art in this area of research and gives a good indication of the topics that are of major interest at the moment. The papers can roughly be divided over the following ?ve themes: – social commitments – multiparty communication – content languages – dialogues and conversations – speech acts Although these themes are of course not mutually exclusive they indicate some main directions of research. We therefore have arranged the papers in the book according to the topics indicated above.
Affect and Emotion in Human-Computer Interaction : From Theory to Applications
The present book provides an account of the latest work on a variety of aspects related to affect and emotion in human-technology interaction. It covers theoretical issues, user experience and design aspects as well as sensing issues, and reports on a number of affective applications that have been developed in recent years.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in Multilingual and Multimodal Information Retrieval ; 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, held in Budapest, Hungary, September 2007.
Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry ; International Conference, MDA 2006/2007, Leipzig, Germany, July 18, 2007, Selected Papers
The automatic analysis of images and signals in medicine, biotechnology, and chemistry is a challenging and demanding field. Signal-producing procedures by microscopes, spectrometers, and other sensors have found their way into wide fields of medicine, biotechnology, economy, and environmental analysis. With this arises the problem of the automatic mass analysis of signal information. Signal-interpreting systems which generate automatically the desired target statements from the signals are therefore of compelling necessity. The continuation of mass analyses on the basis of classical procedures leads to investments of proportions that are not feasible. New procedures and system architectures are therefore required. The goals of this: Provide a forum for identifying important contributions and opportunities for research on mass data analysis on microscopic images Promote the systematic study of how to apply automatic image analysis and interpretation procedures to that field Show case applications of mass data analysis in biology, medicine, and chemistry Topics of interest include (but are not limited to): Techniques and developments of signal and image producing procedures Object matching and object tracking in microscopic and video microscopic images 1D, 2D, and 3D shape analysis and description
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry ; 3rd International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings
Presents the broad and growing scientific evidence linking mass data analysis with challenging problems in medicine, biotechnology and chemistry.
Advances in grid computing - EGC 2005 ; European grid conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
This book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim of the European Grid Conference was to be the premier event onGrid computing in Europe in 2005, focusing on all aspects of Grid computingand bringing together participants from research and industry. In this book you find the final versions of these accepted papers.
Advances in data mining, medical applications, e-commerce, marketing, and theoretical aspects ; 8th Industrial Conference, ICDM 2008 Leipzig, Germany, July 16-18, 2008 Proceedings
ICDM / MLDM Medaillie (limited edition) Meissner Porcellan, the “White Gold” of King August the Strongest of Saxonia ICDM 2008 was the eighth event of the Industrial Conference on Data Mining held in Leipzig (www.data-mining-forum.de).
Advances in Data Mining ; Vol. 4065 : Applications in Medicine, Web Mining, Marketing, Image and Signal Mining, 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006, Proceedings
The Industrial Conference on Data Mining ICDM-Leipzig was the sixth event in a series of annual events which started in 2000. We are pleased to note that the topic data mining with special emphasis on real-world applications has been adopted by so many researchers all over the world into their research work. We received 156 papers from 19 different countries. The main topics are data mining in medicine and marketing, web mining, mining of images and signals, theoretical aspects of data mining, and aspects of data mining that bundle a series of different data mining applications such as intrusion detection, knowledge management, manufacturing process control, time-series mining and criminal investigations. The Program Committee worked hard in order to select the best papers.
Advances in Data Mining : Theoretical aspects and applications ; 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings
The book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications of data mining, time series and frequent pattern mining, and association rule mining.
