3031 search results - page 591 / 607 » Model Driven Testing Based on Test History |
110
click to vote
JAR
2000
14 years 10 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
103
click to vote
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
COMPSAC
2011
IEEE
13 years 10 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper discusses the question: Can we improve the recognition of objects by using their spatial context? We start from Bag-of-Words models and use the Pascal 2007 dataset. We u...
110
click to vote
ICCV
2005
IEEE
16 years 8 days ago
2005
IEEE
In recent years Kernel Principal Component Analysis (Kernel PCA) has gained much attention because of its ability to capture nonlinear image features, which are particularly impor...