7766 search results - page 282 / 1554 » Testing Nondeterminate Systems |
163
click to vote
ICBA
2004
Springer
16 years 9 hour ago
2004
Springer
In this paper we propose to use the technology of multiple correlation filters to address the issues involved in still-reference-to-video-sequence face verification. In particular,...
160
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
190
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
142
click to vote
IFM
2005
Springer
16 years 4 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
147
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the...