the process of shaping a music information retrieval algorithm is highly connected with implementing it and testing suitable parameterizations. Often music information retrieval scientists do not have a programmer at ...
详细信息
Aspect-oriented software development still lacks practical evidence. While aspects are claimed to be useful in adapting existing applications there is also first evidence that they might themselves be re-usable. We pr...
详细信息
ISBN:
(纸本)9783885791829
Aspect-oriented software development still lacks practical evidence. While aspects are claimed to be useful in adapting existing applications there is also first evidence that they might themselves be re-usable. We present results from two case studies withthe aspect-oriented programming language ObjectTeams/Java that investigate the re-usability of aspects in developing a security framework. During the development of the framework we have identified patterns for re-usable aspects that increase the flexibility when applying a framework to a given application.
A black box specification of a deterministic software or hardware component refers to the function mapping input histories to output histories. An important refinement step amounts to designing a state transition mach...
详细信息
ISBN:
(纸本)076952611X
A black box specification of a deterministic software or hardware component refers to the function mapping input histories to output histories. An important refinement step amounts to designing a state transition machine which correctly implements the specified behaviour We present a formal method for implementing stream transformers by Moore state transition machines. First we construct a canonical Moore state transition machine whose state space is based on input histories. then we identify output equivalent states for achieving a reduced Moore state transition machine. We illustrate the formal method with various applications.
We present a novel tracking algorithm that uses dynamic programming to determine the path of target objects and that is able to track an arbitrary number of different objects. the traceback method used to track the ta...
详细信息
ISBN:
(纸本)0769525032
We present a novel tracking algorithm that uses dynamic programming to determine the path of target objects and that is able to track an arbitrary number of different objects. the traceback method used to track the targets avoids taking possibly wrong local decisions and thus reconstructs the best tracking paths using the whole observation sequence. the tracking method can be compared to the nonlinear time alignment in automatic speech recognition (ASR) and it can analogously be integrated into a hidden Markov model based recognition process. We show how the method can be applied to the tracking of hands and the face for automatic sign language recognition.
the Grid can be seen as a collection of services each of which performs some functionality. Users of the Grid seek to use combinations of these services to perform the overall task they need to achieve. In general thi...
详细信息
ISBN:
(纸本)9781424403431
the Grid can be seen as a collection of services each of which performs some functionality. Users of the Grid seek to use combinations of these services to perform the overall task they need to achieve. In general this can be seen as a set of service with a workflow document describing how these services should be combined. the user may also have certain constraints on the workflow operations, such as execution time or cost to the user, specified in the form of a Quality of Service (QoS) document. the users submit their workflow to a brokering service along withthe QoS document. the brokering service's task is to map any given workflow to a subset of the Grid services taking the QoS and state of the Grid into account - service availability and performance. We propose in this paper an approach for generating constraint equations describing the workflow, the QoS requirements and the state of the Grid. this set of equations may be solved using Mixed-Integer Linear programming (MILP), which is the traditional method. We further develop a novel 2-stage stochastic MILP which is capable of dealing withthe volatile nature of the Grid and adapting the selection of the services during the lifetime of the workflow. We present experimental results comparing our approaches, showing that the 2-stage stochastic programming approach performs consistently better than other traditional approaches.
We have developed a parallel rendering software for scientific visualization of large-scale, three-dimensional, time development simulations. the goal of this software, MovieMaker, is to generate a movie, or a. series...
详细信息
We have developed a parallel rendering software for scientific visualization of large-scale, three-dimensional, time development simulations. the goal of this software, MovieMaker, is to generate a movie, or a. series of visualization images from one terabyte-scale data set within one night (or less than 12 h). the isocoutouring, volume rendering, and streamlines are implemented. MovieMaker is a parallel program for the shared memory architecture with dynamic load balancing, and overlapped disk I/O.
the fuzzy approach to regression has been traditionally considered as a problem of linear programming. In this work, we introduce a variety of models founded on quadratic programming together with a set of indices use...
详细信息
ISBN:
(纸本)3540454853
the fuzzy approach to regression has been traditionally considered as a problem of linear programming. In this work, we introduce a variety of models founded on quadratic programming together with a set of indices useful to check the quality of the obtained results. In order to test the validness of our proposal, we have done an empirical study and we have applied the models in a case with financial data: the Chilean COPEC Company stock price.
In this paper, a learning control approach is applied to the synchronization of two uncertain chaotic systems which contain nonlinear uncertainties with unknown time delays. this learning approach also deals with unkn...
详细信息
ISBN:
(纸本)9781424403417
In this paper, a learning control approach is applied to the synchronization of two uncertain chaotic systems which contain nonlinear uncertainties with unknown time delays. this learning approach also deals with unknown time-varying parameters having distinct periods in the master and slave systems. Using the Lvapunov-Krasovskii functional and incorporating periodic parametric learning mechanism, global stability and asymptotic synchronization between the master and the slave systems are obtained. Simulation studies on representative classes of chaotic systems demonstrate the effectiveness of the proposed approach.
the focus of this poster is to turn our attention to the arts as an understudied area in the learning sciences and examine how studying the learning of arts and programming can open new avenues of research. Results fr...
ISBN:
(纸本)0805861742
the focus of this poster is to turn our attention to the arts as an understudied area in the learning sciences and examine how studying the learning of arts and programming can open new avenues of research. Results from a case study analysis suggest that appropriation builds on multiple connections: cultural connections such as referencing popular iconography, personal connections such as including family pictures, and larger epistemological connections to larger bodies of knowledge.
In this paper we will investigate and document some of the practices that a group of children use to form an activity of creating a screen-based interactive play world using a tangible programming system. A specific f...
ISBN:
(纸本)0805861742
In this paper we will investigate and document some of the practices that a group of children use to form an activity of creating a screen-based interactive play world using a tangible programming system. A specific focus is on the resources that the children use to create and maintain a sense of shared understanding of what they are building. We emphasise the embodied aspects of interaction in the activity and how physical resources and bodily action must be viewed as intrinsically intertwined withthe children's process of argumentation and articulation.
暂无评论