7058 search results - page 696 / 1412 » Modelling Business Process Performance |
219
click to vote
IJCV
2008
15 years 7 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
180
click to vote
TJS
2008
15 years 7 months ago
2008
Multiple memory models have been proposed to capture the effects of memory hierarchy culminating in the I-O model of Aggarwal and Vitter [?]. More than a decade of architectural a...
219
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Parameterized Appearance Models (PAMs) (e.g. Eigentracking, Active Appearance Models, Morphable Models) are commonly used to model the appearance and shape variation of objects in...
184
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
208
click to vote
ATVA
2009
Springer
16 years 2 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...