Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004
Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004
The explosive growth of application areas such as electronic commerce, enterprise 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...
Fuzzy Reasoning in Information, Decision and Control Systems (Intelligent Systems, Control and Automation: Science and Engineering)
Fuzzy Reasoning in Information, Decision and Control Systems (Intelligent Systems, Control and Automation: Science and Engineering)
This book is devoted to the study of fuzzy reasoning as applied to decision making and control processes. It contains a collection of important contributions covering a wide well-selected range of topics within the field.
The book contains twenty-one papers, written by thirty-four distinguished contributors and is divided into five
...
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference

The 16th LPAR event was held in Africa for the very first time, signalling a bright future for a conference with a glowing history. For many years it was a goal of the steering committee to hold LPAR in Africa and the enthusiasm for our presence far exceeded our expectations. With the help of local organiser Waly Faye, LPAR integrated itself...

Inductive Logic Programming: From Machine Learning to Software Engineering (Logic Programming)
Inductive Logic Programming: From Machine Learning to Software Engineering (Logic Programming)

Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the research in ILP has in fact come from machine learning, particularly in the evolution of inductive reasoning from pattern recognition, through...

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management
The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management
A strategic guide to the revolutionary framework that will change the way you do business

Imagine if you could teach your computer to make decisions that lead to faster B2B trading implementations, more effective customer management, and seamless data warehousing. Now, your imagination can be turned into reality. This authoritative book...

Geometric Problems on Maxima and Minima
Geometric Problems on Maxima and Minima
Questions of maxima and minima have great practical significance, with applications to physics, engineering, and economics; they have also given rise to theoretical advances, notably in calculus and optimization. Indeed, while most texts view the study of extrema within the context of calculus, this carefully constructed problem book takes a...
Introduction to Probability and Statistics
Introduction to Probability and Statistics
Every time you pick up a newspaper or a magazine, watch TV, or surf the Internet, you encounter statistics. Every time you fill out a questionnaire, register at an online website, or pass your grocery rewards card through an electronic scanner, your personal information becomes part of a database containing your personal...
Reasoning About Program Transformations
Reasoning About Program Transformations
The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the flow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. Indeed, we face a paradoxical situation where, on the one hand, a typical program spends most of its...
Artificial Intelligence Applications and Innovations (IFIP International Federation for Information Processing)
Artificial Intelligence Applications and Innovations (IFIP International Federation for Information Processing)
Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent robotics, intelligent planning and scheduling, model-based reasoning, fault diagnosis, natural language processing, maching translation, knowledge representation and reasoning, knowledge-based systems, knowledge engineering,...
User Interface Design for Programmers
User Interface Design for Programmers

Most programmers' fear of user interface (UI) programming comes from their fear of doing UI design. They think that UI design is like graphic design--the mysterious process by which creative, latte-drinking, all-black-wearing people produce cool-looking, artistic pieces. Most programmers see themselves as analytic, logical thinkers...

Constraint Processing (The Morgan Kaufmann Series in Artificial Intelligence)
Constraint Processing (The Morgan Kaufmann Series in Artificial Intelligence)

A constraint is a restriction on a space of possibilities; it is a piece of knowledge that narrows the scope of this space. Because constraints arise naturally in most areas of human endeavor, they are the most general means for formulating regularities that govern our computational, physical, biological, and social worlds. Some...

unlimited object storage image
Result Page: 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy