1585 search results - page 133 / 317 » A framework for computer-aided validation |
130
Voted
CVPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Recently, 2DPCA and its variants have attracted much attention in face recognition area. In this paper, some efforts are made to discover the underlying fundaments of these method...
129
Voted
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Quality of Service (QoS) of disadvantaged networks is usually considered from a purely network standpoint in existing works. Adversarial intervention in such networks is not an...
123
click to vote
ISBI
2007
IEEE
15 years 9 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 ...
132
click to vote
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
108
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...