As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
Chia-Chi Teng, Linda G. Shapiro, Ira J. Kalet, Car...
—In real world machine vision problems, numerous issues such as variable scene illumination make edge and object detection difficult. There exists no universal edge detection met...
Abstract— This paper investigates the applicability of deterministic ultra wideband (UWB) propagation modeling for evaluating UWB system performances. The modeling explores the w...
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...