Sciweavers

1246 search results - page 129 / 250
» Activity Modeling Using Event Probability Sequences
Sort
View
128
Voted
CIDU
2010
15 years 17 days ago
Tracking Climate Models
Abstract. Climate models are complex mathematical models designed by meteorologists, geophysicists, and climate scientists to simulate and predict climate. Given temperature predic...
Claire Monteleoni, Gavin Schmidt, Shailesh Saroha
PKDD
2009
Springer
155views Data Mining» more  PKDD 2009»
15 years 9 months ago
Dynamic Factor Graphs for Time Series Modeling
Abstract. This article presents a method for training Dynamic Factor Graphs (DFG) with continuous latent state variables. A DFG includes factors modeling joint probabilities betwee...
Piotr W. Mirowski, Yann LeCun
147
Voted
ICCV
2007
IEEE
16 years 4 months ago
Real-time Body Tracking Using a Gaussian Process Latent Variable Model
In this paper, we present a tracking framework for capturing articulated human motions in real-time, without the need for attaching markers onto the subject's body. This is a...
Shaobo Hou, Aphrodite Galata, Fabrice Caillette, N...
120
Voted
ER
2008
Springer
109views Database» more  ER 2008»
15 years 4 months ago
Value-Driven Coordination Process Design Using Physical Delivery Models
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff,...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 1 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier