ilość książek w kategorii: 2016
![]() |
Coordination Models and Languages: 10th International Conference, Coordination 2008, Oslo, Norway, June 4-6, 2008, Proceedings
ISBN: 9783540682646 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008. The 21 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software...
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in O...
|
cena:
203,13 |
![]() |
Deductive Databases and Their Applications
ISBN: 9780748407965 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Deductive Databases and their Applications is an introductory text aimed at undergraduate students with some knowledge of database and information systems. The text comes complete with exercises and solutions to encourage students to tackle problems practically as well as theoretically. The author presents the origins of deductive databases in Prologue before proceeding to analyse the main deductive database paradigm - the data-log model. The final chapters are dedicated to closely related topics such as prepositional expert systems, integrity constraint specification and evaluation, and...
Deductive Databases and their Applications is an introductory text aimed at undergraduate students with some knowledge of database and information sys...
|
cena:
769,98 |
![]() |
Constructive Knowledge Acquisition : A Computational Model and Experimental Evaluation
ISBN: 9780805827248 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A cognitive psychology which becomes increasingly specialized requires a special effort in order to avoid a fragmentation into several controversial issues that are independently discussed but also inherently related. Rather than asking additional differentiated questions which are then investigated by more specialized experimental methods and designs, this book promotes unified theories and a levels approach for their experimental evaluation. Within this cognitive science approach and on the basis of the most foundational assumptions of Kintsch's construction integration theory, a...
A cognitive psychology which becomes increasingly specialized requires a special effort in order to avoid a fragmentation into several controversial i...
|
cena:
720,30 |
![]() |
Verification and Validation of Rule-Based Expert Systems
ISBN: 9780849389023 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these procedures have been adapted from conventional software, while others have required that new techniques or tools be created because of the uniqueness of rule-based expert systems. Verification and Validation of Rule-Based Expert Systems is a valuable reference for electrical engineers, software...
This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools th...
|
cena:
919,00 |
![]() |
Computers As Assistants : A New Generation of Support Systems
ISBN: 9780805821888 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer systems based on the notion of the computer as assistant have recently become the focus of intense interest. The expanding role of the computer in everyday life and the growing number of untrained users make it necessary to think about new ways of dividing labor between humans and machines. Future systems must take on more tasks and perform them more competently and autonomously than existing systems. If they are to be adequately flexible and responsive to complexity, they cannot automate their performance completely. The aim of designers should be to create computer systems with...
Computer systems based on the notion of the computer as assistant have recently become the focus of intense interest. The expanding role of the comput...
|
cena:
293,03 |
![]() |
Computers As Assistants : A New Generation of Support Systems
ISBN: 9780805821871 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer systems based on the notion of the computer as assistant have recently become the focus of intense interest. The expanding role of the computer in everyday life and the growing number of untrained users make it necessary to think about new ways of dividing labor between humans and machines. Future systems must take on more tasks and perform them more competently and autonomously than existing systems. If they are to be adequately flexible and responsive to complexity, they cannot automate their performance completely. The aim of designers should be to create computer systems with...
Computer systems based on the notion of the computer as assistant have recently become the focus of intense interest. The expanding role of the comput...
|
cena:
769,98 |
![]() |
Verification and Validation of Complex Systems: Human Factors Issues
ISBN: 9783540565741 / Angielski / Twarda / 710 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much has been written about the design and developmentprocess, very little organized information is available on how to verifyand validate highly complex and highly coupled dynamic systems. Inability toevaluate such systems adequately may become the limiting factor in our ability to employ systems that our technology and knowledge allow us to design. This volume, based on a NATO Advanced Science Institute held in 1992, is...
Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system deve...
|
cena:
1628,43 |
![]() |
Research and Development in Intelligent Systems XXV: Proceedings of Ai-2008, the Twenty-Eighth Sgai International Conference on Innovative Techniques
ISBN: 9781848821705 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents the refereed technical papers presented at AI-2008, the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2008. This volume also includes the text of short papers presented as posters at the conference.
Presents the refereed technical papers presented at AI-2008, the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications...
|
cena:
812,66 |
![]() |
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
ISBN: 9783540202233 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip. This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, U... |
cena:
203,13 |
![]() |
Developing Industrial Case-Based Reasoning Applications: The Inreca Methodology
ISBN: 9783540207375 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial-strength technology applied in various fields. The INRECA methodology presented in detail in this monograph provides a data analysis framework for developing case-based reasoning solutions for successful applications in real-world industrial contexts. The book is divided into parts on: - smarter business with case-based decision support; In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial... |
cena:
203,13 |
![]() |
Current Developments in Knowledge Acquisition - EKAW'92: 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992. Proceedings
ISBN: 9783540555469 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Methodological knowledge acquisition and knowledgeengineering have achievedincreasing attention in recentyears due both to active research projects and to successfulpractical applications. Both aspects have over the yearsbeen reflected in the structure of the European KnowledgeAcquisition Workshops (EKAW), where a users' forum hasalways been combined with a scientific workshop.This volume contains the proceedings of EKAW-92. The papersare organized into five thematic sectionson: - Technology transfer- General modelling approaches- Knowledgeformalization and automated methods- Elicitation and...
Methodological knowledge acquisition and knowledgeengineering have achievedincreasing attention in recentyears due both to active research projects an...
|
cena:
203,13 |
![]() |
Unleash the System on Chip Using FPGAs and Handel C
ISBN: 9781402093616 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the rapid advances in technology, the conventional academic and research departments of Electronics engineering, Electrical Engineering, Computer Science, Instrumentation Engineering over the globe are forced to come together and update their curriculum with few common interdisciplinary courses in order to come out with the engineers and researchers with muli-dimensional capabilities. The gr- ing perception of the Hardware becoming Soft and Software becoming Hard with the emergence of the FPGAs has made its impact on both the hardware and software professionals to change their mindset of...
With the rapid advances in technology, the conventional academic and research departments of Electronics engineering, Electrical Engineering, Computer...
|
cena:
406,31 |
![]() |
Applications and Innovations in Intelligent Systems XVI: Proceedings of Ai-2008, the Twenty-Eighth Sgai International Conference on Innovative Techniq
ISBN: 9781848822146 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Swallowing sound recognition is an important task in bioengineering that could be employed in systems for automated swallowing assessment and diagnosis of abnormally high rate of swallowing (aerophagia) 1], which is the primary mode of ingesting excessive amounts of air, and swallowing dysfunction (dysphagia) 2]- 5], that may lead to aspiration, choking, and even death. Dysphagia represents a major problem in rehabilitation of stroke and head injury patients. In current clinical practice videofluoroscopic swallow study (VFSS) is the gold standard for diagnosis of swallowing disorders....
Swallowing sound recognition is an important task in bioengineering that could be employed in systems for automated swallowing assessment and diagnosi...
|
cena:
609,48 |
![]() |
Intelligent Systems for Information Processing: From Representation to Applications
ISBN: 9780444513793 / Angielski / Twarda / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intelligent systems are required to enhance the capacities being made available to us by the internet and other computer based technologies. The theory necessary to help providing solutions to difficult problems in the construction of intelligent systems are discussed. In particular, attention is paid to situations in which the available information and data may be imprecise, uncertain, incomplete or of a linguistic nature. Various methodologies to manage such information are discussed. Among these are the probabilistic, possibilistic, fuzzy, logical, evidential and network-based...
Intelligent systems are required to enhance the capacities being made available to us by the internet and other computer based technologies. The theor...
|
cena:
658,79 |
![]() |
Utilizing Problem Structure in Planning: A Local Search Approach
ISBN: 9783540202592 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For this reason, planning, as a central research area of artificial intelligence from its beginnings, has gained even more attention and importance recently. After giving a general introduction to AI planning, the book describes and carefully evaluates the algorithmic techniques used in fast-forward planning systems (FF), demonstrating their excellent performance in many wellknown benchmark domains. In advance, an original and detailed... Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For... |
cena:
203,13 |
![]() |
Evolutionary Computation in Combinatorial Optimization: 5th European Conference, Evocop 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceed
ISBN: 9783540253372 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2005, held in Lausanne, Switzerland in March/April 2005.The 24 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers cover evolutionary algorithms as well as related approaches like scatter search, simulated annealing, ant colony optimization, immune algorithms, variable neighborhood search, hyperheuristics, and estimation of distribution algorithms. The papers deal with representations, analysis of...
This book constitutes the refereed proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2005, ...
|
cena:
203,13 |
![]() |
Conceptual Structures: Current Practices: Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20, 1994. Proceedings
ISBN: 9783540583288 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August 1994.
This proceedings presents, on an international scale, up-to- the-minute research results on theoretical and applicational aspects of conceptual graphs, particularly on the use of contexts in knowledge representation. The concept of contexts is highly important for all kinds of knowledge-intensive systems. The book is organized into sections on natural language understanding, rational problem solving, conceptual graph theory, contexts... This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August ...
|
cena:
203,13 |
![]() |
Reasoning with Logic Programming
ISBN: 9783540614883 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational... As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning...
|
cena:
203,13 |
![]() |
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, Lpnmr'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
ISBN: 9783540632559 / Angielski / Miękka / 461 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.
The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in...
|
cena:
203,13 |
![]() |
The Barefoot Expert: The Interface of Computerized Knowledge Systems and Indigenous Knowledge Systems
ISBN: 9780313288210 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It may seem a strange match--AI and crop irrigation or AI and the Serengeti lions but researchers in Artifical Intelligence envision expert systems as a new technology for capturing the knowledge and reasoning process of experts in agriculture, wildlife management, and many other fields. These computer programs have a relevance for developing nations that desire to close the gap between themselves and the richer nations of the world. Despite the value and appeal of expert systems for economic and technological development, Schoenhoff discloses how this technology reflects the Western... It may seem a strange match--AI and crop irrigation or AI and the Serengeti lions but researchers in Artifical Intelligence envision expert systems... |
cena:
392,18 |