4164 search results - page 343 / 833 » Timing model reduction for hierarchical timing analysis |
155
click to vote
SSDBM
2003
IEEE
16 years 1 days ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
171
click to vote
SAT
2005
Springer
16 years 7 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
193
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
A novel feature extraction method, namely monogenic binary pattern (MBP), is proposed in this paper based on the theory of monogenic signal analysis, and the histogram of MBP (HMB...
211
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....
186
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce Hidden Process Models (HPMs), a class of probabilistic models for multivariate time series data. The design of HPMs has been motivated by the challenges of modeling h...