1585 search results - page 133 / 317 » A framework for computer-aided validation |
165
click to vote
CVPR
2008
IEEE
16 years 26 days 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...
180
click to vote
AINA
2007
IEEE
16 years 23 days 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...
171
click to vote
ISBI
2007
IEEE
16 years 21 days 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 ...
172
click to vote
SCAM
2007
IEEE
16 years 20 days 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...
150
click to vote
HYBRID
2007
Springer
16 years 17 days 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...