Muslims believe that the Sunnah of the Prophet Muhammad (SAAW) is the second of the two revealed fundamental sources of Islam, after the Holy Qur'an. Hadith provides a Gold Standard 'ground truth' for Arti...
详细信息
Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Quality-of-service ...
详细信息
Online learning's further development is hindered because of its singleness of teaching mode, lack of communication and monitoring. To humanize online learning, the intelligent recommendation system is studied in ...
详细信息
Recently, various place recommendation systems are being used by users under social network environment. As the place service gets composed of only the limited categories in case of being made up of the expert knowled...
详细信息
This paper introduces a soldering defect inspection system for a special integrated circuit board aided by the computer vision. Space occluder is fixed on this special integrated circuit board, which makes the light b...
详细信息
In order to evaluate and optimize the performance of service composition, a formal description of Grid workflow activity and a model of grid workflow service based on Generalized Stochastic Colored Petri Net are prese...
详细信息
As today's society is experiencing a rapid progress, it is far more important for customers to pursue better service than other factors like price, taste, etc. at the same premise. So it is obvious that the establ...
详细信息
In this paper, we introduce a foot motion recognition system for the human-computer interaction. Our system consists of five pressure sensors in a shoe, 3-axis acceleration sensor in the front of the shoe, and signal ...
详细信息
Queuing theory is a regularity discipline based on the influence of random factors which fostering the phenomenon of queuing in line or congestion of the system (Meng 1998). After a deep research on the basic ideology...
详细信息
The proceedings contain 7 papers. The topics discussed include: techniques for the identification of semantically-equivalent online identities;modeling snapshot of composite WS execution by colored Petri nets;a game t...
ISBN:
(纸本)9783642452628
The proceedings contain 7 papers. The topics discussed include: techniques for the identification of semantically-equivalent online identities;modeling snapshot of composite WS execution by colored Petri nets;a game theoretic approach for resource usage;LiQuate-estimating the quality of links in the linking open data cloud;web service composition based on Petri nets: review and contribution;medical image rendering and description driven by semantic annotations;and towards an efficient datalog based evaluation of the FSAQL query language.
暂无评论