Traditional supervised classifiers use only labeled data (features/label pairs) as the training set, while the unlabeled data is used as the testing set. In practice, it is often the case that the labeled data is hard...
详细信息
This paper offers a survey of UPPAAL-SMC, a major extension of the real-Time verification tool UPPAAL. UPPAAL-SMC allows for the efficient analysis of performance properties of networks of priced timed automata under ...
详细信息
This paper offers a survey of UPPAAL-SMC, a major extension of the real-Time verification tool UPPAAL. UPPAAL-SMC allows for the efficient analysis of performance properties of networks of priced timed automata under a natural stochastic semantics. In particular, UPPAAL-SMC relies on a series of extensions of the statistical model checking approach generalized to handle real-Time systems and estimate undecidable problems. UPPAAL-SMC comes together with a friendly user interface that allows a user to specify complex problems in an efficient manner as well as to get feedback in the form of probability distributions and compare probabilities to analyze performance aspects of systems. The focus of the survey is on the evolution of the tool - including modeling and specification formalisms as well as techniques applied -Together with applications of the tool to case studies.
In this paper, a novel concept of multilayer synthesis and a general framework for texture synthesis method are presented. Within this framework, we first decompose the texture into the supposed pattern layer and mate...
详细信息
In this paper, a novel concept of multilayer synthesis and a general framework for texture synthesis method are presented. Within this framework, we first decompose the texture into the supposed pattern layer and material layer in the frequency domain by an E-texton extracting algorithm, then manipulate and extend them respectively according to their own personalities, and finally merge the newly synthesized pattern layer and material layer again to generate the final output. Experiment results show that our method not only greatly improves the synthesis quality for those cases that single-layer synthesis cannot handle well but also provides an ability of achieving various special synthesis effects.
ISSA2012 is the annual conference for the information security community that continues on the successful recipe established in *** are pleased to announce, however, that from 2010, ISSA is co-sponsored by the IEEE Sy...
详细信息
IT artifacts often take the role of a trustee in a trust relationship between users and IT artifacts. The goal of this paper is to increase the understanding of the formation of trust in such trust relationships. Inst...
详细信息
ISBN:
(纸本)9781627486040
IT artifacts often take the role of a trustee in a trust relationship between users and IT artifacts. The goal of this paper is to increase the understanding of the formation of trust in such trust relationships. Instead of using the predominant theoretical foundation of interpersonal trust, we use the theoretical foundation of trust in automation from the HCI discipline for studying the formation of trust. Since we aim at creating insights on the formation of trust and its dimensions, we develop a formative first-order, formative second-order measurement model for trust. To evaluate the impact of the single indicators and dimensions on trust, we conduct a laboratory experiment. Our results show that the dimensions performance, process and purpose have a comparable impact on trust, and that indicators related to user data are especially important. The results complement existing insights, deepening the understanding of the formation of trust in IT artifacts.
Some typical memory access patterns are provided and programmed in C, which can be used as benchmark to characterize the various techniques and algorithms aim to improve the performance of NUMA memory access. These ac...
详细信息
Knowledge governance analyses to what extent knowledge processes are influenced by governance mechanisms. A number of advances have been made in this field, but much space remains for research. However, before advanci...
详细信息
Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Sh...
详细信息
The motivation of Web service comes from its interoperational ability so a large number of Web services can interact with others and constitute an open network, Web service network. The success of Web services selecti...
详细信息
Considering benefits of different collabora- tors, cooperative work usually faces the challenge to make a trade-off decision upon multiple criterions. K-dominant skyline, a novel database query technology, may return ...
详细信息
Considering benefits of different collabora- tors, cooperative work usually faces the challenge to make a trade-off decision upon multiple criterions. K-dominant skyline, a novel database query technology, may return ap- propriate optimal choices and play as a solution. To reduce intensive comparisons between objects in skyline compu- tation, we propose a novel sorting-based algorithm named Sorted cumulative algorithm. Furthermore, to meet the requirement of distributed collaborative environment, we also address Parallel SCA, which accelerates the compu- tation based on some data partitioning techniques. Ex- tensive experiments are conducted to confirm the superior efficiency of the proposed methods against existing ones, especially in the context of high dimensional datasets.
暂无评论