1722 search results - page 266 / 345 » Generating Tests from Counterexamples |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Push-to-talk over Cellular (PoC) is considered as one of important applications in Next Generation Networks (NGN). The main objective of this study is to investigate the perfor...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
We have developed a novel framework for medical image analysis, known as Shells and Spheres. This framework utilizes spherical operators of variable radius centered at each image ...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
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...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
The amygdala is critical for processing emotional information and plays an important role in late-life depression (LLD). Volumetric studies of the amygdala have been inconclusive ...