الصفحة 5
الصفحة 5
Integrated circuit and system design : Power and timing modeling, optimization and simulation ; 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, power modeling and optimization, low power routing optimization, security and asynchronous design, low power applications, modeling and optimization, and more.
Innovative techniques in instruction technology, e-learning, e-assessment, and education
Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics:E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification.
Innovations in Applied Artificial Intelligence ; 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings
The contributions oriented to the technological aspects of AI and the quality of the papers are witness to a research activity clearly aimed at consolidating the theoretical results that have already been achieved. The c- ference program also included two invited lectures, by Katharina Morik and Roberto Pieraccini. Many people contributed in different ways to the success of the conference and to this volume. The authors who continue to show their enthusiastic interest in applied intelligence research are a very important part of our success. We highly appreciate the contribution of the members of the Program Committee, as well as others who reviewed all the submitted papers with eficiency and dedication.
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
Informing Digital Futures : Strategies for Citizen Engagement
In the present digital revolution we often seem trapped in a Kafkaesque world of technological advances, some desired, some disliked or even feared, which we cannot influence but must accept. This book discusses the urgent need to redress this situation. The authors argue that technologies succeed or fail according to their relevance and value to people, who need to be actively engaged in order to create shared visions and influence their implementation. Strategies for citizen engagement and empowerment will enable citizens to influence and shape desirable digital futures. The book reviews the currently accepted ways of thinking about the design of systems and the reasons why these methods are no longer adequate. From an academically rigorous analysis of case histories across a wide variety of sectors, knowledge and best practice are captured in a rich, descriptive model of the contributions of citizen engagement to the design process. Finally, it provides specific practical guidance, based on sound academic research, for policy makers, administrators and ICT professionals on the strategies, methodologies, tools and techniques needed to change design practice.
Information and knowledge systems : Digital technologies, artificial intelligence and decision making ; 5th International Conference, ICIKS 2021, Virtual Event, June 22–23, 2021, Proceedings
This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Information and Knowledge Systems, ICIKS 2021, which was held online during June 22-23, 2021. The International Conference on Information and Knowledge Systems (ICIKS 2021) gathered both researchers and practitioners in the fields of Information Systems, Artificial Intelligence, Knowledge Management and Decision Support. ICIKS seeks to promote discussions on various organizational, technological, and socio-cultural aspects of research in the design and use of information and knowledge systems in organizations.
Informatics in Control, Automation and Robotics II
Informatics in Control, Automation and Robotics II is a collection of the best papers presented at the 2nd International Conference on Informatics in Control, Automation and Robotics (ICINCO). The purpose of ICINCO was to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics.
Informatics in Control, Automation and Robotics I
The present book includes a set of selected papers from the first “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2004), held in Setúbal, Portugal, from 25 to 28 August 2004. The conference was organized in three simultaneous tracks: “Intelligent Control Systems and Optimization”, “Robotics and Automation” and “Systems Modeling, Signal Processing and Control”. The book is based on the same structure.
Inductive logic programming ; 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008.The 20 revised full papers presented together with the abstracts of 5 invited lectures were carefully reviewed and selected during two rounds of reviewing and improvement from 46 initial submissions. All current topics in inductive logic programming are covered, ranging from theoretical and methodological issues to advanced applications. The papers present original results in the first-order logic representation framework, explore novel logic induction frameworks, and address also new areas such as statistical relational learning, graph mining, or the semantic Web.
Inductive logic programming ; 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus.
Inductive logic programming ; 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ILP 2006, held in Santiago de Compostela, Spain, in August 2006. The papers address all current topics in inductive logic programming, ranging from theoretical and methodological issues to advanced applications.
Inductive logic programming ; 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
“Change is inevitable.” Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the ?rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd Inter- tional Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Arti?cial Intelligence. - location can be tricky, but we greatly bene?ted from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of “statistical relational lea- ing”. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking—?ttingly so for the 15th event in a series—but also tried to provide a recipe for future endeavours.
Inconsistency tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Implementation and Application of Functional Languages ; Vol. 4015 ; 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, Ireland, September 19–21, 2005. It was organized by the Department of Computer Science at Trinity College, University of Dublin. IFL 2005 was the 17th event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical aspects over language design and implementation towards applications and tool support.
Implementation and application of functional languages ; Vol. 3474 ; 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support.
Implementation and Application of Functional Languages ; 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.
Implementation and application of functional languages ; 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.
Implementation and Application of Automata ; Vol. 3845 ; 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
Contains the notes of the two invited lectures, the 26 papers selected for presentation at the conference, and the abstracts of the eight posters that were displayed.
Impact of artificial intelligence on organizational transformation
Covers the areas like artificial intelligence & its impact on professions, as well as machine learning algorithms and technologies. The context of applications of AI in business process innovation primarily includes new business models, AI readiness and maturity at the organizational, technological, financial, and cultural levels. The book has extensive details on machine learning and the applications such as robotics, blockchain, Internet of Things. Also discussed are the influence of AI on financial strategies and policies, human skills & values, procurement innovation, production innovation, AI in marketing & sales platforms.
