1999 search results - page 263 / 400 » Finding Reductions Automatically |
128
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Automatic discrimination of musical signal types as speech, singing, music, genres or drumbeats within audio streams is of great importance e.g. for radio broadcast stream segment...
104
click to vote
ISPASS
2006
IEEE
15 years 7 months ago
2006
IEEE
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
120
click to vote
PRDC
2006
IEEE
15 years 7 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
118
click to vote
ACMACE
2006
ACM
15 years 7 months ago
2006
ACM
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
102
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...