الصفحة 6
الصفحة 6
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
Formal Methods and Software Engineering; 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
Formal Methods and Software Engineering ; 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Formal concept analysis ; Vol. 3874 ; 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February 2006. The 17 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the book. The papers show advances in applied lattice and order theory and in particular scientific advances related to formal concept analysis and its practical applications: data and knowledge processing including data visualization, information retrieval, machine learning, data analysis and knowledge management.
Formal concept analysis ; Vol. 3403 ; 3rd International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering.
Formal Concept Analysis ; 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. The papers comprise state of the art research from foundational to applied lattice theory and related fields, all of which involve methods and techniques of formal concept analysis such as data visualization, information retrieval, machine learning, data analysis and knowledge management.
Forging New Frontiers : Fuzzy Pioneers II
The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two books. The papers include reports from the different front of soft computing in various industries and address the problems of different fields of research in fuzzy logic, fuzzy set and soft computing.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
Finite-state methods and natural language processing ; 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Processing, FSMNLP 2005, held in Helsinki, Finland, September 2005. The book presents 24 revised full papers and seven revised poster papers together with two invited contributions and abstracts of six software demos. Topics include morphology, optimality theory, some special FSM families, weighted FSM algorithms, FSM representations, exploration, ordered structures, and surface parsing.
Extensionalism : The Revolution in Logic
This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western thought. It shows that the history of logic from Aristotle to Tarski is the history of the gradual undoing of the classic conflation of logic and empirical science. It sets tomorrow’s agenda for philosophers and historians of logic and scientific method by taking as its starting point the mere fact that, curiously, ancient logic is not as formal as current literature presents it. Rather, as Bar-Am explains, modern formal logic became possible only after a series of bold criticisms of the magnificent Aristotelian system. These criticisms begin with David Hume’s declaration that logic does not sanction induction, follow on with Kant’s view of logic as an extremely limited system, and culminating with Booles’ introduction of logic as an extensional system, and Russell’s solution to his own paradox.
Existence: Semantics and Syntax
This collection is an important contribution to the semantic and syntactic analysis of the expression of existence. The volume focuses on the three main linguistic constructions expressing existence: copular clauses, existential sentences, and (in)definiteness. The papers analyze the interaction between the basic notion of existence and pervasive phenomena of natural language, such as quantification and presupposition. The contributions represent state of the art research on theoretical and comparative issues related to the expression of existence, and make extensive reference to the semantic and syntactic facts of English and of various other languages. The richness of new data and the juxtaposition of different theoretical stances bring a number of new questions into focus.
Evolutionary Epistemology, Language and Culture : A Non-Adaptationist, Systems Theoretical Approach
Today we know that natural selection and evolution are far from synonymous and that they do not explain isomorphic phenomena in the world. ‘Taking Darwin seriously’ is the way to go, but today the time has come to take alternative and complementary theories that developed after the Modern Synthesis, equally seriously, and, furthermore, to examine how language and culture can merit from these diverse disciplines.As this volume will make clear, a specific inter- and transdisciplinary approach is one of the next crucial steps that needs to be taken, if we ever want to unravel the secrets of phenomena such as language and culture.
Evolution of the Web in Artificial Intelligence Environments
The material in this book is designed to be drawn from different Web application areas so as to provide an overview of important contributions in the development of the Web applications. These are mainly in the areas of Web personalisation, semantic Web and Web services.
Enterprise interoperability II : New challenges and approaches
Interoperability: the ability of a system or a product to work with other systems or products without special effort from the user is a key issue in manufacturing and industrial enterprise generally. It is fundamental to the production of goods and services quickly and at low cost at the same time as maintaining levels of quality and customisation. Interoperability is achieved if internal and external collaborators can interact on at least three levels: data, applications and business enterprise (through the architecture of an enterprise model and making allowance for the semantics of both partners). Not only a problem of software and IT technologies, it implies support for communication and transactions between different organisations that must be based on shared business references. Today, a new and important consideration must be taken into account – economic business evaluation and the definition of dissemination policy.
Enterprise interoperability : New challenges and approaches
Interoperability: the ability of a system or a product to work with other systems or products without special effort from the user is a key issue in manufacturing and industrial enterprise generally. It is fundamental to the production of goods and services quickly and at low cost at the same time as maintaining levels of quality and customisation. Interoperability is achieved if internal and external collaborators can interact on at least three levels: data, applications and business enterprise (through the architecture of an enterprise model and making allowance for the semantics of both partners). Not only a problem of software and IT technologies, it implies support for communication and transactions between different organisations that must be based on shared business references. Today, a new and important consideration must be taken into account – economic business evaluation and the definition of dissemination policy.
Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion that technology and science can provide improvements in the quality of life for people in their homes, and that it can reduce the financial burden on the budgets of the healthcare providers. The concept of Enhanced Living Environments (ELE) refers to the AAL area that is more related with ICT. Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science in this area and the development of new and innovative solutions. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area.
English Linguistics : Essentials
It serves both as an introduction for beginners and as a companion for more advanced undergraduate and graduate students, familiarizing its readers with the major and distinctive properties of English (Standard English as well major national, regional and social varieties), including an in-depth structural comparison with German.
Engineering theories of software intensive systems : Theory, algorithms, software, and applications
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
Engineering Knowledge in the Age of the Semantic Web ; 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings
The 15th International Conference on Knowledge Engineering and Knowledge Management (2006), held on October 6-10, 2006 in Pod? ebrady,Czech Republic, followed a long tradition of European Knowledge Acquisition Workshops (from 1987),whicheventuallyacquiredtheformatofconference(in2000)whilekeeping their open-minded and interactive spirit. During the nearly 20 year lifespan of the series, the discipline of knowledge engineering (KE) evolved greatly. While knowledge acquisition (KA) techniques dominated in the very ?rst years, formal approaches to knowledge-based inf- ence and variousnew streamssuch as knowledgediscoveryfrom data/textslater cameinto play. During thelate1990sandafterwards,EKAWbecamea founding community for ontology and Semantic Web Research, which was also re?ected in the sub-titles of the 2002 and 2004 editions: “Ontologies and the Semantic Web” and “Engineering Knowledge in the Age of the Semantic Web,” resp- tively.
Ellipsis and Nonsentential Speech
The papers in this volume address two main topics: Q1: What is the nature, and especially the scope, of ellipsis in natural l- guage? Q2: What are the linguistic/philosophical implications of what one takes the nature/scope of ellipsis to be? As will emerge below, each of these main topics includes a large sub-part that deals speci?cally with nonsentential speech. Within the ?rst main topic, Q1, there arises the sub,issueofwhethernonsententialspeechfallswithinthescopeofellipsisornot;within the second main topic, Q2, there arises the sub-issue of what linguistic/philosophical implications follow, if nonsentential speech does/does not count as ellipsis. I. THE NATURE AND SCOPE OF ELLIPSIS A. General Issue: How Many Natural Kinds? There are many things to which the label ‘ellipsis’ can be readily applied. But it’s quite unclear whether all of them belong in a single natural kind.
