الصفحة 55
الصفحة 55
Cooperative design, visualization, and engineering ; Vol. 3675 : 2nd international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2005, held in Palma de Mallorca, Spain, in September 2005. The 28 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover all current issues in cooperative design, visualization, engineering, and other cooperative applications. Topics addressed are such as constraint maintenance, decision support, and security enforcement for CDVE. Case studies and application specific developments are among the cooperative visualization papers. Along the line of cooperative engineering, knowledge management, reconfigurability, and concurrency control are major issues addressed.
Cooperative Design, Visualization, and Engineering ; 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvià, Mallorca, Spain, in September 2008.
Cooperative Design, Visualization, and Engineering ; 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation is vital for its success. This year we received a large number of papers from all over the world.From a technical point of view, as a major trend in cooperative design, vi- alization, engineering and other applications, advanced Web-based cooperation technology stands out by itself. Web-based cooperative working applications have been emerging strongly since the wide availability and accessibility of the WWW. It is a form of sharing and collaborating by its nature.
Cooperative Control : A Post-Workshop Vol., 2003 Block Island Workshop on Cooperative Control
This carefully edited book presents how natural groupings such as fish schools, bird flocks, deer herds etc. coordinate themselves and move so flawlessly, often without an apparent leader or any form of centralized control. It shows how the underlying principles of cooperative control may be used for groups of mobile autonomous agents to help enable a large group of autonomous robotic vehicles in the air, on land or sea or underwater, to collectively accomplish useful tasks such as distributed, adaptive scientific data gathering, search and rescue, or reconnaissance.
Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent.
Convex functions and their applications : A contemporary approach ; 2nd ed.
This second edition provides a thorough introduction to contemporary convex function theory with many new results. A large variety of subjects are covered, from the one real variable case to some of the most advanced topics. The new edition includes considerably more material emphasizing the rich applicability of convex analysis to concrete examples. Chapters 4, 5, and 6 are entirely new, covering important topics such as the Hardy-Littlewood-Pólya-Schur theory of majorization, matrix convexity, and the Legendre-Fenchel-Moreau duality theory.
Converged communications : Evolution from telephony to 5G mobile internet
The central theme of the book is to build deeper understanding about incremental technological progress by introducing both state of the art and their predecessor technologies. The book explores four main areas, including fixed telephone systems, data communication systems, mobile cellular systems, and IP multimedia systems. It clearly explains architectures, protocols, and functional procedures, and discusses a variety of topics ranging from physical layer processes to system level interactions. Converged Communications offers: In-depth treatments of fixed telephone and transmission systems, including operation of telephone exchanges and signaling systems Comprehensive explorations of data communication systems, including transmission of data over telephone lines and data network technologies, such as Ethernet and TCP/IP Incisive discussions of mobile cellular systems, including GSM, 3G, LTE, VoLTE and 5G Insightful analysis of incremental system evolution to justify various design choices made The book is supported with extensive online appendices, which covers communication system concepts, an overview of standardization, various technologies used in the past, state-of-the art technologies such as WLAN, cable modems, and FTTx, complementing the other systems described in the book which have evolved from the fixed telephone network.
Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests
The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. A good understanding of multi-variable dynamic systems is helpful, but the second part is accessible even without this.
Control problems for conservation laws with traffic applications: modeling, analysis, and numerical methods
Conservation and balance laws on networks have been the subject of much research interest given their wide range of applications to real-world processes, particularly traffic flow. This open access monograph is the first to investigate different types of control problems for conservation laws that arise in the modeling of vehicular traffic. Four types of control problems are discussed - boundary, decentralized, distributed, and Lagrangian control - corresponding to, respectively, entrance points and tolls, traffic signals at junctions, variable speed limits, and the use of autonomy and communication. Because conservation laws are strictly connected to Hamilton-Jacobi equations, control of the latter is also considered.
Control of nonlinear and hybrid process systems : Designs for uncertainty, constraints and time-delays
The book includes many detailed examples which can be easily modified by a control engineer to be tailored to a specific application. This book is useful for researchers in control systems theory, graduate students pursuing their degree in control systems and control engineers.
Contextual Process Digitalization: Changing Perspectives – Design Thinking – Value-Led Design
This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ perspectives on their work in a process and its structuring and harmonization, and then moves on to its specification in a model and how it is embedded in the organizational and IT environment of the company.
Content based social platform optimization “Fashion Platform"
The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering an informative feedback, as well as linking local stores to those users. This platform will be delivered as a mobile application that is available to any user who is interested in expressing and sharing his/her prevailing taste in fashion simply by posting photos, interacting with other people’s posts and leaving comments for them. The app will also provide some features in an attempt to push the users to be more enthusiastic and to be more encouraged about trying and continuously using this app. Moreover, this platform will incorporate a Shop section, which will be the actual local stores that are connected to it, so the user can buy an item that he/she is fond of.
Content based image retrieval systems
With an advent of technology, huge collection of digital images is formed as repositories on crime prevention, medical diagnosis, military, face finding, satellites and remote sensing. The task of searching for similar images in the repository is difficult. The data is growing enormously which makes it difficult to store and manage. The traditional image retrieval technique is inefficient in retrieving these images. Content-based image retrieval is an approach from data mining community, which provides the solution of managing this huge quantity of data. In this research, a Content-Based Image Retrieval (CBIR) system has been developed using color and texture as retrieval features from the image repository. The system allows the user to search for an image based on any of the two features alone or in combination by assigning weights to the features. The histogram and color moments approach is used to extract the color feature, texture feature is extracted using statistical moments and co-occurrence matrix method and the shape feature is extracted using the morphological operations. The images and the extracted feature vectors are stored in the Pickle file. The system is robust as it provides search based on the multiple features. The performance of the system was evaluated by analyzing the retrieval results using precision and recall.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Constructing Ambient Intelligence ; AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, AmI 2007, held in Darmstadt, Germany, in November 2007.
Constraint-Based Mining and Inductive Databases ; European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically change the theory and practice of data mining and knowledge discovery.
Constraint solving and language processing
Contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly differing meanings, apply in the characterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new eficient methods and paradigms from which language processing can prompt. A common metaphor for human language processing is one big c- straint solving process in which the differently specified linguistic and cognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.
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.
