1179 search results - page 165 / 236 » Modeling Time in Computing: A Taxonomy and a Comparative Sur... |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we present an analytic model and methodology to determine optimal scheduling policy that involves two dimension space allocation: time and code, in High Speed Do...
ACCV
2007
Springer
14 years 2 months ago
2007
Springer
Inspired by the idea of multi-view, we proposed an image segmentation algorithm using co-EM strategy in this paper. Image data are modeled using Gaussian Mixture Model (GMM), and t...
HUMO
2007
Springer
14 years 2 months ago
2007
Springer
We present a method to simultaneously estimate 3d body pose and action categories from monocular video sequences. Our approach learns a lowdimensional embedding of the pose manifol...
JSSPP
2005
Springer
14 years 1 months ago
2005
Springer
Sociology, computer networking and operations research provide evidence of the importance of fairness in queuing disciplines. Currently, there is no accepted model for characteriz...