6014 search results - page 569 / 1203 » Structural Testing with Use Cases |
257
click to vote
CAV
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
187
click to vote
TSD
2004
Springer
16 years 19 days ago
2004
Springer
In this paper a speaker adaptation methodology is proposed, which first automatically determines a number of speaker clusters in the training material, then estimates the paramete...
162
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...
201
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
201
click to vote
ICCV
2001
IEEE
16 years 9 months ago
2001
IEEE
The aim of this work is to index images in domain specific databases using colors computed from the object of interest only, instead of the whole image. The main problem in this t...