Sciweavers

16616 search results - page 432 / 3324
» Extending Extended Vacuity
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
LADS
2007
Springer
16 years 1 months ago
An Argumentation Based Semantics for Agent Reasoning
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
Sanjay Modgil
ICRA
2006
IEEE
185views Robotics» more  ICRA 2006»
16 years 1 months ago
Automatic Self-calibration of a Vision System during Robot Motion
— This paper presents a new technique to estimate the extrinsic parameters of a robot-vision sensor system. More in general, this technique can be adopted to calibrate any robot ...
Agostino Martinelli, Davide Scaramuzza, Roland Sie...
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
16 years 1 months ago
Consistency of the EKF-SLAM Algorithm
— This paper presents an analysis of the extended Kalman filter formulation of simultaneous localisation and mapping (EKF-SLAM). We show that the algorithm produces very optimis...
Tim Bailey, Juan Nieto, José E. Guivant, Mi...
CEC
2005
IEEE
16 years 1 months ago
Incorporating a Metropolis method in a distribution estimation using Markov random field algorithm
Abstract- Markov Random Field (MRF) modelling techniques have been recently proposed as a novel approach to probabilistic modelling for Estimation of Distribution Algorithms (EDAs)...
Siddhartha Shakya, John A. W. McCall, Deryck F. Br...