Sciweavers

193 search results - page 32 / 39
» An Alternative Model for Mixtures of Experts
Sort
View
105
Voted
ISSTA
1998
ACM
15 years 3 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League
CVPR
2007
IEEE
16 years 1 months ago
Image-Based Localization Using Hybrid Feature Correspondences
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
Fredrik Kahl, Kalle Åström, Klas Joseph...
JMLR
2012
13 years 2 months ago
Approximate Inference in Additive Factorial HMMs with Application to Energy Disaggregation
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
J. Zico Kolter, Tommi Jaakkola
BIRTHDAY
2011
Springer
13 years 11 months ago
Multisimulations: Towards Next Generation Integrated Simulation Environments
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
Leila Jalali, Sharad Mehrotra, Nalini Venkatasubra...
NIPS
2007
15 years 1 months ago
People Tracking with the Laplacian Eigenmaps Latent Variable Model
Reliably recovering 3D human pose from monocular video requires models that bias the estimates towards typical human poses and motions. We construct priors for people tracking usi...
Zhengdong Lu, Miguel Á. Carreira-Perpi&ntil...