1585 search results - page 269 / 317 » A framework for computer-aided validation |
134
click to vote
IJSR
2010
14 years 9 months ago
2010
A new generation of mobile service robots could be ready soon to operate in human environments if they can robustly estimate position and identity of surrounding people. Researcher...
109
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a novel probabilistic framework for rigid tracking and segmentation of shapes observed from multiple cameras. Most existing methods have focused on solving each of thes...
101
click to vote
BMVC
2010
14 years 6 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
100
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
113
click to vote
MOC
2011
14 years 6 months ago
2011
The simplest pair of spaces P1/P0 is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is enhance the finite element spaces inside a PetrovGalerkin ...