Sciweavers

5900 search results - page 800 / 1180
» Dependable Systems
Sort
View
ISBI
2007
IEEE
16 years 1 months ago
Head and Neck Cancer Patient Similarity Based on Anatomical Structural Geometry
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...
SMC
2007
IEEE
123views Control Systems» more  SMC 2007»
16 years 1 months ago
Logarithmic edge detection with applications
—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...
Eric J. Wharton, Karen Panetta, Sos S. Agaian
VTC
2007
IEEE
138views Communications» more  VTC 2007»
16 years 1 months ago
Applicability of UWB Double Directional Propagation Modeling for Evaluating UWB Transmission Performance
Abstract— This paper investigates the applicability of deterministic ultra wideband (UWB) propagation modeling for evaluating UWB system performances. The modeling explores the w...
Katsuyuki Haneda, Jun-ichi Takada, Takehiko Kobaya...
173
Voted
QSIC
2007
IEEE
16 years 1 months ago
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier
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...
Ishrar Hussain, Olga Ormandjieva, Leila Kosseim
FOSSACS
2007
Springer
16 years 29 days ago
On the Expressiveness and Complexity of ATL
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...
François Laroussinie, Nicolas Markey, Ghass...