Leonard Bolc – författare
Visar alla böcker från författaren Leonard Bolc. Handla med fri frakt och snabb leverans.
43 produkter
43 produkter
Inbunden, Engelska, 2020
1 982 kr
Skickas inom 10-15 vardagar
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
Häftad, Engelska, 2021
529 kr
Skickas inom 10-15 vardagar
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
E-bok
PDF, Engelska, 2019606 kr
Läs direkt efter köp
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
E-bok
Engelska, 2019622 kr
Läs direkt efter köp
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
E-bok
PDF, Engelska, 2012708 kr
Läs direkt efter köp
Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a natural way. Generation systems supply the sophisticated knowledge about natural languages that must come into play when one needs to use wordings that will overpower techniques based only on symbolic string manipulation techniques. Topics covered in this volume include discourse theory, mechanical translation, deliberate writing, and revision. Natural Language Generation Systems contains contributions by leading researchers in the field. Chapters contain details of grammatical treatments and processing seldom reported on outside of full length monographs.
Häftad, Engelska, 2011
565 kr
Skickas inom 10-15 vardagar
Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a natural way. Generation systems supply the sophisticated knowledge about natural languages that must come into play when one needs to use wordings that will overpower techniques based only on symbolic string manipulation techniques. Topics covered in this volume include discourse theory, mechanical translation, deliberate writing, and revision. Natural Language Generation Systems contains contributions by leading researchers in the field. Chapters contain details of grammatical treatments and processing seldom reported on outside of full length monographs.
Inbunden, Tyska, 1981
1 773 kr
Skickas inom 5-8 vardagar
E-bok
PDF, Tyska, 20221 465 kr
Läs direkt efter köp
Keine ausfuhrliche Beschreibung fur "e;Representalion and Processing of Natural Language"e; verfugbar.
Inbunden, Tyska, 1981
1 836 kr
Skickas inom 5-8 vardagar
E-bok
PDF, Tyska, 20221 452 kr
Läs direkt efter köp
Keine ausfuhrliche Beschreibung fur "e;Natural Language Based Computer Systems"e; verfugbar.
Inbunden, Engelska, 1980
2 266 kr
Skickas inom 3-6 vardagar
No detailed description available for "Representation and Processing of Natural Language".
E-bok
PDF, Engelska, 19801 714 kr
Läs direkt efter köp
No detailed description available for "Representation and Processing of Natural Language".
Häftad, Engelska, 1978
566 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 1981
343 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2005
566 kr
Skickas inom 10-15 vardagar
The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the ?eld of int- ligent media technologies for communicative intelligence. Communicative intelligence represents a new challenge towards building a sup- intelligence on the ubiquitous global network by accumulating a huge amount of - man andknowledgeresources.The term "communicativeintelligence"re?ects the view that communication is at the very core of intelligence and its creation. Communication permits novel ideas to emerge from intimate interactions by multiple agents, ranging from collaboration to competition. The recent advance of information and commu- cation technologies has established an information infrastructure that allows humans and artifacts to communicate with each other beyond space and time. It enables us to advance a step further to realize a communicative intelligence with many fruitful applications. Intelligentmediatechnologiesattempttocaptureandaugmentpeople’scommuni- tive activities by embedding computers into the environment to enhance interactions in an unobtrusive manner. The introduction of embodied conversational agents that might mediate conversations among people in a social context is the next step in the p- cess. The scope of intelligent media technologies includes design and development of intelligent supports for content production, distribution, and utilization, since rich c- tent is crucial for communication in many applications. The promising applications of intelligence media technologies include e-learning, knowledge management systems, e-democracy, and other communication-intensivesubject domains.
E-bok
PDF, Engelska, 2005734 kr
Läs direkt efter köp
The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the ?eld of int- ligent media technologies for communicative intelligence. Communicative intelligence represents a new challenge towards building a sup- intelligence on the ubiquitous global network by accumulating a huge amount of - man andknowledgeresources.The term "communicativeintelligence"re?ects the view that communication is at the very core of intelligence and its creation. Communication permits novel ideas to emerge from intimate interactions by multiple agents, ranging from collaboration to competition. The recent advance of information and commu- cation technologies has established an information infrastructure that allows humans and artifacts to communicate with each other beyond space and time. It enables us to advance a step further to realize a communicative intelligence with many fruitful applications. Intelligentmediatechnologiesattempttocaptureandaugmentpeople’scommuni- tive activities by embedding computers into the environment to enhance interactions in an unobtrusive manner. The introduction of embodied conversational agents that might mediate conversations among people in a social context is the next step in the p- cess. The scope of intelligent media technologies includes design and development of intelligent supports for content production, distribution, and utilization, since rich c- tent is crucial for communication in many applications. The promising applications of intelligence media technologies include e-learning, knowledge management systems, e-democracy, and other communication-intensivesubject domains.
Inbunden, Engelska, 1992
1 091 kr
Skickas inom 10-15 vardagar
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J. Lukasiewicz in Poland and E.Post in theU.S.A. in the 1920s, and since then the field has expandeddramatically as the applicability of the systems to otherphilosophical and semantic problems was recognized.Intuitionisticlogic, for example, arose from deep problemsin the foundations of mathematics. Fuzzy logics,approximation logics, and probability logics all addressquestions that classical logic alone cannot answer. Allthese interpretations of many-valued calculi motivatespecific formal systems thatallow detailed mathematicaltreatment.In this volume, the authors are concerned with finite-valuedlogics, and especially with three-valued logical calculi.Matrix constructions, axiomatizations of propositional andpredicate calculi, syntax, semantic structures, andmethodology are discussed. Separate chapters deal withintuitionistic logic, fuzzy logics, approximation logics,and probability logics. These systems all find applicationin practice, in automatic inference processes, which havebeen decisive for the intensive development of these logics.This volume acquaints the reader with theoreticalfundamentals of many-valued logics. It is intended to be thefirst of a two-volume work. The second volume will deal withpractical applications and methods of automated reasoningusing many-valued logics.
Inbunden, Engelska, 2003
549 kr
Skickas inom 10-15 vardagar
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.
Häftad, Engelska, 2009
566 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2008, held in Warsaw, Poland, in November 2008. The 48 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on image processing, image quality assessment, geometrical models of objects and scenes, motion analysis, visual navigation and active vision, image and video coding, virtual reality and multimedia applications, biomedical applications, practical applications of pattern recognition, computer animation, visualization and graphical data presentation.
E-bok
PDF, Engelska, 2009708 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2008, held in Warsaw, Poland, in November 2008. The 48 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on image processing, image quality assessment, geometrical models of objects and scenes, motion analysis, visual navigation and active vision, image and video coding, virtual reality and multimedia applications, biomedical applications, practical applications of pattern recognition, computer animation, visualization and graphical data presentation.
Häftad, Engelska, 2010
1 092 kr
Skickas inom 10-15 vardagar
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J. Lukasiewicz in Poland and E.Post in theU.S.A. in the 1920s, and since then the field has expandeddramatically as the applicability of the systems to otherphilosophical and semantic problems was recognized.Intuitionisticlogic, for example, arose from deep problemsin the foundations of mathematics. Fuzzy logics,approximation logics, and probability logics all addressquestions that classical logic alone cannot answer. Allthese interpretations of many-valued calculi motivatespecific formal systems thatallow detailed mathematicaltreatment.In this volume, the authors are concerned with finite-valuedlogics, and especially with three-valued logical calculi.Matrix constructions, axiomatizations of propositional andpredicate calculi, syntax, semantic structures, andmethodology are discussed. Separate chapters deal withintuitionistic logic, fuzzy logics, approximation logics,and probability logics. These systems all find applicationin practice, in automatic inference processes, which havebeen decisive for the intensive development of these logics.This volume acquaints the reader with theoreticalfundamentals of many-valued logics. It is intended to be thefirst of a two-volume work. The second volume will deal withpractical applications and methods of automated reasoningusing many-valued logics.
Häftad, Engelska, 2010
566 kr
Skickas inom 10-15 vardagar
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.
Häftad, Engelska, 2010
566 kr
Skickas inom 10-15 vardagar
The International Conference on Computer Vision and Graphics, ICCVG, or- nized since 2002, is the continuation of the International Conferences on C- puter Graphics and Image Processing, GKPO, held in Poland every second year from1990to2000.ThefounderandorganizeroftheseconferenceswasProf.W- ciech Mokrzycki. The main objective of ICCVG is to provide a forum for the exchangeofideasbetweenresearchersintheclosely-relateddomainsofcomputer vision and computer graphics. ICCVG2010gatheredabout100authors.Theproceedingscontain95papers, eachacceptedonthe groundsof two independent reviews.During the conference two special sessions were organized: Advances in Pattern Recognition, Machine Vision and Image Understanding and Human Motion Analysis and Synthesis. The content of the issue has been divided into three parts. The ?rst and second parts are related to the two special sessions mentioned above, containing 11 chapters each. The third part, named like the whole book, Computer Vision and Graphics, collects all the remaining chapters.ICCVG 2010 was organized by the Association for Image Processing,Poland (Towarzystwo Przetwarzania Obraz' ow - TPO), the Polish-JapaneseInstitute of InformationTechnology(PJWSTK),andthe FacultyofAppliedInformaticsand Mathematics, Warsaw University of Life Sciences (WZIM SGGW). The Associationfor ImageProcessingintegratesthe Polishcommunity wo- ingonthetheoryandapplicationsofcomputervisionandgraphics.Itwasformed between 1989 and 1991. The Polish-Japanese Institute of Information Technology, founded in 1994 by the Computer Techniques Development Foundation under the agreement of the Polish and Japanese governments, is one of the leading, non-state (private) Polishuniversities.We arehighly gratefulforthe fact thatthe institute has been hosting and supporting the Conference.
E-bok
PDF, Engelska, 2010734 kr
Läs direkt efter köp
Häftad, Engelska, 2010
566 kr
Skickas inom 10-15 vardagar
The International Conference on Computer Vision and Graphics, ICCVG, or- nized since 2002, is the continuation of the International Conferences on C- puter Graphics and Image Processing, GKPO, held in Poland every second year from1990to2000.ThefounderandorganizeroftheseconferenceswasProf.W- ciech Mokrzycki. The main objective of ICCVG is to provide a forum for the exchangeofideasbetweenresearchersintheclosely-relateddomainsofcomputer vision and computer graphics. ICCVG2010gatheredabout100authors.Theproceedingscontain95papers, eachacceptedonthe groundsof two independent reviews.During the conference two special sessions were organized: Advances in Pattern Recognition, Machine Vision and Image Understanding and Human Motion Analysis and Synthesis. The content of the issue has been divided into three parts. The ?rst and second parts are related to the two special sessions mentioned above, containing 11 chapters each. The third part, named like the whole book, Computer Vision and Graphics, collects all the remaining chapters.ICCVG 2010 was organized by the Association for Image Processing,Poland (Towarzystwo Przetwarzania Obraz' ow - TPO), the Polish-Japanese Institute of InformationTechnology(PJWSTK),andthe FacultyofAppliedInformaticsand Mathematics, Warsaw University of Life Sciences (WZIM SGGW). The Associationfor ImageProcessingintegratesthe Polishcommunity wo- ingonthetheoryandapplicationsofcomputervisionandgraphics.Itwasformed between 1989 and 1991. The Polish-Japanese Institute of Information Technology, founded in 1994 by the Computer Techniques Development Foundation under the agreement of the Polish and Japanese governments, is one of the leading, non-state (private) Polishuniversities.We arehighly gratefulforthe fact thatthe institute has been hosting and supporting the Conference.
E-bok
PDF, Engelska, 2010734 kr
Läs direkt efter köp
Häftad, Engelska, 2010
566 kr
Skickas inom 10-15 vardagar
As information technology became ubiquitous, it did not take long for prac- cally minded ICT specialists to realize the technology's potential for supporting and enhancing our social activities. Today, it is a truism to say that information technology has a social dimension and a social impact-it is enough to consider such applications as Facebook, LinkedIn, or Wikipedia. Proponents of the social applications of ICT will go further and claim that information technology is - shaping the way we are doing business, working, learning, playing, and making friends or enemies. They will say that, for example, Wikipedia has the pot- tial to completely change our economy (following Don Tapscott and Anthony Williams, the authors of Wikinomics). Computer science was slower than the social sciences to direct its interests towardthe social uses of its products. The concept of social informatics was ?rst invented by Rob Kling, who deemed it as an area of study of information and communication tools in cultural or institutional contexts. However, he was not the only one, as for example ethnographists quickly became interested in the ways ICT in?uences our culture (consider the studies of YouTube by Michael Wesch).Mediascienceandsociologyhavebeengearedupbytheseminalworksof McLuhan and are ready to tackle the new media created by ICT, as in the work of Manuel Castells. Psychologists quickly became interested in the Internet and computergames.Economistsrecognizedthequicklyrisingimpactofe-commerce and e-business and focused much e?ort on their analysis.
E-bok
PDF, Engelska, 2010687 kr
Läs direkt efter köp
Häftad, Engelska, 2012
566 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2012, held in Warsaw, Poland, in September 2012. The 89 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on computer graphics, computer vision and visual surveillance.
E-bok
PDF, Engelska, 2012734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2012, held in Warsaw, Poland, in September 2012. The 89 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on computer graphics, computer vision and visual surveillance.