Sciweavers

18090 search results - page 611 / 3618
» Computing by Only Observing
Sort
View
MFCS
1991
Springer
15 years 10 months ago
CCS Dynamic Bisimulation is Progressing
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
Ugo Montanari, Vladimiro Sassone
ECOOPW
1998
Springer
15 years 11 months ago
Is Composition of Metaobjects = Aspect Oriented Programming
This paper proposes to implement aspects as metaobjects and using run time aspect weaving. The metaobjects are metaobjects as defined in computational reflection and can be exchan...
Charlotte Pii Lunau
CVPR
2010
IEEE
16 years 3 months ago
Disambiguating Visual Relations Using Loop Constraints
Repetitive and ambiguous visual structures in general pose a severe problem in many computer vision applications. Identification of incorrect geometric relations between images s...
Christopher Zach, Manfred Klopschitz, Marc Pollefe...
ICCSA
2009
Springer
16 years 1 months ago
YAO: A Software for Variational Data Assimilation Using Numerical Models
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...
Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie ...
ICRA
2009
IEEE
154views Robotics» more  ICRA 2009»
16 years 1 months ago
On the complexity and consistency of UKF-based SLAM
— This paper addresses two key limitations of the unscented Kalman filter (UKF) when applied to the simultaneous localization and mapping (SLAM) problem: the cubic, in the numbe...
Guoquan Huang, Anastasios I. Mourikis, Stergios I....