980 search results - page 158 / 196 » Novel Test Pattern Generators for Pseudo-Exhaustive Testing |
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
SIBGRAPI
2006
IEEE
14 years 1 months ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
GCB
2005
Springer
14 years 1 months ago
2005
Springer
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
Audio-based music similarity measures can be applied to automatically generate playlists or recommendations. In this paper spectral similarity is combined with complementary infor...