The article deals with the denotational semantics of a special query language called XML-Lambda (abbreviated as XML-λ), which is based on the simply typed lambda calculus. The exact semantics allows experimentation w...
详细信息
The article deals with the denotational semantics of a special query language called XML-Lambda (abbreviated as XML-λ), which is based on the simply typed lambda calculus. The exact semantics allows experimentation with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML-λ environment. The main advantage of our approach is the possibility of a query optimizations in the XML-λ intermediate form. It is much more easier than optimizations based on the official W3C semantics. XML-λ is a part of more complex XML-λ Framework which serves for experimenting with the tools for XML processing.
Human-Computer Interaction (HCI) research groups have recently attracted to the issue of emotion or affect especially in the examination of interaction and design. With recent technological advances, human users are a...
详细信息
Asymmetric stereoscopic coding can save bitrate and maintain the overall visual quality of stereoscopic perception, so it is an alternative for wireless environment in which the bandwidth is limited. In asymmetric ste...
详细信息
Designing software involves thinking about the solution for a design problem. Some of the ideas of design solution are captured in the form of descriptions and structures in design pattern. However, there is not much ...
详细信息
Design patterns are known as a way for software designers to communicate about design. There are various descriptions, structures and behaviors on the solution for a design problem in a design pattern. However, there ...
详细信息
Release planning activity is one of the important issues that project managers are always concerned about, because generation of a good quality release guaranties success of a product. PARSEQ method is aimed to improv...
详细信息
The precision of software project estimation such as project cost estimation, project quality estimation and project risk analysis are important issues in software project management. The ability to accurately estimat...
详细信息
In this paper we present an approach to user modeling based on the domain model that we generate automatically by resource (text) content processing and analysis of associated tags from a social annotation service. Us...
详细信息
Wyner-Ziv video coding (Wzc exhibits many properties like low-complexity encoding or embedded error resilience. The quality of side information takes an important role in the performance of WZC. In order to improve th...
详细信息
In this paper, an objective assessment model based on three-component weighted structural similarity is presented for stereoscopic image. Since different distortions affect details of stereoscopic image differently, t...
详细信息
暂无评论