One way to see the semantic Web is to think of it as a set of all-knowing technologies that respond to whatever the user asks. The other view is that it is a set of standards and tools that help build better Web appli...
详细信息
One way to see the semantic Web is to think of it as a set of all-knowing technologies that respond to whatever the user asks. The other view is that it is a set of standards and tools that help build better Web applications. Since the latter is probably more realistic at the moment, it means that a lot of software has to be developed before we start actually seeing the semantic Web in widespread *** developers would be needed for the task and unless we "win their hearts and minds", they are likely to obstruct rather than support the semantic Web idea. And from the average developer's point of view, there is not much to like on today's RDF query languages, especially when compared with relational algebra and SQL. Besides the fact that they are built on different principles, none of the languages we are aware of has a property that has served SQL so well - they are not closed.
In this paper, we proposed an efficient algorithm, TOPK_CLOSED, for mining top-k closed itemsets. This algorithm mines top-k closed itemsets using best-first search. The closed itemsets with the highest supports are f...
详细信息
In this paper, we proposed an efficient algorithm, TOPK_CLOSED, for mining top-k closed itemsets. This algorithm mines top-k closed itemsets using best-first search. The closed itemsets with the highest supports are firstly found from this algorithm. Consequently, the method quickly finds top-k closed itemsets, which leads to an efficient pruning unnecessary itemsets and stop mining rapidly. In addition, this algorithm can generate closed itemsets without keeping candidates in main memory.
This paper presents a case study that describes TSPi teaching (introduction to the team software process) to 4th year students, grouped by teams, at the computer Science School, Polytechnic University of Madrid (UPM)....
详细信息
This paper presents a case study that describes TSPi teaching (introduction to the team software process) to 4th year students, grouped by teams, at the computer Science School, Polytechnic University of Madrid (UPM). The achievements of the teams, due to training and the use of TSPi, were analyzed and discussed. This paper briefly discusses the approach to the teaching and some of the issues that were identified. The teams collected data on the projects developed. They reviewed the schedule and quality status weekly. The metrics selected to analyze the impact on the students were: size, effort, productivity, costs and defects density. These metrics were chosen to analyze teams 'performance evolution through project development. This paper also presents a study related to the evolution of estimation, quality and productivity improvements these teams obtained. This study will prove that training in TSPi has a positive impact on getting better estimations, reducing costs, improving productivity, and decreasing defect density. Finally, the teams 'performance are analyzed.
The abundance of information and communication technology and especially internet services demands changes in lecturerspsila head-on teaching methods towards new directives. This article presents some examples of huma...
详细信息
ISBN:
(纸本)9789537138127
The abundance of information and communication technology and especially internet services demands changes in lecturerspsila head-on teaching methods towards new directives. This article presents some examples of human-centred use of information technology, applied in the subject of human-computer interaction. Examples include the open source learning management system moodle, video based lecturing, remote laboratory of intelligent house and an age simulator - AgeSim. This article presents the planning and execution of teaching processes with use of Moodle Web tools and exposes organizational structure as well as characteristics, which appeared during the learning process. Finally we show some benefits and weaknesses that arose during the use of the Moodle environment.
A new nonlinear protocol is proposed for state consensus of multi-agent systems in this paper. It is shown that this protocol can provide faster convergence rate than the typical linear protocol, presented by Olfati-S...
详细信息
A new nonlinear protocol is proposed for state consensus of multi-agent systems in this paper. It is shown that this protocol can provide faster convergence rate than the typical linear protocol, presented by Olfati-Saber and Murray, and furthermore guarantees the states of agents reach a consensus in finite time, provided that the interaction topology, represented by a directed graph, has a spanning tree.
作者:
He-xuan HuAnne-lise GehinMireille BayartLanguages
Informatics Systems and Software Engineering Department Faculty of Computer Science Université des Sciences et Technologies de Lille Villeneuve d'Ascq France
This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a tem...
详细信息
This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether the updated model satisfies the desired specification.
Cooperative Multi-In Multi-Out (MIMO) schemes can reduce both transmission energy and latency in distributed wireless sensor networks (WSNs). When circuit energy is considered in such networks, the total energy consum...
详细信息
Cooperative Multi-In Multi-Out (MIMO) schemes can reduce both transmission energy and latency in distributed wireless sensor networks (WSNs). When circuit energy is considered in such networks, the total energy consumed as the number of cooperating nodes increases becomes of particular interest. In addition, most of the previous works focused only on space-time-block-code (STBC) schemes and ignore other MIMO schemes. In this paper we present a comparison study of three cooperative MIMO schemes: beamforming (BF), STBC and spatial multiplexing (SM) where both the transmission and circuit energies are considered. We consider a wireless sensor network operating in quasi-static Rayleigh fading channels with M cooperating transmit nodes and N cooperating receive nodes. We show that the single-in-single-out (SISO) scheme is more energy-efficient and has lower packet latency at higher regions of transmission power while the three cooperative MIMO schemes are more energy-efficient and outperform the SISO scheme at the lower regions. From our analysis, we can conclude that, beamforming outperforms both the SM and STBC schemes in term of energy-efficiency and lower packet latency. Also we suggest that the beamforming scheme utilising two transmit nodes results in an efficient cooperative system.
Compression is an important field of digital image processing where well-engineered methods with high performance exist. Partial differential equations (PDEs), however, have not much been explored in this context so f...
详细信息
Compression is an important field of digital image processing where well-engineered methods with high performance exist. Partial differential equations (PDEs), however, have not much been explored in this context so far. In our paper we introduce a novel framework for image compression that makes use of the interpolation qualities of edge-enhancing diffusion. Although this anisotropic diffusion equation with a diffusion tensor was originally proposed for image denoising, we show that it outperforms many other PDEs when sparse scattered data must be interpolated. To exploit this property for image compression, we consider an adaptive triangulation method for removing less significant pixels from the image. The remaining points serve as scattered interpolation data for the diffusion process. They can be coded in a compact way that reflects the B-tree structure of the triangulation. We supplement the coding step with a number of amendments such as error threshold adaptation, diffusion-based point selection, and specific quantisation strategies. Our experiments illustrate the usefulness of each of these modifications. They demonstrate that for high compression rates, our PDE-based approach does not only give far better results than the widely-used JPEG standard, but can even come close to the quality of the highly optimised JPEG2000 codec.
One of the most important bits of every search engine is the query interface. Complex interfaces may cause users to struggle in learning the handling. An example is the query language SQL. It is really powerful, but u...
详细信息
One of the most important bits of every search engine is the query interface. Complex interfaces may cause users to struggle in learning the handling. An example is the query language SQL. It is really powerful, but usually remains hidden to the common user. On the other hand the usage of current languages for Internet search engines is very simple and straightforward. Even beginners are able to find relevant documents. This paper presents a hybrid query language suitable for both image and text retrieval. It is very similar to those of a full text search engine but also includes some extensions required for content based image retrieval. The language is extensible to cover arbitrary feature vectors and handle fuzzy queries.
This paper presents stability analysis of the time-delayed equivalent control based single input sliding mode control systems using an LMI approach. Conditions to guarantee the boundedness of the control system trajec...
详细信息
This paper presents stability analysis of the time-delayed equivalent control based single input sliding mode control systems using an LMI approach. Conditions to guarantee the boundedness of the control system trajectories under the time-delayed equivalent control based sliding mode control are obtained. Maximum upper bound of the delay time to guarantee stability is estimated. Digital simulations are conducted to verify the theoretical results.
暂无评论