Nowadays, the significant advancement of mobile technologies has led to the possibility of accessing web services in a pervasive way and semantic web service discovery approaches seem to be the most promising approach...
详细信息
We present an approach to propagation based SAT encoding, Boolean equi-propagation, where constraints are modelled as Boolean functions which propagate information about equalities between Boolean literals. This infor...
详细信息
We propose a method for using ethnographic field data to substantiate agent-based models for socially-oriented systems. We investigate in-situ use of domestic technologies created to encourage fun between grandparents...
详细信息
In this paper,we derive in time domain the constitutive equation and relevant properties of the fractional order weighted distributed parameter Maxwell *** weight function can be replaced by the Fourier series,which l...
详细信息
In this paper,we derive in time domain the constitutive equation and relevant properties of the fractional order weighted distributed parameter Maxwell *** weight function can be replaced by the Fourier series,which leads to three types of fractional order distributed parameter *** inverse Laplace transformand asymptotic properties
Automatic speech recognition tasks whose domains involve recognizing proper names are usually challenging due to the infinite number of possible lexical items. In some tasks such as automated directories, to avoid unc...
详细信息
Documentation written in natural language and source code are two of the major artifacts of a software system. Tracking a variety of traceability links between software documentation and source code assists software d...
详细信息
In this paper we address the design of robots that can be successful partners to humans in joint activity. The paper outlines an approach to achieving adjustable autonomy during execution- and hence to achieve resilie...
详细信息
In digital watermarking performance evaluation at least three major metrics: imperceptibility, robustness and capacity have been widely used by researchers to analyze the performance of watermarking schemes;however, t...
详细信息
Linked Data is designed to support interoperability and sharing of open datasets by allowing on the fly inter-linking of data using the basic layers of the Semantic Web and the HTTP protocol. In our research, we focus...
详细信息
In this paper firstly we discuss an approach for supporting risk identification with the use of higher-level organizational models. We provide some intuitive metrics for extracting measures of actor criticality and vu...
详细信息
暂无评论