Sciweavers

660 search results - page 51 / 132
» Parallel Computer Workload Modeling with Markov Chains
Sort
View
IPPS
2010
IEEE
13 years 8 months ago
Parallel Task for parallelizing object-oriented desktop applications
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
Nasser Giacaman, Oliver Sinnen
SAC
2010
ACM
13 years 5 months ago
Probabilistic relabelling strategies for the label switching problem in Bayesian mixture models
The label switching problem is caused by the likelihood of a Bayesian mixture model being invariant to permutations of the labels. The permutation can change multiple times betwee...
M. Sperrin, Thomas Jaki, E. Wit
JCNS
2010
104views more  JCNS 2010»
13 years 8 months ago
A new look at state-space models for neural data
State space methods have proven indispensable in neural data analysis. However, common methods for performing inference in state-space models with non-Gaussian observations rely o...
Liam Paninski, Yashar Ahmadian, Daniel Gil Ferreir...
ICCV
2009
IEEE
13 years 8 months ago
Efficient human pose estimation via parsing a tree structure based human model
Human pose estimation is the task of determining the states (location, orientation and scale) of each body part. It is important for many vision understanding applications, e.g. v...
Xiaoqin Zhang, Changcheng Li, Xiaofeng Tong, Weimi...
CONCUR
1989
Springer
14 years 2 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter