الصفحة 12
الصفحة 12
Foundation of semantic web technologies
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange and querying, RDFS and OWL provide expressive ontology modeling, and RIF supports rule-based modeling. The text also describes methods for specifying, querying, and reasoning with ontological information. In addition, it explores topics that are clearly beyond foundations, such as tools, applications, and engineering aspects.
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 ; 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually analyzing data and kno- edge. The theory itselfstronglyreliesonorder and lattice theory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning , and, over the last years, the range of application shaskept growing. The mainreasonfor this comesfromthe fact that our modern society has turned into an “information” society. After years and years of using computers, companies realized they had stored gigantic amounts of data.
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.
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
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.
Forging New Frontiers : Fuzzy Pioneers I
The 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, Berkeley, “WHERE FUZZY LOGIC BEGAN, from November 3 – 6, 2005. The successful applications of fuzzy logic and it’s rapid growth suggest that the impact of fuzzy logic will be felt increasingly in coming years. Fuzzy logic is likely to play an especially important role in science and engineering, but eventually its influence may extend much farther. In many ways, fuzzy logic represents a significant paradigm shift in the aims of computing - a shift which reflects the fact that the human mind, unlike present day computers, possesses a remarkable ability to store and process information which is pervasively imprecise, uncertain and lacking in categoricity.
Focused Access to XML Documents ; 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, held at Dagstuhl Castle, Germany, in December 2007.The 37 revised full papers presented were carefully reviewed and selected for presentation at the workshop from 50 initial submissions. The papers are organized in an ad hoc track and 6 topical sections on book search, XML-mining, entity ranking, interactive, link-the-wiki, and multimedia.
Flexible and Efficient Information Handling ; 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, Northern Ireland, July 2006. The volume presents 12 revised full papers and 6 revised short papers, together with 2 invited lectures and 13 poster papers. Topical sections include data modelling and architectures and transaction management, data integration and interoperability and information retrieval, query processing and optimisation, data mining, data warehousing and more.
Firm competitive advantage through relationship management : A theory for successful sustainable growth
This book aims to develop a mid-range theory of relationship management, examining truly relationship-orientated firms to discover not only what qualities these firms have that make them successful at the RM model, but also what benefits this model has for the firm.
Fieldwork for Design : Theory and Practice
Fieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the workplace, for the home and elsewhere. It presents a history of ethnography, both as it was practiced before computer science picked it up and since, most especially in the CSCW and HCI domains. It examines, further, the various ethnographic or ‘fieldwork’ frameworks currently popular, explaining and examining what each claims and entails. The focus of the book throughout is on the practical relationship between theory and practice, a relationship that is often misunderstood yet fundamental to successful design.
Field and Service Robotics ; Vol. 25 : Results of the 5th International Conference
Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely with humans, with particular applications involving indoor and structured environments. There are a wide range of topics presented in this issue on field and service robots including: Agricultural and Forestry Robotics, Mining and Exploration Robots, Robots for Construction, Security & Defence Robots, Cleaning Robots, Autonomous Underwater Vehicles and Autonomous Flying Robots.
Federation over the Web ; International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers
The lives of people all around the world, especially in industrialized nations, continue to be changed by the presence and growth of the Internet. Its in?uence is felt at scales ranging from private lifestyles to national economies, boosting thepaceatwhichmoderninformationandcommunicationtechnologiesin?uence personal choices along with business processes and scienti?c endeavors. In addition to its billions of HTML pages, the Web can now be seen as an open repository of computing resources. These resources provide access to computational services as well as data repositories, through a rapidly growing variety of Web applications and Web services.
Fashion recommender systems
The impact of social networks and the influence that fashion influencers have on the choices people make for shopping is undeniable. For instance, many people use Instagram to learn about fashion trends from top influencers, which helps them to buy similar or even exact outfits from the tagged brands in the post. When traced, customers’ social behavior can be a very useful guide for online shopping websites, providing insights on the styles the customers are really interested in, and hence aiding the online shops in offering better recommendations and facilitating customers quest for outfits.
Experimental Algorithms ; 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings
Fostering and disseminating high quality research results focused on the experimental analysis of algorithms the papers are devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, data mining, simulation, cryptography and security, scheduling, searching, sorting, string matching, coding, networking, etc.
Examples in Structural Analysis
This code-independent and comprehensive collection of fully worked and graded examples shows undergraduates how to analyse different types of structure, with the main analysis techniques, with some detailed mathematics. Now with pin-jointed frames and arches and cables, with more on the direct stiffness method and influence lines for beams.
Examining Innovation Management from a Fair Process Perspective
Companies nowadays still differ considerably in that they interact with employees. This interaction depends on different organisational cultures, leadership styles, and the ways in which information and communication take place. A recent trend, even in economic theory, is that interactions are valued in themselves and not solely to achieve rational economic maximisation. People care about outcomes, but they also care about the interactional processes that produce those outcomes. Thomas Limberg investigates a new approach to the management of human relationships in a knowledge-based work environment and analyses the relationship between fair process and innovation performance. Key findings are that social interactions have a significant influence on execution performance in organisations, and fairness can have positive effects on innovative behaviour and therefore on innovation performance. In the transition from a production-based to a knowledge-based economy, fair process is becoming a powerful tool for managing human interactions and for influencing attitudes and behaviours that are so critical in reaching high innovation performance.
Evolutionary Synthesis of Pattern Recognition Systems
Evolutionary Synthesis of Pattern Recognition Systems presents novel effective approaches based on evolutionary computational techniques, such as genetic programming (GP), linear genetic programming (LGP), coevolutionary genetic programming (CGP) and genetic algorithms (GA) to automate the synthesis and analysis of object detection and recognition systems. The book’s concepts, principles, and methodologies will enable readers to automatically build robust and flexible systems—in a systematic manner—that can provide human-competitive performance and reduce the cost of designing and maintaining these systems. Its content covers all key aspects of object recognition: object detection, feature selection, feature discovery, object recognition, domain knowledge. Basic knowledge of programming and data structures, and some calculus, is presupposed.ing the book’s novel ideas
Evolutionary computation, machine learning and data mining in bioinformatics ; 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
The feld of bioinformatics has two main objectives: the creation and main- nance of biological databases, and the discovery of knowledge from life sciences data in order to unravel the mysteries of biological function, leading to new drugs and therapies for human disease. Life sciences data come in the form of biological sequences, structures, pathways, or literature. One major aspect of discovering biological knowledge is to search, predict, or model specifc infortioninagivendatasetinorderto generate new in teresting knowledge.Computer science methods such as evolutionary computation, machine learning, and data mining all have a great deal to ofer the feld of bioinformatics.
Evolutionary computation, machine learning and data mining in bioinformatics ; 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings
This book Covers brings together experts in computer science with experts in bioinformatics and the biological sciences. It presents contributions on fundamental and theoretical issues along with papers dealing with different applications areas.
