الصفحة 1
الصفحة 1
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets ; International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 2004 International Workshop on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, held in Dagstuhl Castle, Germany in March 2004. The 17 revised full papers presented together with an introductory overview have gone through two rounds of reviewing and revision. The papers are organized in topical sections on man-machine interface for intuitive knowledge access, intelligent pad and meme media, visualization and design of information access spaces, and semantics and narrative organization and access of knowledge.
Intelligent Agents and Multi-Agent Systems ; 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- Specifying DIMA Multi-agents Models Using Maude.- picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing.- An Approach to Safe Continuous Planning.- Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback.- Price Determination and Profit Sharing for Bidding Groups in Agent-Mediated Auctions.- Agent Based Risk Management Methods for Speculative Actions.- Handling Emergent Resource Use Oscillations.- The Role of Agents in Intelligent Mobile Services.
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.
Information Networking. Towards Ubiquitous Networking and Services ; International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Information Networking, ICOIN 2007, held in Estoril, Portugal, in January 2007.The 82 revised full papers included in the volume were carefully selected and improved during two rounds of reviewing and revision from a total of 302 submissions. Topics covered include sensor networks; ad-hoc, mobile and wireless networks; optical networks; peer-to-peer networks and systems; routing; transport protocols.
Implementation of functional languages ; 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003. The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming.
Graphics Recognition. Recent Advances and New Opportunities ; 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Graphics Recognition, GREC 2007, held in Curitiba, Brazil in September 2007.The 30 revised full papers presented together with a panel discussion report were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on technical documents, maps and diagrams understanding; symbol and shape description and recognition; information retrieval, indexing and spotting; sketching interfaces and on-line processing; feature and primitive analysis and segmentation; performance evaluation and ground truthing.
Fuzzy Logic and Applications ; Vol. 2955 ; 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing.
Entertainment computing - ICEC 2006 ; 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceeding
ICEC 2006 attracted 47 full paper submissions, 48 short paper submissions in total 95 technical papers. Based on a thorough review and selection process by 85 international experts from academia and industry as members of the Program Committee, a high-quality program was compiled. The International Program Committee consisted of experts from all over the world As a result, 17 full papers and 17 short papers were accepted as submitted or with minor revisions. For the remaining submissions, 28 were recommended to change according to the reviews and were submitted as posters. This proceedings volume presents 62 technical contributions which are from many different countries.
Database Programming Languages ; 10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, revised selected papers
Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. This book presents papers organized in topical sections on XML languages, XML and P2P data integration, XML query languages, types and XML, grammars, automata, and tree, as well as dependencies and constraints.
Current trends in database technology - EDBT 2006 ; EDBT 2006 Workshop PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMa, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International Conference on Extending Database Technology, EDBT 2006, held in Munich, Germany in March 2006. The 70 revised full papers presented were selected from numerous submissions during two rounds of reviewing and revision.
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
Conceptual Modeling for New Information Systems Technologies ; ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to give participants the opportunity to present and discuss emerging hot topics, thus adding new perspectives to conceptual modeling.
Logics in Artificial Intelligence ; 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008.The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
Logic, language, information and computation ; 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
Basic theoretical physics : A concise overview
This concise treatment embraces, in four parts, all the main aspects of theoretical physics (I . Mechanics and Basic Relativity, II. Electrodynamics and Aspects of Optics, III. Non-relativistic Quantum Mechanics, IV. Thermodynamics and Statistical Physics). It summarizes the material that every graduate student, physicist working in industry, or physics teacher should master during his or her degree course. It thus serves both as an excellent revision and preparation tool, and as a convenient reference source, covering the whole of theoretical physics. It may also be successfully employed to deepen its readers' insight and add new dimensions to their understanding of these fundamental concepts. Recent topics such as holography and quantum cryptography are included, thus making this a unique contribution to the learning material for theoretical physics.
Averaging Methods in Nonlinear Dynamical Systems
The authors have presented an extensive revision of the first edition of the Averaging Methods in Nonlinear Dynamical Systems book. There are many changes, corrections and updates in chapters on Basic Material and Asymptotics, Averaging, and Attraction.
Agent-mediated electronic commerce VI ; Theories for and engineering of distributed mechanisms and systems, AAMAS 2004 Workshop, Amec 2004, New York, NY, USA, July 19, 2004, revised selected papers
The design of intelligent trading agents, mechanisms, and systems has receivedgrowing atttention in the agents and multiagent systems communities in aneffort to address the increasing costs of search, transaction, and coordinationwhich follows from the increasing number of Internet-enabled distibuted elec-tronic markets. Furthermore, new technologies and supporting business modelsare resulting in a growing volume of open and horizontally integrated markets fortrading of an increasingly diverse set of goods and services. However, growth oftechnologies for such markets requires innovative solutions to a diverse set of ex-isting and novel technical problems which we are only beginning to understand.Specifically, distributed markets present not only traditional
