Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited to a particular product line, an assort...
详细信息
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited to a particular product line, an assortment of applications can be developed to support differing operational needs. A top-down approach to the design components for a specific application may be effective, however a more evolutionary approach is needed to support the specification of components suited for a class of applications. In addition, such evolutionary approaches require support for the knowledge transfer that must occur from domain experts, who are not software experts, to skilled software engineers. By combining concepts from Software Product Line Development (SPLD) and other evolutionary design techniques, a new, use case-driven approach has been created called Component-Based Product Line Analysis and Design (C-PLAD). This approach was used to develop components in the domain of image-guided surgery applications. Copyright 2005 acm.
Making the structure of software visible during system development helps (i) build a shared understanding of the context for each piece of work, (ii) identify progress with implementation, and (iii) highlight any conf...
详细信息
We initiate the systematic study of algorithmic issues involved in finding equilibria (Nash and correlated) in games with a large number of players;such games, in order to be computationally meaningful, must be presen...
详细信息
ISBN:
(纸本)9780898715859
We initiate the systematic study of algorithmic issues involved in finding equilibria (Nash and correlated) in games with a large number of players;such games, in order to be computationally meaningful, must be presented in some succinct, game-specific way. We develop a general framework for obtaining polynomial-tune algorithms for optimizing over correlated equilibria in such settings, and show how it can be applied successfully to symmetric games (for which we actually find an exact polytopal characterization), graphical games, and congestion games, among others. We also present complexity results implying that such algorithms are not possible in certain other such games. Finally, we present a polynomial-time algorithm, based on quantifier elimination, for finding a Nash equilibrium in symmetric games when the number of strategies is relatively small.
The Benjamin Franklin Medal in Computer and Cognitive Science is awarded to Dr. Richard M. Karp for his contributions to the understanding of computational complexity. His work helps programmers find workable solution...
详细信息
The Benjamin Franklin Medal in Computer and Cognitive Science is awarded to Dr. Richard M. Karp for his contributions to the understanding of computational complexity. His work helps programmers find workable solution procedures avoiding approaches that would fail to find a solution in a reasonable amount of time. Scientific, commercial, or industrial situations where his work applies include establishing least-cost schedules for industrial production, transportation routing, circuit layout, communication network design, and predicting the spatial structure of a protein from its amino acid sequencing. (c) 2005 Published by Elsevier Ltd. on behalf of The Franklin Institute.
Simulations of complex scientific phenomena involve the execution of massively parallel computer programs. These simulation programs generate large-scale multidimensional data sets over the spatio-temporal region. Ana...
详细信息
Current models of Internet computing are highly asymmetric - a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior of a program running remotely. The asym...
详细信息
The development of High-Performance computing (HPC) programs is crucial to progress in many fields of scientific endeavor We have run initial studies of the productivity of HPC developers and of techniques for improvi...
详细信息
ISBN:
(纸本)0780395077
The development of High-Performance computing (HPC) programs is crucial to progress in many fields of scientific endeavor We have run initial studies of the productivity of HPC developers and of techniques for improving that productivity, which have not previously been the subject of significant study. Because of key differences between development for HPC and for more conventional software engineering applications, this work has required the tailoring of experimental designs and protocols. A major Contribution of our work is to begin to quantify the code development process in a specialized area that has previously not been extensively studied. Specifically, we present an analysis of the domain of High-Performance computing for the aspects that would impact experimental design;show how those aspects are reflected in experimental design for this specific area;and demonstrate how we are Using such experimental designs to build lip a body of knowledge specific to the domain. Results to date build confidence in our approach by showing that there are no significant differences across studies comparing subjects with similar experience tackling similar problems, while there are significant differences in performance and effort among the different parallel models applied.
The vision of Ubiquitous computing [22] creates the world in which information is omnipresent, migrating seamlessly through the environment to be accessible whenever and wherever needed. Such a vision poses substantia...
详细信息
The medium of collage supports the visualization of meaningful event summaries using photographs. It can however be rather tedious to author a collage from a large collection of photographs. In this work we present an...
详细信息
ISBN:
(纸本)159593023X
The medium of collage supports the visualization of meaningful event summaries using photographs. It can however be rather tedious to author a collage from a large collection of photographs. In this work we present an approach that supports efficient construction of a collage by assisting the user with an automatic layout procedure that can be controlled at a high level. Our layout method utilizes a pre-designecl template which consists of cells for photos and annotations applied to these cells. The layout is then filled by matching the metadata of photos to the annotations in the cells using an optimization algorithm. The user exercises flexibility in the authoring process by (a) maintaining high-level control through the types of constraints applied and (b) leveraging visual emphases supported by the layout algorithm. The user can of course provide fine-grained control of the final collage through direct manipulation. Off-loading the tedium of collage construction to a user controlled yet automated process clears the way for rapidly generating different views of the same album and could also support the increased sharing of digital photos in the form of compact collages. Copyright 2005 acm.
We design an algorithm based on illuminant invariance theory to find shadow regions in a colour image. Shadows are caused by a local change in both the colour and the intensity of illumination. Using both chromaticity...
详细信息
We design an algorithm based on illuminant invariance theory to find shadow regions in a colour image. Shadows are caused by a local change in both the colour and the intensity of illumination. Using both chromaticity and intensity cues, an illuminant discontinuity measure is derived by which shadow edges can be locally identified. We model the problem of finding shadows by a Markov Random Field using our new measure. A graph-cut optimization method is then applied to the MRP to find the globally optimal segmentation of shadows in an image. In previous work, a 2-d chromaticity colour invariant image was recovered from a greyscale 1-d invariant image by adding back light so as to match the chromaticity of bright pixels. Here, since we segment shadows, we can take a completely different approach and leave nonshadow pixels unchanged, while adding light to shadow pixels so as to match neighbouring nonshadow pixels. The results are much more convincing shadow-free images, and shadow-segmentation is excellent.
暂无评论