4164 search results - page 733 / 833 » Timing model reduction for hierarchical timing analysis |
163
click to vote
CORR
2011
Springer
15 years 25 days ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
152
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speaker diarization of meetings recorded with Multiple Distant Microphones makes extensive use of multiple feature streams like MFCC and Time Delay of Arrivals (TDOA). Typically t...
108
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present an analysis of F0 range and peak alignment in emotional speech from a heterogeneous group of speakers varying in age and gender. Both speaker and emotion had a strong e...
164
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
In this work, we study the correlation between attribute sets and the occurrence of dense subgraphs in large attributed graphs, a task we call structural correlation pattern minin...
201
click to vote
TABLEAUX
2009
Springer
16 years 26 days ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...