Sciweavers

3233 search results - page 4 / 647
» Validation Method for Intelligent Systems
Sort
View
TITS
2011
165views more  TITS 2011»
13 years 1 months ago
Robust Inference of Principal Road Paths for Intelligent Transportation Systems
Abstract—Over the last few years, electronic vehicle guidance systems have become increasingly more popular. However, despite their ubiquity, performance will always be subject t...
Gabriel Agamennoni, Juan Nieto, Eduardo Mario Nebo...
ATAL
2005
Springer
13 years 12 months ago
Validation of an agent based system using Petri Nets
Thomas Moncion, Guillaume Hutzler, Patrick Amar
CRV
2005
IEEE
181views Robotics» more  CRV 2005»
14 years 1 days ago
Video with Ground-Truth for Validation of Visual Registration, Tracking and Navigation Algorithms
A fundamental task in computer vision is that of determining the position and orientation of a moving camera relative to an observed object or scene. Many such visual tracking alg...
Rustam Stolkin, Alistair Greig, John Gilby
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 1 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng