الصفحة 11
الصفحة 11
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical world. Because actions in the physical world are subject to physical laws and geometric constraints, the design and analysis of robot algorithms raises a unique combination of questions in control theory, computational and differential geometry, and computer science. Algorithms serve as a unifying theme in the multi-disciplinary field of robotics. This volume consists of selected contributions to the sixth Workshop on the Algorithmic Foundations of Robotics. This is a highly competitive meeting of experts in the field of algorithmic issues related to robotics and automation.
Algorithmic Aspects of Wireless Sensor Networks ; 3rd International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
This book contains the proceedings of the Third International Workshop on Algorithmic Aspects of Wireless Sensor Networks. Coverage includes abstract models, complexity-theoretic results, and the design and analysis of algorithms for wireless sensor networks.
Algorithmic Aspects in Information and Management ; Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2 invited talks. The papers cover topics from areas such as online scheduling, game and finance, data structures and algorithms, computational geometry, optimization, graph, and string, and more.
Algèbre, Chapitres 1 à 3 = Algebra, Chapters 1 to 3
To do algebra is essentially to calculate, that is to say to perform, on elements of a set, (<algebraic operations n, the best-known example of which is provided by the (<four rules)) of elementary arithmetic. This is not the place to retrace the slow process of progressive abstraction by which the notion of algebraic operation, initially restricted to natural integers and to measurable quantities, gradually widened its field, as it grew. at the same time generalized the notion of ((number O, until, going beyond the latter, it came to apply to elements which no longer had any character ((numeric)>, for example to permutations of a - seems (see Historical Note in chap. 1).
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
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.
Algebra 3 : Homological Algebra and Its Applications
Includes algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf co-homology, and an introduction to etale and l-adic co-homology. It contains four chapters which discuss homology theory in an abelian category together with some important and fundamental applications in geometry, topology, algebraic geometry (including basics in abstract algebraic geometry), and group theory.
AI 2005 : Advances in artificial intelligence ; 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5-9, 2005, proceedings
The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney (UTS), Sydney, Australia from 5 to 9 December 2005. AI 2005 attracted a historical record number of submissions, a total of 535 papers. This volume of the proceedings contains the abstracts of three keynote speeches and all the full and short papers. The full papers were categorized into three broad sections, namely: AI foundations and technologies, computational intelligence, and AI in specialized domains. AI 2005 also hosted several tutorials and workshops, providing an interacting mode for specialists and scholars from Australia and other countries.
Agile software engineering
This textbook presents the crucial issues in software engineering using the agile approach to software development - one of the mainstream paradigms for the management of software projects and one that is being applied more and more extensively.
Agent-oriented software engineering V ; 5th International workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di?- ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¨ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software 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, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
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.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in neural networks - ISNN 2008 ; 5th International symposium on neural networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II
The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ISNN 2008, held in Beijing, China in September 2008.
Advances in Neural Networks - ISNN 2008 ; 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I
The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ISNN 2008, held in Beijing, China in September 2008.
Advances in natural language processing ; 5th International Conference ; 1TAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.
Advances in natural computation ; Vol. 3612 ; 1st International conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
Includes 313 full papers and 189 short papers the refereed proceedings of the First International Conference on Natural Computation, ICNC 2005, held in Changsha, China, in August 2005 as a joint event with the Second International Conference on Fuzzy Systems and Knowledge Discovery FSKD 2005. includ Topics : Artificial Intelligence / Theory of Computation / Computation by Abstract Devices / Algorithm Analysis and Problem Complexity / Image Processing and Computer Vision / Pattern Recognition
Advances in intelligent computing ; Vol. 3645 ; International conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
This book constitutes the proceedings of the International Conference on Intelligent Computing (ICIC 2005), held in China, 215 papers were published in this book organized into 9 categories, Including Topics Artificial Intelligence Computation by Abstract Devices Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Pattern Recognition Evolutionary Biology
Advances in intelligent computing ; Vol. 3644 ; International conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I
This book constitutes the proceedings of the International Conference on Intelligent Computing (ICIC 2005), Based on rigorous peer reviews, the Program Committee selected 563 high-quality papers for presentation at ICIC 2005; Including Topics Artificial Intelligence Computation by Abstract Devices Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Pattern Recognition Evolutionary Biology
Advances in information retrieval ; Vol. 3408 ; 27th European conference on IR research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005, Proceedings
These volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, Spain, 2005. Including : Topics Information Storage and Retrieval / Artificial Intelligence / Database Management / Information Systems Applications (incl. Internet) / Multimedia Information Systems / Natural Language Processing (NLP)
Advances in database technology -- EDBT 2006 ; 10 International conference on extending database technology, Munich, Germany, 26-31 March 2006, Proceedings
The series of International Conferences on Extending Database Technology (EDBT) is an established and prestigious forum for the exchange of the latest research results in data management. It provides unique opportunities for database researchers, practitioners, developers, and users to explore new ideas, techniques, and tools, and to exchange experiences. This volume contains the proceedings of the 10th EDBT Conference, held in Munich, Germany, March 27-29, 2006. The conference included 3 keynote talks, 56 full-size and 4 half-size research papers in 20 sessions, 8 industrial presentations in 3 sessions, 1 panel session, 5 tutorials in 7 sessions, and 20 demonstrations in 4 sessions. All of the research papers as well as papers and abstracts from most of the other sessions are included here.
