Sciweavers

4962 search results - page 555 / 993
» Stochastic Model Checking
Sort
View
JCSS
2008
159views more  JCSS 2008»
15 years 4 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
15 years 3 months ago
Estimation of model parameters for steerable needles
Abstract— Flexible needles with bevel tips are being developed as useful tools for minimally invasive surgery and percutaneous therapy. When such a needle is inserted into soft t...
Wooram Park, Kyle Brandon Reed, Allison M. Okamura...
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
15 years 2 months ago
Heteroscedastic Gaussian processes for data fusion in large scale terrain modeling
This paper presents a novel approach to data fusion for stochastic processes that model spatial data. It addresses the problem of data fusion in the context of large scale terrain ...
Shrihari Vasudevan, Fabio T. Ramos, Eric Nettleton...
JMLR
2011
148views more  JMLR 2011»
14 years 11 months ago
Bayesian Generalized Kernel Mixed Models
We propose a fully Bayesian methodology for generalized kernel mixed models (GKMMs), which are extensions of generalized linear mixed models in the feature space induced by a repr...
Zhihua Zhang, Guang Dai, Michael I. Jordan
ECCV
2004
Springer
16 years 6 months ago
Decision Theoretic Modeling of Human Facial Displays
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
Jesse Hoey, James J. Little