Sciweavers

6704 search results - page 46 / 1341
» Testing Scenario-Based Models
Sort
View
AAAI
2010
15 years 1 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
IPMI
2005
Springer
16 years 20 days ago
Hypothesis Testing with Nonlinear Shape Models
We present a method for two-sample hypothesis testing for statistical shape analysis using nonlinear shape models. Our approach uses a true multivariate permutation test that is in...
Timothy B. Terriberry, Sarang C. Joshi, Guido Geri...
DATE
1999
IEEE
111views Hardware» more  DATE 1999»
15 years 4 months ago
Sequential Circuit Test Generation Using Decision Diagram Models
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
Jaan Raik, Raimund Ubar
MS
2003
15 years 1 months ago
Dynamic Model of Nickel Hydrogen Battery - The Virtual Test Bed Implementation
A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
Shengyi Liu, Roger Dougal, John W. Weidner, Lijun ...
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
15 years 4 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva