Sciweavers

1677 search results - page 173 / 336
» An Interactive Fur Modeling Technique
Sort
View
HUC
2003
Springer
15 years 6 months ago
Inferring High-Level Behavior from Low-Level Sensors
Abstract. We present a method of learning a Bayesian model of a traveler moving through an urban environment. This technique is novel in that it simultaneously learns a unified mo...
Donald J. Patterson, Lin Liao, Dieter Fox, Henry A...
FORTE
2007
15 years 2 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
CORR
2007
Springer
113views Education» more  CORR 2007»
15 years 28 days ago
Solution of moving-boundary problems by the spectral element method
This paper describes a novel numerical model aiming at solving moving-boundary problems such as free-surface flows or fluid– structure interaction. This model uses a moving-gr...
Nicolas Bodard, Roland Bouffanais, Michel O. Devil...
CSL
1997
Springer
15 years 5 months ago
From Action Calculi to Linear Logic
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
Andrew Barber, Philippa Gardner, Masahito Hasegawa...
BC
2005
64views more  BC 2005»
15 years 26 days ago
Waves, bumps, and patterns in neural field theories
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...
Stephen Coombes