In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval...
详细信息
Surface Electromyography (sEMG) activity of the biceps muscle was recorded from nine subjects. Data were recorded while subjects performed dynamic contraction until fatigue. The signals were initially segmented into t...
详细信息
Following with the advancements in digitization technology and broadband communication technology, real-time video streaming service has become an essential one for next generation Internet. When transmitting compress...
详细信息
Following with the advancements in digitization technology and broadband communication technology, real-time video streaming service has become an essential one for next generation Internet. When transmitting compress...
详细信息
The growing demand for automatic surveillance systems that integrates different types of sensors, including microphones, requires to adapt and optimize the already studied techniques of Acoustic Source Localization to...
详细信息
ISBN:
(纸本)9783200019409
The growing demand for automatic surveillance systems that integrates different types of sensors, including microphones, requires to adapt and optimize the already studied techniques of Acoustic Source Localization to meet the constraints imposed by the new application scenario. In this paper, we present a real-time prototype for multiple acoustic sources localization in a far-filed and free-field environment. The prototype is composed by two linear arrays and utilizes an innovative approach for the localization of multiple sources. The algorithm is based on two steps: i) the separation of the sources by means of beamforming techniques and ii) the comparison of the power spectrum by means of a spectral distance measure. The prototype was successfully tested in a real environment.
In this paper, we propose a two-stage student identification scheme - chin shape classification and holistic face recognition. Chin shape is first used to divide the input face into the corresponding chin-shape catego...
详细信息
Verlhust logistic map f(x) = r x (1 - x) is a widely studied and applicable model in discrete dynamical system. Its behavior has been, extensively, studied in Picard orbit and recently studied in superior orbit. Rani ...
详细信息
This paper introduces the design of the parallel connection of DC/DC power supplies. The topology of system configuration and performed modeling were stated. The problems such as the ripple electric current sharing of...
详细信息
Judging private path is a kind of special privacy-preserving geometric calculation. In this paper, a private-preserving curvet-ellipse position relation determination protocol is proposed based on the Private-Preservi...
详细信息
In this paper, we propose a method of face detection based on feature analysis and edge detection against skin colorlike backgrounds. The proposed method consists of three phases including image preprocessing, skin co...
详细信息
暂无评论