ilość książek w kategorii: 1961
![]() |
Research and Development in Intelligent Systems XXVII: Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of Ai-2010,
ISBN: 9780857291295 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the papers presented at AI-2010, the Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2010 in both the technical and the application streams.
Contains the papers presented at AI-2010, the Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intellig...
|
cena:
805,10 |
![]() |
Data-Driven Techniques in Speech Synthesis
ISBN: 9781441947338 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This first review of a new field covers all areas of speech synthesis from text, ranging from text analysis to letter-to-sound conversion. At the leading edge of current research, the concise and accessible book is written by well respected experts in the field. This first review of a new field covers all areas of speech synthesis from text, ranging from text analysis to letter-to-sound conversion. At the l... |
cena:
603,81 |
![]() |
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice
ISBN: 9781441951076 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same...
Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally ar...
|
cena:
805,10 |
![]() |
Ontological Engineering: With Examples from the Areas of Knowledge Management, E-Commerce and the Semantic Web. First Edition
ISBN: 9781849968843 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and methodologies for building ontologies, and the tool suites and languages that support them. During the last decade, increasing attention has been focused on ontologies and Ontological Engineering. Ontologies are now widely used in Knowledge Engineering, Artificial Intelligence and Computer Science; in applications related to knowledge management, natural language processing, e-commerce, intelligent integration information, information retrieval,...
Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and method...
|
cena:
603,81 |
![]() |
A Logical Theory of Nonmonotonic Inference and Belief Change
ISBN: 9783642075162 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The...
The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as...
|
cena:
603,81 |
![]() |
Fuzzy Relation Equations and Their Applications to Knowledge Engineering
ISBN: 9789048140503 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It took many decades for Peirce's coneept of a relation to find its way into the microelectronic innards of control systems of eement kilns, subway trains, and tunnel-digging machinery. But what is amazing is that the more we leam about the basically simple coneept of a relation, the more aware we become of its fundamental importanee and wide ranging ramifications. The work by Di Nola, Pedrycz, Sanchez, and Sessa takes us a long distanee in this direction by opening new vistas on both the theory and applications of fuzzy relations - relations which serve to model the imprecise coneepts which...
It took many decades for Peirce's coneept of a relation to find its way into the microelectronic innards of control systems of eement kilns, subway tr...
|
cena:
603,81 |
![]() |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150502 / Angielski / Miękka / 481 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction.
The three volumes are intended to document and advance a development in the field of... The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost al...
|
cena:
805,10 |
![]() |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150519 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi- cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec- ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ...
|
cena:
805,10 |
![]() |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150526 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the- orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction...
We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of...
|
cena:
603,81 |
![]() |
Objektorientierte Systementwicklung: Vom Geschäftsprozess Zum Java-Programm
ISBN: 9783834802453 / Niemiecki / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anwendungssoftware soll zur Optimierung von Geschaftsprozessen beitragen. Vor diesem Hintergrund werden in diesem Lehrbuch anhand eines durchgangigen Fallbeispiels Geschaftsprozesse mit UML modelliert und die fachlichen Anforderungen an das Software-System systematisch abgeleitet. Aufgrund nachvollziehbarer Regeln und Prinzipien werden Klassenmodelle konstruiert. Alternative System-Architekturen werden vorgestellt und erlautert. Es werden Entwurfsmuster anhand anschaulicher Beispiele prasentiert und die Umsetzung des Fallbeispiels in Java anhand von annotiertem Code gezeigt."
Anwendungssoftware soll zur Optimierung von Geschaftsprozessen beitragen. Vor diesem Hintergrund werden in diesem Lehrbuch anhand eines durchgangigen ...
|
cena:
161,75 |
![]() |
Agent Technology: Foundations, Applications, and Markets
ISBN: 9783642083440 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Agents represent an exciting and promising new approach to building a wide range of software applications. Agents are autonomous problem-solving entities that are able to flexibly solve problems in complex, dynamic environments, without receiving permanent guidance from the user.
Agent Technology: Foundations, Applications and Markets is the first book to provide an integrative presentation of the issues, challenges and success of designing, building and using agent applications. The chapters presented are written by internationally leading authorities in the field. The book provides, for... Agents represent an exciting and promising new approach to building a wide range of software applications. Agents are autonomous problem-solving entit...
|
cena:
402,53 |
![]() |
Machine Discovery: Reprinted from Foundations of Science Volume 1, No. 2, 1995/96
ISBN: 9789048147939 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Human and machine discovery are gradual problem-solving processes of searching large problem spaces for incompletely defined goal objects. Research on problem solving has usually focused on searching an instance space' (empirical exploration) and a hypothesis space' (generation of theories). In scientific discovery, searching must often extend to other spaces as well: spaces of possible problems, of new or improved scientific instruments, of new problem representations, of new concepts, and others. This book focuses especially on the processes for finding new problem representations and new...
Human and machine discovery are gradual problem-solving processes of searching large problem spaces for incompletely defined goal objects. Research on...
|
cena:
201,24 |
![]() |
Mensch-Maschine-Schnittstelle in Echtzeitsystemen
ISBN: 9783211819432 / Niemiecki / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mensch-Maschine-Schnittstellen (MMS) gibt es, seit der Mensch Maschinen nutzt. Faustkeile, Pfeil und Bogen, Wagenlenkung usw. Schon hi er lass en sich rudimentar Fragen der leichten Handhabbar keit, der KontroUierbarkeit und der Sicherheit zeigen. Doch erst die hohe Komplexitat heutiger Systeme, gepaart mit neuen technischen M6glichkeiten, erfordert die eingehende Behand lung dieses Problemfeldes. Wahrend zum Thema Mensch-Maschine-Schnittstelle im allge meinen viel Literatur, z. B. BEN81] vorliegt, find en sich iiber die MMS bei Echtzeitsystemen nur verstreute Artikel. Es solI daher versucht...
Mensch-Maschine-Schnittstellen (MMS) gibt es, seit der Mensch Maschinen nutzt. Faustkeile, Pfeil und Bogen, Wagenlenkung usw. Schon hi er lass en sich...
|
cena:
206,88 |
![]() |
Fehlertolerante dezentrale Prozeßautomatisierung
ISBN: 9783540187547 / Niemiecki / Miękka / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend von einer Analyse der angestrebten Ziele Zuverl ssigkeit, Sicherheit und Wirtschaftlichkeit wird eine modifizierte Fehlertoleranz-Klassifizierung angegeben. Die exemplarische Realisierung eines fehlertoleranten Mikrorechnersystems basiert auf der globalen Grundstruktur dezentraler Automatisierungssysteme, in der durch die Zusammenfassung lokaler Subsysteme eine Rekonfiguration zur Tolerierung bestimmter Hardware-Fehler m glich wird. Dezentral...
In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend ...
|
cena:
206,88 |
![]() |
Innovative Informations-Infrastrukturen: Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG
ISBN: 9783540503347 / Niemiecki / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anlasslich einer Abschlusstagung mit umfassender Prasentation aller Projektergebnisse. Neben einer Einfuhrung in das Gesamtprojekt werden ausgewahlte Projekte detailliert vorgestellt. Ziel des Bandes ist es, von einem gelungenen Versuch zu berichten, in einer Hochschule durch den breiten Einsatz von...
Das Buch prasentiert die Resultate einer vierjahrigen Kooperation zwischen der Universitat des Saarlandes und der Siemens AG. Schwerpunkte sind die Th...
|
cena:
206,88 |
![]() |
Knowledge Discovery, Knowledge Engineering and Knowledge Management: First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, Octo
ISBN: 9783642190315 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conferenceproceedings of the First International Joint Conference on KnowledgeDiscovery, Knowledge Engineering, and Knowledge Management, IC3K 2009, held in Funchal, Madeira, Portugal, in October 2009.This book includes revised and extended versions of a strict selectionof the best papers presented at the conference; 27 revised full paperstogether with 3 invited lectures were carefully reviewed and selectedfrom 369 submissions. According to the three covered conferences KDIR2009, KEOD 2009, and KMIS 2009, the papers are organized in...
This book constitutes the thoroughly refereed post-conferenceproceedings of the First International Joint Conference on KnowledgeDiscovery, Knowledge ...
|
cena:
402,53 |
![]() |
Innovative Teaching and Learning: Knowledge-Based Paradigms
ISBN: 9783790824650 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presented are innovative teaching and learning techniques for the teaching of knowledge-based paradigms. The main knowledge-based intelligent paradigms are expert systems, artificial neural networks, fuzzy systems and evolutionary computing. Expert systems are designed to mimic the performance of biological systems. Artificial neural networks can mimic the biological information processing mechanism in a very limited sense. Evolutionary computing algorithms are used for optimization applications, and fuzzy logic provides a basis for representing uncertain and imprecise knowledge.
Presented are innovative teaching and learning techniques for the teaching of knowledge-based paradigms. The main knowledge-based intelligent paradigm...
|
cena:
603,81 |
![]() |
Incomplete Information: Rough Set Analysis
ISBN: 9783790824575 / Angielski / Miękka / 613 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1982, Professor Pawlak published his seminal paper on what he called "rough sets" - a work which opened a new direction in the development of theories of incomplete information. Today, a decade and a half later, the theory of rough sets has evolved into a far-reaching methodology for dealing with a wide variety of issues centering on incompleteness and imprecision of information - issues which playa key role in the conception and design of intelligent information systems. "Incomplete Information: Rough Set Analysis" - or RSA for short - presents an up-to-date and highly authoritative...
In 1982, Professor Pawlak published his seminal paper on what he called "rough sets" - a work which opened a new direction in the development of theor...
|
cena:
603,81 |
![]() |
Parallel, Object-Oriented, and Active Knowledge Base Systems
ISBN: 9781441950291 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge Base Systems are an integration of conventional database systems with Artificial Intelligence techniques. They provide inference capabilities to the database system by encapsulating the knowledge of the application domain within the database.
Knowledge is the most valuable of all corporate resources that must be captured, stored, re-used and continuously improved, in much the same way as database systems were important in the previous decade. Flexible, extensible, and yet efficient Knowledge Base Systems are needed to capture the increasing demand for knowledge-based... Knowledge Base Systems are an integration of conventional database systems with Artificial Intelligence techniques. They provide inference capabilitie...
|
cena:
603,81 |
![]() |
Artificial Intelligence and Computational Intelligence: International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
ISBN: 9783642165269 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI 2010) was held October 23-24, 2010 in Sanya, China. The AICI 2010 received 1,216 submissions from 20 countries and regions. After rigorous reviews, 105 high-quality papers were selected for publication in the AICI 2010 proceedings. The acceptance rate was 8%. The aim of AICI 2010 was to bring together researchers working in many different areas of artificial intelligence and computational intelligence to foster the exchange of new ideas and promote international collaborations. In addition to the...
The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI 2010) was held October 23-24, 2010 in Sanya, China. ...
|
cena:
201,24 |