Coverage quality is one critical metric to evaluate the Quality of Service (QoS) provided by wireless sensor networks. In this paper, we address maximum support coverage problem (a.k.a. best case coverage) in wireless...
详细信息
Where IP cores to be mapped must be carefully solved for any given application in order to optimize different performance metrics in Network-on-Chip (NoC) design flow. The optimization of different performance metrics...
详细信息
The lasting evolution of computing environment, software engineering and interaction methods leads to cloud computing. Cloud computing changes the configuration mode of resources on the Internet and all kinds of resou...
详细信息
The lasting evolution of computing environment, software engineering and interaction methods leads to cloud computing. Cloud computing changes the configuration mode of resources on the Internet and all kinds of resources are virtualized and provided as services. Mass participation and online interaction with social annotations become usual in human daily life. People who own similar interests on the Internet may cluster naturally into scalab.e and boundless communities and collective intelligence will emerge. Human is taken as an intelligent computing factor, and uncertainty becomes a basic property in cloud computing. Virtualization, soft computing and granular computing will become essential features of cloud computing. Compared with the engineering technological problems of IaaS (Infrastructure as a service), PaaS (Platform as a Service) and SaaS (software as a Service), collective intelligence and uncertain knowledge representation will be more important frontiers in cloud computing for researchers within the community of intelligence science.
Although a lot of CAD systems and tools have developed for MEMS, there does not appear to be a means for solid-based modeling. In this paper, a modeling system based on three-dimensional solid model for surface microm...
详细信息
Considering basic characteristics of moving objects, like temporal, spatial, multi-dimensional, massive, the paper proposes approach to spatio-temporal data modeling for moving objects data management, which represent...
详细信息
With the convenient connection to network, more and more individual information including sensitive information, such as contact list in Mobile Phone or PDA, can be delegated to the professional third service provider...
详细信息
Ray-tracing, can produce high-quality images, however, the use of ray-tracing has been limited due to its high demands on computational power and memory bandwidth, especially in the case of satellite imagery. In this ...
详细信息
It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work. For in...
详细信息
ISBN:
(纸本)9780889869066
It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work. For infinite states systems with input/output domains defined on unbounded and types, in many contexts, explicit finite state models are not attained easily with the reasonable cost, therefore, testing with traditional model checking is often disenabled. This paper presents the idea of auto-generation of test cases based on symbolic execution and temporal formula rewriting method. The method proceeds with building the symbolic representation of program execution model, such that it can avoid explicitly building the model of infinite states systems with the enumeration of value of input and output or state explosion problem;Then temporal formula (test purposes) rewriting is applied to the symbolic execution model of program to generate complex constraint requirements according to the counterexample patterns related to test purposes and the suitable SMT(Satisfiability Modulo Theory) solver is called for generating test cases. The core tool - FormalTCGenerator is developed and the case study is conducted.
In this paper, we investigate the problem of human action recognition from the video. And a posetoaction hierarchical recognition step is adopted. Different from previous works which define some particular distances i...
详细信息
The limitations of resource on mobile devices make the animation on mobile devices become a challenge. This paper proposes a novel interactive remote animation system for mobile devices. Given a point model, the syste...
详细信息
The limitations of resource on mobile devices make the animation on mobile devices become a challenge. This paper proposes a novel interactive remote animation system for mobile devices. Given a point model, the system can use motion data to drive the model to do animation, and can interactively edit the style of motion. Three modules which are data transmission, style editing, interaction and animation are included in the system. A preprocessing involves skeletonization and learning a generative model is needed for animation and style editing. Experiments show our system has natural interaction of style editing and can better display the model animation driven by the generated stylistic motion data on the mobile terminal.
暂无评论