417 search results - page 11 / 84 » Extending the Hegselmann-Krause Model I |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
GRAPHITE
2003
ACM
14 years 27 days ago
2003
ACM
When working on fitting leaf surfaces for use with virtual plant models [Room et al. 1996] we encountered the unsatisfactory situation of receiving a smooth surface model that is...
TOG
2008
13 years 7 months ago
2008
We present a method for representing solid objects with spatiallyvarying oriented textures by repeatedly pasting solid texture exemplars. The underlying concept is to extend the 2...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...