الصفحة 19
الصفحة 19
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
Computers Helping People with Special Needs ; 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Computers Helping People with Special Needs, ICCHP 2006, held in Linz, Austria, in July 2006. The papers evaluate how various fields in computer science can contribute to helping people with various kinds of disabilities and impairment.
Computers and Education : Towards Educational Change and Innovation
This volume contains a selection of papers covering the latest research and experiences on the application of Information and Communication Technologies in the field of Education, especially in the Ibero-American space.
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Computer vision and graphics ; International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected from 49 submissions. The contributions cover topics such as: modelling of human visual perception; computational geometry; geometrical models of objects and scenes; illumination and reflection models and methods; image formation; image and video coding; image filtering and enhancement; biomedical image processing; biomedical graphics; colour image processing; multispectral image processing; pattern recognition in image processing
Computer vision and graphics ; International Conference, ICCVG 2004, Warsaw, Poland, September 2004, Proceedings
The objectives of the ICCVG are: presentation of current research topics and d- cussions leading to the integration of the community engaged in machine vision and computer graphics, carrying out and supporting research in the ?eld and ?nally pro- tion of new applications. The ICCVG is a continuation of the former International Conference on Computer Graphics and Image Processing called GKPO, held in Poland every second year in May since 1990, organized by the Institute of Computer Science of the Polish Academy of Sciences, Warsaw.
Computer vision / computer graphics collaboration Techniques ; 3rd International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings
This volume contains foundational, methodological, and application issues.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer Vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer Vision -- ECCV 2006 ; Vol. 3954 ; 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of issues in computer vision, on recognition, statistical models and visual learning, 3D reconstruction and multi-view geometry, energy minimization, tracking and motion, segmentation, shape from X, visual tracking, and more.
Computer Vision -- ECCV 2006 ; Vol. 3953 ; 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of issues in computer vision, on recognition, statistical models and visual learning, 3D reconstruction and multi-view geometry, energy minimization, tracking and motion, segmentation, shape from X, visual tracking, and more.
Computer Vision -- ECCV 2006 ; Vol. 3952 ; 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of issues in computer vision, on recognition, statistical models and visual learning, 3D reconstruction and multi-view geometry, energy minimization, tracking and motion, segmentation, shape from X, visual tracking, and more.
Computer Vision -- ECCV 2006 ; Vol. 3951 ; 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I
The papers are organized in topical sections on recognition, statistical models and visual learning, 3D reconstruction and multi-view geometry, energy minimization, tracking and motion, segmentation, shape from X, visual tracking, face detection and recognition, and more.
Computer Vision - ECCV 2002 ; 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002. Proceedings. Part IV
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, and Lund University, with the conference venue in Copenhagen. This year’s conference attracted more papers than ever before, with around 600 submissions. Still, together with the conference board, we decided to keep the tradition of holding ECCV as a single track conference. Each paper was anonymously refereed by three different reviewers. For the ?nal selection, for the ?rst time for ECCV, a system with area chairs was used.
Computer Vision - ECCV 2002 ; 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002. Proceedings. Part II
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, and Lund University, with the conference venue in Copenhagen. This year’s conference attracted more papers than ever before, with around 600 submissions. Still, together with the conference board, we decided to keep the tradition of holding ECCV as a single track conference. Each paper was anonymously refereed by three different reviewers. For the ?nal selection, for the ?rst time for ECCV, a system with area chairs was used.
Computer Vision - ECCV 2002 ; 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part III
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, and Lund University, with the conference venue in Copenhagen. This year’s conference attracted more papers than ever before, with around 600 submissions. Still, together with the conference board, we decided to keep the tradition of holding ECCV as a single track conference. Each paper was anonymously refereed by three different reviewers. For the ?nal selection, for the ?rst time for ECCV, a system with area chairs was used.
