Refine Results
Sort By
From
To
Page 7
Page 7
Knowledge Representation and the Semantics of Natural Language
This book presents a method for the semantic representation of natural l- guage expressions (texts, sentences, phrases, etc. ) which can be used as a u- versal knowledge representation paradigm in the human sciences, like lingu- tics, cognitive psychology, or philosophy of language, as well as in com- tational linguistics and in arti?cial intelligence. It is also an attempt to close the gap between these disciplines, which to a large extent are still working separately.
Knowledge and Skill Chains in Engineering and Manufacturing : Information Infrastructure in the Era of Global Communications
Explores knowledge and skill chains in engineering and manufacturing in the age of global communications. Information infrastructure involves a range of activities from product planning, engineering, and manufacturing trough transportation, marketing, and repair/upgrade to returns and recycling/disposal. Distinct from the traditional engineering database, life-cycle support information has its own characteristic requirements, -- flexible extensibility, distributed architecture, multiple viewpoints, long-time archiving, and product usage information. Several authors address the architecture of the information infrastructure, its services and its requirements. Other papers focus on the knowledge and skill chains that develop in a variety of situations: the supply chain, the factory floor, the man-system interaction, etc. For each of these, state-of-the-art and state-of-research scenarios for various industrial sectors address both engineering and operations requirements in the current socio-economic environment.
Journal on Data Semantics XI
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Journal on Data Semantics VIII
Springer's LNCS Journal on Data Semantics aims at providing a highly visible dissemination channel for most remarkable work that in one way or another addresses research and development on issues related to the semantics of data. The target domain ranges from theories supporting the formal definition of semantic content to innovative domain-specific application of semantic knowledge. This publication channel should be of the highest interest to researchers and advanced practitioners working on the Semantic Web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Journal on Data Semantics VII
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Journal on Data Semantics VI
Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as speci?cally related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearanceof the journal issues looks like the books from the well-known Springer LNCS series, the mode of operation is that of a jo- nal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of best papers from major conferences addressing data semantics issues. Special issues, foc- ing on a speci?c topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board.
Journal on Data Semantics V
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Journal on Data Semantics IV
• Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of the best papers from major conferences addressing data semantics issues. Special issues, focusing on a specific topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text.
Journal on Data Semantics III
– semantic caching – data warehousing and semantic data mining – spatial, temporal, multimedia and multimodal semantics – semantics in data visualization – semantic services for mobile users – supporting tools – applications of semantic-driven approaches These topics are to be understood as speci?cally related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues looks like the books from the well-known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of best papers from major conferences addressing data semantics issues. Special issues, focusing on a speci?c topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text.
Journal on Data Semantics II
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Java Methods for Financial Engineering : Applications in Finance and Investment
This book is structured around the main theories and models used by practitioners to engineer finance and investment tools. The methods developed and implemented in the text are organized as chapters which cover the core areas.
Iterated Function Systems for Real-Time Image Synthesis
Natural phenomena can be visually described with fractal-geometry methods, where iterative procedures rather than equations are used to model objects. With the development of better modelling algorithms, the efficiency of rendering, the realism of computer-generated scenes and the interactivity of visual stimuli are reaching astonishing levels. Iterated Function Systems for Real-Time Image Synthesis gives an explanation of iterated function systems and how to use them in generation of complex objects.
Issues in Multi-Agent Systems : The AgentCities.ES Experience
The purpose of this book is to present current status of this technology by looking at its application in different domains, such as electronic markets, e-tourism, ambience intelligence, and complex system analysis.It starts by discussing software engineering issues for the development of multi-agent systems, how much it costs to build a multi-agent system, and which methods and tools are currently available. Next chapters present some of the most relevant aspects that are considered for the development of multi-agent systems.
Computation Engineering : Applied Automata Theory and Logic
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
Computable Models of the Law : Languages, Dialogues, Games, Ontologies
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain.
Component-Based Software Testing with UML
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Communications and Networking : An Introduction
Communications and Networking: An Introduction provides a clear and easy to follow treatment of the subject, written specifically for undergraduates who have no previous experience in the field. The author takes a step by step approach, with examples and exercises designed to give the reader increased confidence in using and understanding communications systems. Topics covered include communications technologies, networking models and standards, local area and wide area networks, network protocols, TCP/IP-based networks and network management.
Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining
Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and modeling, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
