7766 search results - page 266 / 1554 » Testing Nondeterminate Systems |
145
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
164
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
Two of the most critical requirementsin support of producing reliableface-recognition systems are a large database of facial images and a testing procedure to evaluate systems. Th...
147
click to vote
AAI
1999
15 years 6 months ago
1999
There have been numerous attempts to provide a standardized definition of a computational agent, but little consensus has emerged. We propose a simple test for agenthood that can ...
151
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
208
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...