In this paper, we propose a novel segmenting system for ultrasound images. This solution is separated into three steps. First, we filter noise by using the “peakand-valley” wi...
Nualsawat Hiransakolwong, Piotr S. Windyga, Kien A...
In this paper, we propose a solution to adapt the differential point rendering technique developed by Kalaiah and Varshney to implicit surfaces. Differential point rendering was i...
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...
In this paper the node-level decision unit of a self-learning anomaly detection mechanism for office monitoring with wireless sensor nodes is presented. The node-level decision uni...
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...